이중성 격차와 계산 복잡도: NP 완전성 관점에서의 조사

초록

본 논문은 최적화 문제의 원문(primal)과 쌍대(dual) 사이에 존재하는 이중성 격차와 해당 문제들의 계산 복잡도 사이의 관계를 체계적으로 조사한다. 강한 이중성(dual gap = 0)이 성립하면 문제는 다항시간에 해결 가능하고, 반대로 이중성 격차가 존재하면 원문 혹은 쌍대 중 적어도 하나가 NP‑hard임을 여러 정리와 예시를 통해 보여준다. 또한, 강한 이중성이 NP∩CoNP 클래스에 포함되는 문제와의 연관성, 그리고 제한된 경우에만 강한 이중성이 다항시간 solvability를 보장한다는 점을 강조한다.

상세 분석

이 논문은 최적화 이론에서 오래전부터 관찰되어 온 “이중성 격차(dual‑gap)”와 현대 복잡도 이론 사이의 미묘한 연결 고리를 탐구한다. 먼저, 원문 P와 그 라그랑지안 쌍대 D 사이에 약한 이중성(θ(u,v) ≤ f(x))은 언제나 성립함을 정리하고, 강한 이중성(θ(u,v) = f(x))이 추가로 만족될 때만 이중성 격차가 0이 된다는 점을 명확히 한다. 강한 이중성은 전통적인 선형 계획(LP)에서 보듯이, 원문과 쌍대가 모두 다항시간 알고리즘으로 해결될 수 있음을 의미한다. 논문은 이를 일반화하여, 제약 자격(constraint qualification)이 만족되는 볼록 최적화 문제에 대해 강한 이중성이 보장될 경우, 원문과 쌍대 모두 NP∩CoNP에 속함을 Lemma 9와 함께 증명한다.

반대로, 강한 이중성이 깨지는 경우, 즉 이중성 격차가 존재하면 적어도 하나의 문제는 비볼록(non‑convex)이며, 정리 19에 의해 이러한 비볼록 최적화 문제는 NP‑hard임을 보여준다. 여기서 중요한 논리 흐름은 “비볼록 ⇒ 강한 이중성 부재 ⇒ NP‑hard”이며, 이는 Subset‑Sum 문제를 통한 다항시간 환원 예시로 구체화된다. 또한, “숨겨진 볼록성(hidden convexity)” 개념을 도입해, 비볼록 문제라도 강한 이중성을 통해 볼록 형태의 쌍대로 변환될 경우, 원문이 여전히 NP‑hard일 수 있음을 지적한다.

특히, 논문은 “Tight Duals”(TD)라는 새로운 복합 클래스 정의를 통해, 강한 이중성(dual gap = 0)과 동시에 원문‑쌍대가 서로의 쌍대인 경우를 구분한다. TD ⊆ NP∩CoNP임을 보이면서, TD와 P 사이의 포함 관계가 아직 미해결임을 명시한다. 이는 강한 이중성이 반드시 다항시간 알고리즘을 의미하지는 않으며, 추가적인 구조적 가정(예: 내부점 존재, 제약 자격 등)이 필요함을 시사한다.

마지막으로, Canonical Duality와 같은 최신 이중성 이론을 활용해 표준 이차 프로그램(SQP)과 같은 실제 문제에 적용한 사례를 제시한다. 여기서는 라그랑지안의 KKT 조건을 이용해 쌍대 문제를 명시적으로 구성하고, 양의 정부호 조건(A ≻ 0) 하에서 쌍대가 볼록함을 보이며, 이 경우 다항시간에 최적해를 얻을 수 있음을 증명한다. 그러나 이러한 조건이 일반적인 NP‑hard 문제에 적용되기엔 제한적이며, 강한 이중성과 다항시간 해결 가능성 사이의 정확한 경계는 여전히 연구 과제로 남아 있다.