단순 다각형 삼각화 플립 거리 문제의 NP완전성

초록

본 논문은 단순 다각형의 두 삼각화 사이의 최소 플립 횟수를 구하는 문제를 결정 문제 형태로 정의하고, 이를 NP‑complete임을 증명한다. NP에 속함을 보이기 위해 플립 순서를 증명서로 제시하고, NP‑hardness는 평면 단조 직교 3SAT(Planar Monotone Rectilinear 3‑SAT)으로부터의 다항식 환원을 통해 확보한다. 이 결과는 볼록 다각형의 경우 회전 거리와 동등한 미해결 문제와 대비되며, 최근 평면 점 집합에 대한 APX‑hard 결과를 보완한다.

상세 요약

논문은 먼저 플립 거리 문제를 “주어진 단순 다각형 P와 두 삼각화 T₁, T₂가 있을 때, T₁을 T₂로 변환하는 최소 플립 수가 k 이하인가?”라는 결정 문제 형태로 공식화한다. NP에 속함을 보이기 위해, 플립 순서 자체를 다항식 길이의 증명서로 사용할 수 있음을 논증한다. 각 플립은 기존 대각선을 제거하고, 그 대각선이 양쪽에 형성하는 사각형 안에 새로운 대각선을 삽입하는 연산이며, 이는 다각형 내부에서 항상 삼각화를 유지한다. 따라서 주어진 순서가 유효한지와 최종 삼각화가 T₂와 일치하는지를 다항식 시간에 검증할 수 있다.

NP‑hardness는 평면 단조 직교 3‑SAT(Planar Monotone Rectilinear 3‑SAT) 문제로부터의 환원을 기반으로 한다. 이 SAT 변형은 변수와 절이 평면에 직교 격자 형태로 배치될 수 있으며, 변수는 좌우 대칭적인 “가변(gadget)”으로, 절은 위아래 대칭적인 “절(gadget)”으로 구현한다. 논문은 각 변수 가변을 다각형 내부에 삽입된 일련의 “스위치” 구조로 설계한다. 스위치를 한 번 플립하면 해당 변수의 진리값을 true 혹은 false로 고정하는데, 이때 발생하는 플립 수는 고정된 상수 C₁이다.

절 가변은 여러 변수 스위치와 연결된 “클라우스” 영역으로 구성된다. 절이 만족되려면 연결된 변수 스위치 중 최소 하나가 특정 방향(예: true)으로 설정되어야 하며, 이를 위반하면 절 가변을 만족시키기 위해 추가적인 플립이 필요하게 된다. 즉, 절 가변을 “정상적인” 플립 경로에 포함시키려면 해당 절의 모든 리터럴이 올바른 방향으로 설정돼야 하며, 그렇지 않을 경우 전체 플립 수가 크게 증가한다.

이러한 변수·절 가변들을 모두 연결해 만든 전체 다각형은 다음과 같은 성질을 가진다. (1) 모든 변수 가변을 선택적으로 플립하면 각 변수마다 정확히 C₁개의 플립이 소요된다. (2) 모든 절 가변을 “충족된” 상태로 유지하려면 각 절마다 추가 플립 C₂가 필요하지만, 이는 변수 설정이 절을 만족시키는 경우에만 최소화된다. (3) 전체 플립 수가 사전 정의된 임계값 K 이하가 되려면, 변수 설정이 원래 3‑SAT 인스턴스의 만족 가능한 할당과 일치해야 한다. 따라서 “플립 거리 ≤ K?” 문제는 원래 SAT 문제와 동치가 된다.

이 환원 과정은 다각형의 복잡도가 입력 크기의 다항식 수준으로 유지됨을 보이며, 각 가변은 단순히 사각형 혹은 오각형 형태의 작은 서브다각형으로 구현된다. 또한, 플립 연산이 다각형 내부에서만 일어나도록 설계했기 때문에 외부 교차나 비단순성을 초래하지 않는다. 최종적으로, 플립 거리 문제는 NP‑hard이며, 앞서 증명한 NP 포함성으로 인해 NP‑complete임을 결론짓는다.

논문은 또한 기존 연구와의 관계를 논의한다. 볼록 다각형의 경우 플립 그래프가 캣탈란 수와 동일한 구조를 가지며, 최소 플립 거리와 회전 거리 사이의 정확한 관계는 아직 미해결이다. 반면, 평면 점 집합에 대한 플립 거리 문제는 APX‑hard가 알려져 있는데, 본 결과는 단순 다각형이라는 제한된 경우에도 복잡도가 급격히 상승함을 보여준다. 이는 플립 그래프가 다각형의 비볼록성에 따라 급격히 복잡해질 수 있음을 시사한다.

마지막으로, 논문은 향후 연구 과제로 (i) 단순 다각형에 대한 근사 알고리즘의 존재 여부, (ii) 플립 거리의 파라메트릭 제한(예: 제한된 다각형 형태)에서의 복잡도, (iii) 플립 그래프의 구조적 특성(예: 직경, 연결성) 분석 등을 제시한다.