Penyempurnaan partisi adalah teknik di mana Anda mulai dengan satu set terbatas objek dan semakin membelah set. Beberapa masalah, seperti minimisasi DFA, dapat diselesaikan dengan menggunakan penyempurnaan partisi dengan cukup efisien. Saya tidak tahu ada masalah lain yang biasanya diselesaikan dengan menggunakan perbaikan partisi selain yang terdaftar di halaman Wikipedia. Dari semua masalah ini, halaman Wikipedia menyebutkan dua algoritma yang berdasarkan perbaikan partisi berjalan dalam waktu linier. Ada jenis topologi yang diurutkan secara leksikografis [1] dan suatu algoritma untuk pencarian pertama-leksikografis [2].
Apakah ada contoh lain atau referensi untuk masalah yang dapat diselesaikan dengan menggunakan penyempurnaan partisi dengan sangat efisien, yang berarti sesuatu yang lebih baik daripada loglinear dalam hal waktu?