위상적 부분그래프를 제외한 그래프들의 구조 정리와 동형성 검사

초록

고정된 그래프 H를 위상적 부분그래프로 포함하지 않는 모든 그래프는, 각 파트가 제한된 표면에 거의 임베딩되거나, 소수의 예외 정점을 제외하고는 제한된 차수를 갖는 트리 분해를 가질 수 있다. 이 분해는 H의 크기에 대한 고정‑파라미터 시간 알고리즘으로 구성 가능하며, 이를 이용해 부분 지배집합 문제를 FPT로, 그래프 동형성 검사를 H에 대한 다항시간 알고리즘으로 해결한다.

상세 분석

이 논문은 로버트슨‑세머의 마이너‑프리 그래프 구조 정리를 위상적 부분그래프(Topological Subgraph) 금지 조건으로 일반화한다는 점에서 이론적·알고리즘적 의미가 크다. 기존 마이너‑프리 구조 정리는 “거의 임베딩(Almost‑embeddable)”이라는 개념을 중심으로, 그래프를 표면에 임베딩 가능한 부분과 작은 어깨(adhesion)로 연결된 트리 구조로 분해한다. 그러나 위상적 부분그래프를 금지하면 차수 제한이 없는 3‑정규 그래프와 같이 마이너‑프리와는 전혀 다른 무한 클래스가 포함된다. 저자들은 이러한 차이를 정확히 포착하기 위해 두 가지 유형의 파트를 도입한다. 첫 번째는 “거의 제한 차수(Almost bounded‑degree)” 파트로, 전체적으로는 차수가 제한되지만, 일정 수의 예외 정점(예: 교차점, 연결점)만을 허용한다. 두 번째는 기존 마이너‑프리 구조 정리와 동일하게 “거의 임베딩(Almost‑embeddable)” 파트이다. 핵심 정리는 모든 H‑위상적 부분그래프 금지 그래프가 이러한 두 파트만을 포함하는 트리 분해, 즉 트리‑데코포지션을 가짐을 보인다.

알고리즘적 측면에서 가장 중요한 기여는 이 분해를 고정‑파라미터 시간(FPT) 으로 실제로 구성할 수 있다는 점이다. 구체적으로, H의 크기만을 매개변수로 하는 함수 f(H)와 선형(또는 거의 선형) 시간에 트리‑데코포지션을 얻는다. 이를 위해 마이너‑테스트 알고리즘(