완전 매칭을 위한 다항식 절단면 알고리즘

초록

본 논문은 에드몬즈의 블로섬 부등식을 이용해 완전 매칭 문제에 대한 절단면(cutting‑plane) 알고리즘을 설계하고, 추가된 절단면을 이중값에 기반해 선택적으로 유지함으로써 다항식 시간 내에 수렴함을 증명한다. 중간 LP 해는 항상 절반 정수 형태이며, 홀수 사이클과 단일 간선들의 서로소 합집합으로 지원된다.

상세 분석

이 연구는 오랫동안 미해결로 남아 있던 “절단면 방법이 완전 매칭에 대해 다항식 시간에 수렴하는가”라는 질문에 결정적인 답을 제시한다. 핵심 아이디어는 에드몬즈가 제시한 블로섬 부등식(odd‑set constraints)만을 사용하면서도, 매 반복마다 모든 기존 절단면을 보존하지 않고, 현재 이중 변수값이 양수인 절단면만을 유지하는 ‘동적 절단면 관리’ 기법을 도입한 점이다. 이 접근법은 두 가지 중요한 효과를 만든다. 첫째, LP 해의 구조가 항상 절반 정수(half‑integral) 형태를 유지한다는 점이다. 구체적으로, 최적 해는 서로 겹치지 않는 홀수 사이클과 단일 간선들의 합으로 표현되며, 각 사이클 내부의 변수값은 ½, 간선은 1 혹은 0으로 고정된다. 둘째, 이 구조적 특성을 이용해 새로운 블로섬 부등식의 위반 여부를 효율적으로 탐색할 수 있다. 기존 연구에서는 위반 부등식을 찾기 위해 전역적인 최소 컷 알고리즘을 여러 번 호출해야 했지만, 여기서는 현재 지원되는 홀수 사이클들의 경계에만 집중함으로써 탐색 범위를 크게 축소한다.

알고리즘의 수렴 증명은 ‘홀수 사이클 수 감소’라는 단순하지만 강력한 잠재 함수(potential function)를 기반한다. 각 반복에서 새로운 절단면이 추가되면, 기존 해의 지원 집합에 포함된 홀수 사이클의 개수가 최소 하나 감소한다. 이는 절단면이 추가될 때마다 이중 변수값이 양수인 부등식만을 보존하기 때문에 가능한데, 양수 이중값은 해당 부등식이 현재 해에 ‘활성’함을 의미한다. 따라서 같은 부등식이 반복적으로 재추가되는 현상이 차단되고, 전체 알고리즘은 O(n·m) 단계 이내에 종료한다(여기서 n은 정점 수, m은 간선 수).

또한, 논문은 복잡도 분석에서 각 단계의 LP 해결 비용을 고려한다. 절반 정수 구조 덕분에 LP는 기본적인 네트워크 흐름 형태로 변환 가능하며, 이는 기존의 상용 LP 솔버보다 훨씬 빠른 전용 알고리즘으로 해결될 수 있다. 결과적으로 전체 알고리즘은 다항식 시간, 구체적으로 O(n³·log n) 정도의 시간 복잡도를 갖는다.

이러한 기법은 기존의 ‘전역 절단면 추가’ 방식과 달리, 동적이고 선택적인 절단면 관리가 가능함을 보여준다. 이는 향후 다른 조합 최적화 문제, 예를 들어 최소 비용 완전 매칭, 할당 문제 등에 절단면 기반 접근법을 적용할 때도 유사한 구조적 특성을 활용할 수 있는 가능성을 열어준다.