표면 분할 분해와 표면 위 그래프의 부분 그래프 동형성

초록

본 논문은 호스트 그래프 G가 유한한 종(genus) 표면에 임베딩될 때, 패턴 그래프 P가 G의 부분 그래프로 존재하는지를 판단하는 Subgraph Isomorphism 문제를 해결한다. 기존 평면 그래프에 대한 2^O(k)·O(n) 시간 알고리즘을 일반화하여, 종이 제한된 모든 그래프에 대해 동일한 복잡도로 해결한다. 핵심은 “표면 분할 분해(surface split decomposition)”라는 새로운 트리 분해 기법을 도입하고, 이를 이용해 동적 프로그래밍 테이블 크기를 종에 독립적인 상수만큼만 늘리는 것이다. 또한 P가 연결되지 않은 경우에도 모든 동형 부분 그래프를 열거·계산하는 알고리즘을 제공하여 Eppstein의 미해결 질문을 해결한다.

상세 분석

이 논문은 Subgraph Isomorphism 문제를 매개변수 k(패턴 그래프의 정점 수)에 대해 FPT(Fixed‑Parameter Tractable)하게 해결하는 새로운 접근법을 제시한다. 기존에 평면 그래프에 한정된 2^O(k)·O(n) 시간 알고리즘은 Dorn이 제시했으며, 이는 sphere‑cut decomposition이라는 특수한 브랜치 분해에 기반한다. 저자들은 이를 일반화하여 종(g) ≤ g₀인 그래프에 적용 가능한 surface split decomposition을 정의한다. surface split decomposition은 기존 sphere‑cut decomposition과 달리, 두 서브그래프 G₁, G₂가 여러 개의 노즈(noose)로 경계를 공유하더라도, 각각이 서로 다른 연결된 영역 R₁, R₂에 완전히 포함될 수 있으면 충분하다는 관찰에 기반한다. 이로써 경계 복잡도가 종에 비례하지 않고, 중간 집합(mid‑set)의 크기만 O(k) 수준으로 제한된다.

논문은 먼저 일반적인 브랜치 분해와 그 폭(width)의 정의를 복습하고, surface split decomposition의 형식적 정의와 예시를 제시한다. 핵심 정리는 “폭이 O(k)인 surface split decomposition을 선형 시간에 찾을 수 있다”는 것으로, 이를 위해 기존의 Tamaki‑Dorn 알고리즘을 종의 핸들을 고려하도록 확장한다. 찾은 분해를 이용해 동적 프로그래밍을 수행할 때, 각 트리 노드에 저장되는 테이블은 패턴 그래프의 부분 매핑과 중간 집합의 배치를 기록한다. 표면 분할 특성 덕분에 테이블 크기가 2^{O(k)}로 제한되며, 각 노드에서의 전이 연산도 O(1)·2^{O(k)} 시간 안에 수행된다. 따라서 전체 알고리즘의 복잡도는 2^{O(k)}·O(n)이다.

또한, P가 연결되지 않은 경우에도 동일한 프레임워크를 적용할 수 있다. 저자들은 패턴 그래프를 연결 성분별로 분리하고, 각 성분에 대해 독립적인 DP를 수행한 뒤, 결과를 곱셈 형태로 결합한다. 이 과정에서 발생하는 중복 카운트를 방지하기 위해 inclusion‑exclusion 기법을 활용한다. 결과적으로 모든 동형 부분 그래프를 열거(list)하거나 개수를 셀 수 있는 알고리즘을 제공하며, 열거 시간은 2^{O(k)}·O(n) + m·k^{O(1)} (m은 해의 개수) 로 보장된다.

기술적인 기여 외에도, 논문은 비방향성(비오리엔터블) 종에 대한 확장, 그리고 induced subgraph 버전까지 자연스럽게 적용 가능함을 논의한다. 마지막으로, 표면 분할 분해가 다른 고전적인 파라미터화 문제(예: 최소 독립 집합, 최대 지배 집합 등)에도 동일하게 적용될 수 있음을 제시하며, 향후 연구 방향을 제시한다.