부분 매칭을 완전 매칭으로 확장하는 문제, NP‑완전

초록

2n개의 평면 점에 대해 항상 교차하지 않는 완전 직선 매칭이 존재한다는 사실은 알려져 있다. 본 논문은 주어진 부분 매칭을 추가적인 선분을 넣어 완전 매칭으로 만들 수 있는지를 결정하는 문제가 1‑in‑3‑SAT으로부터의 다항식 시간 감소를 통해 NP‑완전임을 증명한다. 또한 같은 결과가 이분 매칭(색이 다른 점 사이의 매칭)에도 적용됨을 보인다.

상세 분석

이 논문은 기하학적 매칭 문제에 복잡도 이론을 접목시킨 대표적인 사례이다. 먼저 “완전 직선 비교차 매칭”이 항상 존재한다는 고전적인 정리를 언급하고, 그 존재성을 이용해 부분 매칭을 완전 매칭으로 확장하는 결정 문제를 정의한다. 핵심은 이 문제를 1‑in‑3‑SAT, 즉 각 절이 정확히 하나의 리터럴만 참이 되도록 하는 SAT 변형으로부터 다항식 시간 감소(reduction)하는 것이다. 저자는 변수와 절을 각각 기하학적 “가변(gadget)”과 “절(gadget)”으로 구현한다. 변수 가변은 두 개의 가능한 매칭 패턴(참·거짓)을 갖는 일종의 스위치 역할을 하며, 절 가변은 세 개의 입력 포트를 통해 연결된 변수 가변들의 선택을 검증한다. 절 가변 내부에서는 세 개의 선분이 교차하지 않도록 배치하면서, 정확히 하나의 입력 포트가 “활성화”(즉, 매칭이 연결)될 때만 전체 절 가변을 완전 매칭으로 확장할 수 있게 설계한다. 이때 각 포트는 작은 “연결선(gap)”을 통해 변수 가변과 절 가변을 연결하고, 불필요한 매칭을 방지하기 위해 “고정점(fixed point)”과 “방해점(blocker)”을 배치한다. 이러한 구성은 평면에 삽입해도 선분이 교차하지 않으며, 전체 인스턴스는 O(n)개의 점과 선분으로 구성된다. 증명에서는 (1) 변환이 다항식 시간에 수행됨을 보이고, (2) 원래 1‑in‑3‑SAT 식이 만족가능하면 부분 매칭을 완전 매칭으로 확장할 수 있음을, (반대로) (3) 완전 매칭 확장이 가능하면 원 SAT 식이 만족가능함을 각각 논증한다. 특히 절 가변의 설계가 “정확히 하나만 선택”이라는 제약을 기하학적으로 강제한다는 점이 핵심적인 기여이다. 마지막으로, 동일한 가변 구조를 색이 다른 두 집합(빨강·파랑) 사이에만 매칭을 허용하도록 변형함으로써, 이분 매칭 버전에서도 NP‑완전성을 유지함을 보인다. 전체 논증은 구성의 정확성, 교차 방지, 그리고 복잡도 보존을 체계적으로 검증한다.