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...