Уточнення розділів - це техніка, в якій ви починаєте з кінцевого набору об'єктів і поступово розділяєте набір. Деякі проблеми, як мінімізація DFA, можна вирішити за допомогою доопрацювання розділів досить ефективно. Я не знаю жодних інших проблем, які зазвичай вирішуються за допомогою уточнення розділів, окрім перелічених на сторінці Вікіпедії. З усіх цих проблем на сторінці Вікіпедії згадуються дві, для яких алгоритми на основі уточнення розділів працюють у лінійний час. Існує лексикографічно упорядкований топологічний різновид [1] та алгоритм лексикографічного пошуку вшир-перших [2].
Чи є інші приклади чи посилання на проблеми, які можна вирішити, використовуючи доопрацювання розділів дуже ефективно, що означає щось краще, ніж логістичний за часом?
[1] Сетхі, Раві, "Планування графіків на двох процесорах", Журнал обчислень 5 (1) SIAM: 73–82, 1976.