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

본 논문은 최적화 문제의 원문(primal)과 그 라그랑지안 쌍대(dual) 사이에 존재하는 이중성 격차(dual‑gap)와 해당 문제들의 계산 복잡도 사이의 관계를 체계적으로 정리하고, 이와 관련된 기존 연구들을 종합적으로 조사한다. 서론에서는 이중성 격차가 오래전부터 최적화 이론에서 관찰되어 왔으며, 특히 선형 계획(LP)에서 강한 이중성(dual‑gap = 0)이 다항시간 알고리즘(예: 엘립소이드 알고리즘)과 직접 연결된다는 점을 언급한다. 또한, 이중성 격차와 NP‑hard성 사이의 암묵적인 연관성을 명시하고, 이를 명시적으로 다루는 문헌이 부족함을 지적한다. 2장에서는 기본 정의들을 정리한다. 결정 문제 D₁(r)와 라그랑지안 쌍대, 그리고 복잡도 클래스 NP, CoNP, P에 대한 표준 정의를 제시한다. 특히, 원문과 쌍대가 각각 결정 문제 형태로 변환될 때, 이들 문제가 NP 혹은 CoNP에 속하는지에 대한 증명 방식을 설명한다. 여기서 중요한 점은 “tight duals”(TD)라는 새로운 클래스 정의이다. 두 최적화 문제가 서로의 쌍대이며 이중성 격차가 0일 때 이를 TD에 포함시키며, Lemma 9에 의해 TD ⊆ NP∩CoNP임을 보인다. 그러나 TD와 P 사이의 포함 관계는 아직 밝혀지지 않아, 향후 연구 과제로 남겨둔다. 3장에서는 “강한 이중성(strong duality)”과 “약한 이중성(weak duality)”의 차이를 명확히 구분한다. 약한 이중성은 언제나 성립하는 기본 부등식 θ(u,v) ≤ f(x)이며, 강한 이중성은 이 부등식이 등호가 되는 경우를 말한다. Theorem 13은 라그랑지안 쌍대가 약한 이중성을 만족함을 보이며, Theorem 17은 제약 자격(constraint qualification)이 만족되는 볼록 최적화 문제에서 강한 이중성이 보장된다는 충분조건을 제시한다. 여기서 제약 자격은 원문에 내부점이 존재하고, 부등식 제약이 엄격히 만족되는 점이 존재함을 의미한다. Corollary 18은 강한 이중성이 깨지는 경우, 즉 dual‑gap > 0이면 원문 혹은 쌍대 중 적어도 하나가 비볼록(non‑convex)임을 도출한다. 이어서 Theorem 19는 비볼록 최적화 문제가 NP‑hard임을 증명한다. 이 정리는 Subset‑Sum 문제를 비볼록 최적화 형태로 환원함으로써 증명되며, 비볼록성 자체가 계산 복잡도 측면에서 어려움을 내포한다는 점을 강조한다. 또한, “숨겨진 볼록성(hidden convexity)” 개념을 도입한다. 비볼록 문제 A가 강한 이중성을 통해 볼록 문제 B와 쌍대 관계에 있을 때, A는 B의 해를 이용해 효율적으로 해결될 수 있다. 그러나 B가 NP‑hard인 경우, A 역시 NP‑hard이 된다. 이 논리는 SQP(standard quadratic programming)와 같은 실제 문제에 적용된다. SQP는 비볼록이지만, Bomze와 de Clerk가 제시한 대로 copositive programming 형태로 정확히 변환될 수 있다. 이 변환은 NP‑hard성을 유지함을 보여준다. 4장에서는 “강한 이중성 ⇒ 다항시간 solvability?”라는 질문을 탐구한다. 선형 계획과 같은 전형적인 강한 이중성 사례에서는 interior‑point 방법을 통해 원문과 쌍대 모두 다항시간에 해결 가능함을 확인한다. 최근 연구(