NP‑완전 비인접성 문제와 0/1‑다각형의 가족 관계

초록

Matsui가 제시한 0/1‑다각형 군에서 두 정점이 인접하지 않은지를 판별하는 문제가 NP‑완전임을 보이고, 이 군이 여행세일즈맨, 3‑SAT, 배낭, 집합 커버 등 여러 NP‑완전 문제의 다각형에서 면으로 나타난다. 반면, 최대 독립 집합·집합 포장·3‑인덱스 할당 문제의 다각형에서는 정점 인접성 판단이 다항식 시간에 가능하며, 1차원 선분을 제외하고는 Matsui‑다각형이 이들 다각형의 면이 될 수 없음을 증명한다.

상세 분석

본 논문은 0/1‑다각형 중에서도 특히 “이중 커버” 형태를 갖는 Matsui 군(Pₘₐₜₛ𝑢𝑖) 을 중심으로 비인접성 판단 문제의 복잡도 특성을 심층적으로 탐구한다. Matsui는 1995년에 이 군에 대해 두 정점이 인접하지 않음을 판별하는 문제가 NP‑완전임을 최초로 증명했으며, 이는 정점 집합 X와 제약식 g(s,x) 로 정의되는 일반적인 0/1‑다각형 프레임워크 안에서 “비인접성 검증은 언제 NP‑완전이 되는가?”라는 질문에 대한 핵심 사례가 된다.

저자는 2012년에 이 군의 모든 다각형이 TSP, 3‑SAT, 배낭, 집합 커버, 부분 순서, 큐브 서브그래프 등 다양한 NP‑완전 문제의 다각형에서 면(face) 으로 나타난다는 사실을 입증한다. 여기서 면은 affine 변환 후 해당 다각형의 부분집합이 되는 구조를 의미한다. 따라서 해당 문제들의 다각형에서도 비인접성 판단이 NP‑완전임을 즉시 도출할 수 있다.

대조적으로, 최대 독립 집합(Stable Set), 집합 포장(Pack), 집합 분할(Partition), 그리고 3‑인덱스 할당(Three‑Index Assignment) 문제의 다각형은 정점 인접성 판단이 다항식 시간에 가능한 것으로 알려져 있다(예: 그래프의 인접성 검사, 매칭 기반 알고리즘 등). 논문은 affine reducibility 개념을 정밀히 정의하고, Matsui 군이 이러한 다각형의 면이 될 수 없음을 증명한다. 핵심 논증은 Matsui 다각형이 반드시 포함해야 하는 두 특수 정점 x₀와 ¯x₀(서로 보수 관계)와, 이들 사이에 존재하는 다수의 “사각형” 구조(F₁~F₄)이다. 이러한 구조는 Stable Set 등에서 허용되지 않는 제약(예: xᵥ + xᵤ ≤ 1)과 충돌한다는 점을 보이며, 따라서 affine 변환 후에도 면으로 포함될 수 없음을 보인다.

특히, 1차원 선분(두 정점만을 갖는 경우)만은 예외적으로 Matsui 다각형이 다른 다각형의 면이 될 수 있다. 이는 해당 경우에 비인접성 검증이 trivial하게 되는 점과 일치한다.

결과적으로, 논문은 비인접성 NP‑완전성이 다각형의 구조적 특성(특히 이중 커버 제약)과 깊게 연관됨을 밝히며, 동시에 인접성 다항식성을 가진 다각형군과는 구조적으로 격리된다는 중요한 구분을 제시한다. 이는 다각형 기반 최적화 문제의 복잡도 분류에 새로운 기준을 제공하고, affine 변환을 통한 문제 간 복잡도 전이 가능성을 명확히 하는 데 기여한다.