최대 최소 길이 삼각분할의 엔피완전성

초록

본 논문은 평면상의 점 집합에 대해 가장 짧은 변의 길이를 최대화하는(MaxMin) 삼각분할 문제를 다룬다. 1991년 Edelsbrunner와 Tan이 MinMax 길이 삼각분할을 O(n²) 시간에 해결한 것과 달리, 저자들은 MaxMin 길이 삼각분할이 NP‑완전임을 증명한다. 복잡도 감소는 planar 3‑SAT으로부터의 다항식 시간 변환을 이용하며, 이 결과는 다항식 인수 내의 근사 알고리즘조차 존재하지 않음을 의미한다.

상세 분석

문제 정의는 주어진 점 집합 P에 대해 모든 가능한 삼각분할을 고려하고, 각 삼각분할의 가장 짧은 변 길이(최소 변 길이)를 구한 뒤, 그 값을 최대화하는 삼각분할을 찾는 것이다. 이는 MaxMin 형태의 최적화 문제로, 기존 연구에서는 MinMax(가장 긴 변을 최소화) 문제에 대한 다항식 알고리즘이 알려졌지만, MaxMin에 대한 복잡도는 미해결 상태였다. 저자들은 이 격차를 메우기 위해 NP‑완전성을 보이는 증명을 제시한다. 핵심 아이디어는 planar 3‑SAT 인스턴스를 점 집합과 삼각분할 제약으로 변환하는 것이다. 변환 과정에서 변수와 절을 각각 대응시키는 ‘변수 게이트’와 ‘절 게이트’를 설계하고, 이들 사이에 ‘전파 선’이라 불리는 선형 구조를 삽입한다. 각 게이트는 특정 길이의 가장 짧은 변을 강제함으로써, 선택된 삼각분할이 논리적 진리값 할당에 일대일 대응하도록 만든다. 특히, 변수 게이트는 두 가지 가능한 배치를 제공하는데, 이는 변수의 true/false 값을 나타낸다. 절 게이트는 세 개의 입력 선을 받아, 최소 하나가 true일 경우에만 전체 삼각분할이 요구하는 최소 변 길이 임계값을 만족하도록 설계되었다. 이러한 구성은 전체 삼각분할이 임계값 ≥ L을 달성하려면, 원래의 3‑SAT 식이 만족 가능해야 함을 보인다. 반대로, 만족 가능한 할당이 존재하면, 해당 할당에 대응하는 삼각분할을 구성해 최소 변 길이가 L 이상이 되도록 할 수 있다. 따라서 MaxMin 길이 삼각분할 문제는 NP‑hard이며, 해 검증이 다항식 시간에 가능하므로 NP‑complete임을 증명한다. 추가적으로, 변환 과정에서 최소 변 길이와 최대 변 길이 사이의 비율이 임의로 크게 만들 수 있음을 보이며, 이는 다항식 인수 내의 근사 알고리즘이 존재할 경우 P=NP가 된다는 강력한 비근사성 결과를 도출한다.