기하학적 1 플래너리 문제의 파라미터화 복잡도: 트리깊이와 피드백 엣지 수에 대한 새로운 결과

초록

본 논문은 그래프가 직선으로 그려지는 1-플래너리(geometric 1‑planar) 여부를 판단하는 문제를 트리깊이와 피드백 엣지 수(ℓ)를 파라미터로 삼아 분석한다. 트리깊이 d에 대해 FPT 알고리즘을 제시하고, ℓ에 대해 O(ℓ·8^ℓ) 크기의 커널을 구축한다. 또한, 이러한 결과를 k‑플래너리로 일반화하고, 반대로 경로폭·피드백 정점 수·대역폭이 제한된 경우에도 NP‑완전성을 보인다.

상세 분석

이 논문은 기존에 Bannister‑Cabello‑Eppstein이 제시한 트리깊이와 피드백 엣지 수에 대한 파라미터화 복잡도 분석을 기하학적 1‑플래너리 문제에 확장한다는 점에서 큰 의의를 가진다. 핵심 아이디어는 Thomassen의 “B‑와 W‑구성” 없음을 이용해 1‑플래너리 임베딩을 직선화할 수 있는지 판별하는 것이다.

첫 번째 주요 결과는 트리깊이 d를 파라미터로 하는 FPT 알고리즘이다. 저자는 트리깊이 분해를 이용해 그래프를 블록‑컷 트리와 블록 내부 구조로 나눈 뒤, 두 단계의 “glueable” 판단을 수행한다. 모듈레이터(분리 정점 집합)의 크기가 3 이상이면 각 컴포넌트가 K1,3 형태의 ‘클로’ 구조를 이루게 되고, 트리깊이 제한으로 인해 이러한 클로의 크기가 제한된다. 따라서 일정 수를 초과하면 1‑플래너리 조건을 위반하게 된다. 모듈레이터가 2개일 경우, 저자는 하위 컴포넌트를 두 종류(외부에 배치 가능한 것, 그렇지 않은 것)로 구분하고, 외부에 배치 가능한 컴포넌트는 Thomassen의 직선화 조건을 만족하므로 안전하게 제거한다. 남은 컴포넌트가 너무 많으면 역시 교차 제한을 위반한다. 이 과정을 블록‑컷 트리 전체에 적용해 블록 수와 각 블록 내 정점 수를 트리깊이 함수로 제한함으로써 전체 알고리즘이 O(2^{2^{O(d)}}·n^{O(1)}) 시간에 해결됨을 보인다.

두 번째 주요 결과는 피드백 엣지 수 ℓ에 대한 커널화이다. 기존 1‑플래너리 커널은 O((3ℓ)!) 크기로, ℓ이 커질수록 급격히 비효율적이었다. 저자는 모든 사이클을 제거한 뒤 남는 그래프를 ℓ개의 길이‑2 경로 집합으로 분해한다. 여기서 “긴 경로”와 “짧은 경로”를 구분하고, 긴 경로들 사이에 Reidemeister 이동을 적용해 교차를 최소화한다는 전역적인 리드메이커 기법을 도입한다. 이때 긴 경로는 길이가 충분히 길면 서로 독립적으로 재배치가 가능하므로, 각 긴 경로를 O(1)개의 에지만 남기도록 단축한다. 결과적으로 전체 그래프는 ℓ·8^ℓ 개의 에지 이하로 압축될 수 있다. 기하학적 1‑플래너리의 경우, Thomassen의 B/W 구성을 검사하면서 추가적인 상수 27을 곱해 O(ℓ·27^ℓ) 커널을 얻는다.

세 번째로, 이 커널화 기법을 k‑플래너리(k≥1)로 확장한다. k‑플래너리에는 직선화 특성이 없으므로, 저자는 짧은 경로들에 대해 삼각분할(triangulation)을 수행하고, 긴 경로를 각 삼각형 내부에 배치해 교차 수를 k 이하로 제한한다. 이 과정에서 얻어지는 커널 크기는 O(2^{O(3ℓ log ℓ)}) 로, ℓ에 대해 지수적이지만 여전히 유한한 함수이다.

마지막으로, 저자는 이러한 알고리즘이 최적에 가깝다는 하한을 제시한다. 경로폭 ≤15, 피드백 정점 수 ≤48, 대역폭이 제한된 경우에도 Geometric 1‑Planarity는 NP‑완전함을 보이는 새로운 감소를 제공한다. 특히, Bin Packing에서의 감소를 이용해 경로폭과 피드백 정점 수에 대한 상수를 명시함으로써, 구조적 파라미터가 작더라도 문제의 근본적인 난이도는 유지된다는 점을 강조한다.

요약하면, 이 논문은 (1) 트리깊이 기반 FPT 알고리즘, (2) 피드백 엣지 수 기반 효율적인 커널, (3) k‑플래너리 일반화, (4) 파라미터 제한 하에서도 NP‑완전성을 유지하는 하드니스 결과를 통해 기하학적 1‑플래너리 문제의 파라미터화 복잡도 지형을 크게 확장하였다.