Partitionsverfeinerung ist eine Technik, bei der Sie mit einer endlichen Menge von Objekten beginnen und die Menge schrittweise aufteilen. Einige Probleme, wie die DFA-Minimierung, können mithilfe der Partitionsoptimierung sehr effizient gelöst werden. Ich kenne keine anderen Probleme, die normalerweise durch Partitionsverfeinerung gelöst werden, außer den auf der Wikipedia-Seite aufgelisteten. Von all diesen Problemen werden auf der Wikipedia-Seite zwei erwähnt, für die Algorithmen, die auf Partitionsverfeinerungen basieren, in linearer Zeit ablaufen. Es gibt die lexikografisch geordnete topologische Sortierung [1] und einen Algorithmus für die lexikografische Breitensuche [2].
Gibt es noch andere Beispiele oder Hinweise auf Probleme, die mithilfe der Partitionsverfeinerung sehr effizient gelöst werden können und zeitlich besser als loglinear sind?
[1] Sethi, Ravi, "Scheduling Graphs on two Processors", SIAM Journal on Computing 5 (1): 73–82, 1976.