측정과 정복으로 설계한 지배 집합 최적 알고리즘

본 논문은 Measure‑and‑Conquer 기법을 분석 도구를 넘어 알고리즘 설계 도구로 활용한다. Set‑Cover 형태로 모델링한 지배 집합 문제에 대해 일련의 감소·분기 규칙을 자동으로 도출하고, 이를 기반으로 새로운 감소 규칙을 추가해 실행 시간 상한을 개선한다. 최종적으로 다항 공간에서 O(1.5134ⁿ) 시간, 혹은 지수 공간을 허용할 경우 O(1.5063ⁿ) 시간에 문제를 해결하는 현재 최첨단 정확 알고리즘을 얻는다.

저자: Johan M. M. Van Rooij, Hans L. Bodlaender