Le raffinement de partition est une technique dans laquelle vous commencez avec un ensemble fini d'objets et divisez progressivement l'ensemble. Certains problèmes, comme la minimisation DFA, peuvent être résolus en utilisant le raffinement de partition assez efficacement. Je ne connais pas...
20
Problèmes pour lesquels les algorithmes basés sur le raffinement de partition s'exécutent plus rapidement qu'en temps log-linéaire