[논문 리뷰] The Cutting Plane Method is Polynomial for Perfect Matchings

Karthekeyan Chandrasekaran, László A. Végh외 1명|arXiv (Cornell University)|2012. 07. 24.

Game Theory and Voting Systems인용 수 7

한 줄 요약

이 논문은 에드몬즈의 블로썸 부등식을 사용하는 컷 평면 방법이 최소비용 완전 매칭 문제에 대해 다항시간 내에 수렴함을 입증한다. 반정수 해를 유지하고 이중 값에 기반해 컷을 선택적으로 유지함으로써, 홀수 사이클 지지도가 유한하게 유지되어 수렴이 보장되며, 이는 이 문제에 대해 오랫동안 미해결이었던 방법의 효율성에 관한 장기적인 열린 질문을 해결한다.

ABSTRACT

The cutting plane approach to optimal matchings has been discussed by several authors over the past decades (e.g., Padberg and Rao '82, Grotschel and Holland '85, Lovasz and Plummer '86, Trick '87, Fischetti and Lodi '07) and its convergence has been an open question. We give a cutting plane algorithm that converges in polynomial-time using only Edmonds' blossom inequalities; it maintains half-integral intermediate LP solutions supported by a disjoint union of odd cycles and edges. Our main insight is a method to retain only a subset of the previously added cutting planes based on their dual values. This allows us to quickly find violated blossom inequalities and argue convergence by tracking the number of odd cycles in the support of intermediate solutions.

연구 동기 및 목표

• 에드몬즈의 블로썸 부등식을 사용하는 컷 평면 방법이 최소비용 완전 매칭 문제에 대해 다항시간 내에 수렴하는지 여부를 해결하는 것.
• 실험적으로 강력한 지원을 받고 있지만 이론적 한계가 없었던 패드버그-레오 컷 평면 알고리즘에 대해 다항시간 수렴 보장을 제공하는 것.
• 반정수 해를 유지하고 이중 값에 기반해 위반된 부등식을 효율적으로 추적하는 컷 평면 알고리즘을 설계하는 것.
• 입력 크기의 다항식으로 반복 횟수가 유 bounds됨을 입증함으로써, 블로썸 부등식의 지수적 수의 존재에도 불구하고 수렴 가능성을 확보하는 것.

제안 방법

• 알고리즘은 서로소인 홀수 사이클과 간선의 합집합으로 구성된 지지도를 가진 반정수 해를 유지하여 전체 과정 동안 적절한 반정수 성질을 보장한다.
• 이중 값에 기반한 기준을 사용해 이전에 추가된 컷 평면 중 일부만 선택적으로 유지함으로써, 지수적 증가를 방지한다.
• 핵심 요소로는 최적성을 유지하고 관련 있는 컷만 LP 설정에 유지하기 위해 양의 중요도를 가진 이중 해를 사용하는 것이다.
• 현재 해의 지지도 내 홀수 사이클 구조에 기반한 분리 오라클을 사용해 위반된 블로썸 부등식을 다항시간 내에 식별한다.
• 중간 해의 지지도 내 홀수 사이클 수를 추적함으로써 수렴을 증명하며, 이 수치는 반복 과정에서 엄격히 감소한다.
• 블로썸 부등식의 레이어 구조를 활용하고, 최적성을 유지하면서 문제 크기를 줄이는 수축 기법을 적용한다.

실험 결과

연구 질문

• RQ1 에드몬즈의 블로썸 부등식을 사용하는 컷 평면 방법이 완전 매칭 문제에 대해 다항시간 내에 수렴하는 것으로 보일 수 있는가?
• RQ2 블로썸 부등식의 지수적 수에 비해도 컷 평면 방법의 다항시간 효율성을 유지하는 것이 가능한가?
• RQ3 이중 기반 컷 유지 전략이 알고리즘 실행 중 제약 조건 수가 지수적으로 증가하는 것을 방지할 수 있는가?
• RQ4 반정수 해의 지지도 내 홀수 사이클 수가 반복 횟수의 상한을 보장하는 타당한 잠재 함수로 기능하는가?
• RQ5 패드버그-레오 컷 평면 알고리즘이 오직 다항시간 분리 오라클만을 사용해 다항시간 내에 수렴함을 증명할 수 있는가?

주요 결과

• 에드몬즈의 블로썸 부등식을 사용하는 컷 평면 방법은 최소비용 완전 매칭 문제에 대해 다항시간 내에 수렴한다.
• 알고리즘은 전체 과정 동안 반정수 해를 유지하며, 지지도는 서로소인 홀수 사이클과 간선의 조합으로 구성되어 있어 적절한 반정수 성질을 보장한다.
• 중요도가 높은 이중 값이 있는 컷들만 유지됨으로써, 각 반복 단계에서 활성 제약 조건의 수가 다항식으로 유 bounds된다.
• 반복 횟수는 정점 수의 다항식으로 유 bounds되며, 이는 지지도 내 홀수 사이클 수가 시간이 지남에 따라 엄격히 감소하기 때문이다.
• 모든 블로썸 부등식을 전수 조사할 필요 없이 오직 다항시간 분리 오라클만을 사용해도 수렴이 달성된다.
• 이 결과는 지수적 제약 조건을 가진 비트리비얼 조합 최적화 문제에 대해 컷 평면 방법의 첫 번째 다항시간 수렴 상한을 확립한다.