파티션 세분화 는 유한 객체 세트로 시작하여 세트를 점진적으로 분할하는 기술입니다. DFA 최소화와 같은 일부 문제는 파티션 세분화를 매우 효율적으로 사용하여 해결할 수 있습니다. Wikipedia 페이지에 나열된 것 이외의 파티션 세분화를 사용하여 일반적으로 해결되는 다른 문제는 모르겠습니다. 이러한 모든 문제 중 위키 백과 페이지에는 파티션 세분화를 기반으로하는 알고리즘이 선형 시간으로 실행되는 두 가지가 언급되어 있습니다. 사전 식으로 정렬 된 위상 정렬 [1]과 사전 식 폭 우선 검색을 위한 알고리즘이 있습니다 [2].
파티션 정제를 사용하여 해결할 수있는 문제에 대한 다른 예나 참조가 있습니까? 이는 시간면에서 로그 선보다 나은 것을 의미합니까?
[1] Sethi, Ravi, "2 개의 프로세서에서 그래프 예약", SIAM Journal on Computing 5 (1) : 73–82, 1976.