El refinamiento de partición es una técnica en la que comienza con un conjunto finito de objetos y divide progresivamente el conjunto. Algunos problemas, como la minimización de DFA, se pueden resolver utilizando el refinamiento de partición de manera bastante eficiente. No conozco otros problemas que generalmente se resuelven utilizando el refinamiento de la partición que no sean los enumerados en la página de Wikipedia. De todos estos problemas, la página de Wikipedia menciona dos para los cuales los algoritmos basados en el refinamiento de la partición se ejecutan en tiempo lineal. Existe el orden topológico ordenado lexicográficamente [1] y un algoritmo para la búsqueda de amplitud lexicográfica primero [2].
¿Hay otros ejemplos o referencias a problemas que se puedan resolver usando el refinamiento de partición de manera muy eficiente, lo que significa algo mejor que loglineal en términos de tiempo?