터미널 평면 네트워크의 금지 구조에 대한 새로운 Kuratowski‑형 정리

본 논문은 최근 생물학적 계통수 시각화에서 제안된 터미널 평면 네트워크(TPN) 클래스를 체계적으로 분석하고, 이를 금지 구조 기반의 Kuratowski‑형 정리와 선형 시간 알고리즘으로 연결한다. 논문의 흐름은 다음과 같다. 1. **배경 및 동기** - Kuratowski 정리는 평면성의 고전적 금지 구조(K₅, K₃,₃)를 제시했으며, 이후 외부 평면성(outer‑planarity) 등 다양한 그래프 클래스에 대해 유사한 정리가 알려져 있다. 그러나 upward planar digraph와 TPN에 대해서는 아직 완전한 금지 구조가 알려지지 않았다. - Moulton‑Wu(2020)는 TPN이 t‑completion이라는 단일 소스 초그래프가 upward planar이면 터미널 평면임을 보였지만, upward planar의 금지 구조가 미정이므로 Kuratowski‑형 정리 도출에 한계가 있었다. 2. **기본 정의** - 무방향 그래프와 유향 그래프의 기본 용어, 서브디비전, 홈오모르피즘, 마이너 등을 정리한다. - phylogenetic network의 정의와 터미널(루트와 리프) 개념을 명확히 한다. - t‑completion, st‑completion, terminal‑cut‑completion이라는 세 종류의 초그래프를 도입한다. 이들 초그래프는 원 그래프에 추가 간선을 삽입하거나 소스‑싱크를 연결함으로써 얻어지며, 각각 방향성, 평면성, 외부 정점 제약을 다룬다. 3. **기존 결과 정리** - Kuratowski와 Wagner의 평면성 정리, outer‑planarity 정리, 그리고 upward planar digraph와 planar st‑digraph 사이의 동등성(Theorem 3.5)을 재정리한다. - 특히 Theorem 3.5는 “upward planar ⇔ 존재하는 planar st‑digraph that contains it as spanning subgraph”을 명시한다. 4. **주요 정리 4.2 (초그래프와 터미널 평면성의 동등성)** - TPN이 터미널 평면이면, 그 t‑completion이 planar st‑digraph가 되고, 반대로 st‑completion이 planar이면 원 그래프는 터미널 평면이다. - 증명은 (i) 터미널을 외부 면에 배치한 평면 임베딩을 이용해 추가 간선을 삽입해 st‑digraph를 만든다, (ii) 반대로 st‑digraph의 planar embedding을 이용해 원 그래프의 터미널을 외부 면에 놓는 과정을 역으로 수행한다. - 이 정리는 방향성을 완전히 제거하고 순수히 무방향 그래프의 평면성 검사로 환원함으로써 알고리즘 설계에 핵심적인 역할을 한다. 5. **Kuratowski‑형 금지 구조 (Theorem 5.14)** - 저자들은 0/1‑라벨이 붙은 여섯 개의 그래프 패밀리 H₁~H₆을 정의한다. 각 패밀리는 특정 라벨 배치와 구조적 특징을 갖으며, H₁과 H₄는 기존 K₃,₃와 K₅의 세분화와 동형이다. - H₂와 H₃은 터미널(루트와 리프) 사이의 라벨 관계가 복합적으로 얽힌 형태로, 기존 upward planar 금지 구조와는 차별된다. - Theorem 5.14는 “그래프 G가 터미널 평면이면, G는 H₁~H₆ 중 어느 것도 포함하지 않는다. 반대로 H₁~H₆을 포함하지 않으면 터미널 평면이다”를 증명한다. - 증명 전략은 (a) 초그래프의 평면성 여부를 통해 금지 구조가 존재하면 비평면성을 강제함, (b) 금지 구조가 없을 경우 초그래프를 구성해 planar embedding을 얻고, (c) 이를 다시 원 그래프의 터미널 평면 임베딩으로 변환한다. 6. **알고리즘적 구현** - 금지 구조 탐지는 각 Hᵢ가 작은 상수 크기의 패턴이므로, 그래프의 모든 정점·간선을 한 번씩 탐색하는 O(|V|+|E|) 시간 절차로 구현한다. - 초그래프 평면성 검사는 Hopcroft‑Tarjan planar embedding 알고리즘을 적용해 선형 시간에 수행한다. - 최종적으로, 입력된 phylogenetic network가 터미널 평면인지 여부와 함께 실제 planar drawing(모든 터미널이 외부 면에 위치하는 형태)을 출력한다. 7. **응용: 지정된 정점 집합을 외부 면에 배치하는 평면 그래프** - Theorem 6.2는 “임의의 평면 그래프 G와 정점 집합 S에 대해, S의 모든 정점을 외부 면에 놓는 임베딩이 존재한다면, G는 H₁~H₆ 중 하나도 포함하지 않는다”는 일반화된 결과를 제시한다. - 이는 생물학적 응용을 넘어, 회로 설계에서 특정 포트가 외부에 노출되어야 하는 경우, GIS에서 특정 지점을 경계에 배치해야 하는 경우 등에 직접 활용될 수 있다. 8. **연결 및 향후 과제** - 논문은 H₂와 H₃이 사실상 single‑source upward planar 네트워크에서 발생 가능한 금지 패턴임을 지적한다. 따라서 이 두 패턴을 완전히 규명하면 upward planar digraph에 대한 Kuratowski‑형 정리를 도출할 수 있을 것으로 기대한다. - 또한, 현재 알려진 금지 구조가 최소인지, 혹은 더 작은 패턴이 존재하는지에 대한 연구가 남아 있다. **결론** 본 연구는 터미널 평면 네트워크라는 새로운 그래프 클래스를 금지 구조와 초그래프 평면성이라는 두 축으로 완전히 규정함으로써, 이론적 이해와 실용적 알고리즘을 동시에 제공한다. 특히, 기존 upward planar성에 대한 미해결 문제와의 연계는 향후 그래프 이론 및 응용 분야에서 중요한 연구 방향을 제시한다.