SDP 완화가 최대 절단 문제에 정확히 적용되는 경우와 복잡도

초록

본 논문은 무가중 그래프에서 최대 절단(Max‑Cut) 문제의 반정밀 반정규화(SDP) 완화가 정확히 최적값을 제공하는지를 판별하는 문제가 NP‑hard임을 증명한다. 또한 SDP 정확성을 보장하는 몇몇 그래프 클래스와 그들의 최적해의 유일성 조건을 제시하고, 그래프 결합·분할 연산이 해의 랭크와 정확성을 보존한다는 구조적 결과를 제시한다. 마지막으로 Mirka‑Williamson이 제기한 두 개의 열린 질문에 대해, 정확한 완화에서도 최대 절단 파티션의 유일성이 SDP 최적해의 유일성을 보장하지 않으며, 다중 파티션이 존재할 때 최적 SDP 해가 순위‑1 해들의 볼록 껍질 밖에 위치할 수 있음을 보인다.

상세 분석

이 연구는 SDP 기반 Max‑Cut 근사 알고리즘의 이론적 한계를 심층적으로 탐구한다. 먼저, 기존에 가중 그래프에 대해 알려진 NP‑hard 결과를 무가중 그래프에 확장한다. 저자들은 Exact Sum 문제(정수 집합을 두 부분으로 나누어 합이 동일하도록 하는 문제)로부터 다항식 시간 감소를 구성하고, 이를 통해 무가중 완전 k‑partite 그래프가 정확한 SDP 해를 갖는지 여부가 Exact Sum의 해와 동치임을 보인다. 핵심은 Lemma 3.1으로, 그래프의 스플릿 변환이 정확성에 영향을 주지 않음을 증명함으로써 가중‑무가중 변환 사이의 연결 고리를 만든다.

다음으로, 저자들은 기존 문헌에 등장한 여러 정확한 그래프 패밀리(예: 카르테시안 곱, 텐서 곱, 라인 그래프, 카일리 그래프 등)를 재정리하고, 각 클래스에 대해 최적 SDP 해의 유일성을 보장하는 새로운 조건을 제시한다. 여기에는 프라임 랭크 등식과 보완성 조건을 활용한 ‘랭크 평등’ 기법이 핵심이다. 특히, 완전 k‑partite 그래프에 대해 파티션 크기의 순서 관계가 특정 패턴을 만족하면 랭크‑1 해가 유일하고, 그렇지 않을 경우 고랭크 해가 존재함을 정확히 규정한다.

그래프 연산 측면에서는 두 가지 보존 연산을 정의한다. 첫째, 정점 수가 동일한 두 그래프의 조인(∨)은 원 그래프들의 정확성을 그대로 유지한다. 둘째, 렉시코그래픽 곱(·)에서 첫 번째 인자가 정확하면 전체 곱 그래프의 최적 해 랭크가 보존된다. 또한, 그래프 스플릿 연산이 정확성을 완전 보존함을 증명함으로써, 큰 그래프의 정확성 판단이 작은 ‘코어’ 서브그래프의 특성으로 귀결될 수 있음을 보여준다.

마지막으로, Mirka‑Williamson이 제기한 두 질문에 대해 부정적인 예시를 제공한다. (1) 최대 절단 파티션이 유일하더라도 SDP 최적 해가 다중일 수 있음을, (2) 다중 파티션이 존재하는 정확한 경우에도 최적 SDP 해가 순위‑1 해들의 볼록 껍질 밖에 위치할 수 있음을 구체적인 그래프 구성으로 입증한다. 이는 정확한 SDP 해 집합의 구조가 단순히 순위‑1 해들의 볼록 결합으로 설명되지 않으며, 고랭크 해의 존재와 그 기하학적 의미를 새롭게 조명한다.

전반적으로, 이 논문은 무가중 Max‑Cut 문제에서 SDP 정확성 판단의 계산 복잡성을 명확히 하고, 그래프 구조와 연산이 정확성 및 해의 랭크에 미치는 영향을 체계적으로 정리함으로써, SDP 기반 조합 최적화 이론에 중요한 기여를 한다.