Problemas para os quais algoritmos baseados no refinamento de partição são executados mais rapidamente do que no tempo linear

O refinamento de partição é uma técnica na qual você começa com um conjunto finito de objetos e divide progressivamente o conjunto. Alguns problemas, como a minimização do DFA, podem ser resolvidos usando o refinamento de partição com bastante eficiência. Não conheço outros problemas que geralmente são resolvidos usando o refinamento de partição além dos listados na página da Wikipedia. Fora de todos esses problemas, a página da Wikipedia menciona dois para os quais algoritmos baseados no refinamento de partições são executados em tempo linear. Existe o tipo topológico lexicograficamente ordenado [1] e um algoritmo para a busca lexicográfica de primeira largura [2].

Existem outros exemplos ou referências a problemas que podem ser resolvidos usando o refinamento de partição com muita eficiência, significando algo melhor do que o linear em termos de tempo?

[1] Sethi, Ravi, "Planejando gráficos em dois processadores", SIAM Journal on Computing 5 (1): 73–82, 1976.

[2] Rose, DJ, Tarjan, RE, Lueker, GS, "Aspectos algorítmicos da eliminação de vértices em gráficos", SIAM Journal on Computing 5 (2): 266–283, 1976.

Algum tempo linear algoritmos de decomposição modular utilização (algum tipo de) partição refinamento, ver por exemplo, estes algoritmos para dirigidos e gráficos não dirigidos .