단순 다각형 내부에서 트리의 평면 삽입 복잡도

초록

본 논문은 점 집합이 단순 다각형으로 경계지어진 상황에서 자유 트리를 직선으로 연결해 평면에 삽입할 수 있는지를 판정하는 문제의 계산 복잡도를 연구한다. 저자들은 이 문제를 NP‑complete임을 증명함으로써, 기존에 열린 문제로 남아 있던 “제한된 점 집합에 트리를 직선으로 삽입하는 문제”도 NP‑complete임을 즉시 도출한다.

상세 분석

이 연구는 그래프 이론과 계산기하학이 교차하는 지점에서 중요한 질문을 제기한다. 기존의 점 집합 삽입 문제는 점이 평면 전체에 자유롭게 배치될 수 있다는 가정하에 다루어졌으며, 특히 트리와 같은 단순 구조에 대해서는 다항시간 알고리즘이 존재한다는 결과가 알려져 있다. 그러나 실제 응용에서는 점들이 특정 영역, 예컨대 건물 내부나 제한된 작업 공간 등으로 제한될 때가 많다. 저자는 이러한 제약을 단순 다각형이라는 형태로 모델링하고, 그 내부에 놓인 점 집합 위에 트리를 직선으로 매핑하는 문제를 정의한다. 핵심은 “planar straight‑line embedding” 즉, 모든 간선이 교차 없이 직선으로 그려지는지를 확인하는 것이다.

복잡도 분석을 위해 저자는 NP‑hardness를 보이는 전형적인 방법인 다항 시간 환원(reduction)을 사용한다. 구체적으로, 알려진 NP‑complete 문제인 PLANAR 3‑SAT 혹은 3‑SAT 변형을 선택하여, 각 변수와 절을 다각형 내부의 특정 구조적 배치로 변환한다. 변수는 두 개의 가능한 배치(참/거짓)를 갖는 작은 서브다각형으로 구현되고, 절은 변수 배치에 따라 연결될 수 있는 “클라우스 게이트” 형태로 설계된다. 이때 트리의 구조는 변수‑절 관계를 반영하도록 설계된 스패인 트리(spanning tree) 형태이며, 각 간선은 다각형 경계와 내부에 배치된 점들을 정확히 연결하도록 강제된다.

환원 과정에서 중요한 두 가지 레마가 제시된다. 첫째, 변수 서브다각형 내부의 점 집합은 오직 두 가지 가능한 직선 매핑만을 허용한다는 점이다. 이는 변수의 논리값을 정확히 표현한다. 둘째, 절 게이트는 연결된 변수들의 매핑이 적어도 하나는 “참”인 경우에만 전체 트리를 무충돌로 삽입할 수 있음을 보인다. 이 두 레마를 결합하면, 원래의 SAT 인스턴스가 만족 가능한 경우에만 주어진 다각형‑점 집합‑트리 인스턴스가 평면 삽입 가능함을 보일 수 있다.

복잡도 측면에서, 환원은 다각형의 복잡도(꼭짓점 수)와 점 집합의 크기가 원래 SAT 인스턴스의 크기에 선형적으로 비례하도록 구성된다. 따라서 다항 시간 내에 변환이 가능하고, 문제의 결정 버전이 NP‑hard임을 증명한다. 또한, 주어진 삽입이 존재한다면 이를 검증하는 과정은 각 간선이 교차 없이 직선으로 그려지는지 확인하는 다항 시간 검증 절차로 이루어지므로, 문제는 NP에 속한다. 결과적으로 “단순 다각형 내부에서 트리의 평면 삽입” 문제는 NP‑complete임이 확정된다.

이 결과는 기존의 “제한된 점 집합에 트리를 직선으로 삽입” 문제에 직접적인 함의를 가진다. 해당 문제는 다각형을 매우 얇은 형태(예: 선형 경계)로 제한하면 기존 문제와 동등해지며, 따라서 열린 문제였던 그 복잡도도 즉시 NP‑complete임이 도출된다.