Il perfezionamento delle partizioni è una tecnica in cui si inizia con un insieme finito di oggetti e si divide progressivamente l'insieme. Alcuni problemi, come la minimizzazione di DFA, possono essere risolti utilizzando il perfezionamento della partizione in modo abbastanza efficiente. Non conosco altri problemi che di solito vengono risolti utilizzando il perfezionamento della partizione diversi da quelli elencati nella pagina di Wikipedia. Tra tutti questi problemi, la pagina di Wikipedia ne menziona due per i quali gli algoritmi basati sul perfezionamento delle partizioni vengono eseguiti in tempo lineare. C'è l'ordinamento topologico lessicografico [1] e un algoritmo per la ricerca lessicografica in ampiezza [2].
Ci sono altri esempi o riferimenti a problemi che possono essere risolti usando il perfezionamento della partizione in modo molto efficiente, il che significa qualcosa di meglio del loglineare in termini di tempo?