평면 스패닝 트리 존재를 위한 충분조건

초록

점 집합 P 에 대해 일반 위치에 놓인 n > 2개의 점과 그 위에 정의된 기하학적 그래프 G 가 주어진다. P 의 빈 삼각형 중에서 G가 해당 삼각형의 세 정점을 연결하지 못해 부분 그래프가 연결되지 않은 경우가 n‑3개 이하이면, G는 교차하지 않는 스패닝 트리, 즉 평면 스패닝 트리를 반드시 포함한다는 충분조건을 제시한다.

상세 분석

본 논문은 평면 기하학 그래프 이론에서 핵심적인 문제인 “평면 스패닝 트리(plane spanning tree)의 존재 여부”를 다룬다. 기존 연구에서는 그래프가 2‑연결이거나 최소 차수가 충분히 크면 평면 스패닝 트리를 보장한다는 결과가 있었지만, 이러한 조건은 점 집합의 구체적인 배치와 그래프의 국소 구조를 충분히 반영하지 못한다. 저자들은 이를 보완하기 위해 ‘빈 삼각형(empty triangle)’이라는 개념을 도입한다. 빈 삼각형이란 그 내부에 다른 점이 전혀 존재하지 않는 세 점 u, v, w 로 이루어진 삼각형을 의미한다. 이러한 삼각형은 기하학적 그래프에서 교차를 일으키지 않는 가장 작은 단위이며, 각 삼각형에 대해 G가 그 세 정점을 어떻게 연결하는가가 전체 그래프의 평면성에 큰 영향을 미친다.

논문의 핵심 가정은 “연결되지 않은 빈 삼각형의 개수가 n‑3 이하”라는 정량적 제한이다. 여기서 ‘연결되지 않았다’는 의미는 해당 삼각형의 세 정점이 G에서 형성하는 부분 그래프가 하나의 연결 성분이 아니라, 최소 하나의 결손된 변(또는 두 변)이 존재한다는 뜻이다. 저자들은 이러한 ‘불완전 삼각형’이 전체 그래프에 미치는 부정적 영향을 정밀히 분석한다. 먼저, 빈 삼각형의 개수는 일반 위치에 놓인 n개의 점에 대해 O(n²)까지 늘어날 수 있지만, 불완전 삼각형이 n‑3개 이하라면 그래프는 충분히 ‘밀집’하여 대부분의 삼각형이 완전(3‑edge)으로 연결돼 있음을 의미한다.

증명 전략은 귀납적 구조와 ‘귀걸이(ear) 제거’ 기법을 결합한다. 기본 단계에서는 n = 3인 경우를 명시적으로 확인한다. 귀납 단계에서는 불완전 삼각형이 최소 개수인 경우를 가정하고, 특정 정점 v 를 선택해 그 주변의 빈 삼각형들을 조사한다. 만약 v 가 빈 삼각형의 꼭짓점으로서 두 개 이상의 완전 삼각형에 동시에 포함된다면, v 를 루트로 하는 평면 트리를 구성할 수 있다. 반대로 v 가 불완전 삼각형에 과도하게 포함된다면, 그 수가 n‑3 이하라는 가정에 위배되므로 이런 경우는 존재하지 않는다. 따라서 항상 적절한 ‘귀걸이 정점’을 찾아 그래프에서 제거하고, 남은 그래프에 대해 귀납 가정을 적용한다. 제거 과정에서 평면성은 유지되며, 최종적으로 모든 정점을 포함하는 비자기 교차 스패닝 트리를 재구성한다.

또한 저자들은 이 조건이 최적임을 보이기 위해 반례를 제시한다. n 개의 점을 원형으로 배치하고, 각 점을 인접한 두 점과만 연결한 경우(즉, 단순한 원형 사이클)에서는 빈 삼각형이 n개이며, 모든 빈 삼각형이 불완전하므로 조건을 위반한다. 이 경우 평면 스패닝 트리는 존재하지 않는다(사이클 자체가 이미 평면이지만 스패닝 트리라면 사이클을 끊어야 하는데, 끊어도 교차가 발생한다). 따라서 n‑3라는 상한은 이론적으로도, 실험적으로도 타당함을 확인한다.

결과적으로 논문은 기하학적 그래프의 구조적 복잡성을 ‘빈 삼각형’이라는 국소적 지표로 정량화하고, 그 개수가 n‑3 이하일 때 평면 스패닝 트리의 존재를 보장하는 새로운 충분조건을 제시한다. 이는 기존의 차수 기반 조건보다 더 세밀하고 적용 범위가 넓으며, 특히 점들의 배치가 불규칙하거나 그래프가 희소한 경우에도 유용하게 활용될 수 있다.