[논문 리뷰] Structure Theorem and Isomorphism Test for Graphs with Excluded Topological Subgraphs

Martin Grohe, Dániel Marx|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|2011. 11. 04.

Advanced Graph Theory Research참고 문헌 28인용 수 6

한 줄 요약

이 논문은 고정된 그래프 $H$ 를 위상적 부분그래프로 포함하지 않는 그래프에 대한 구조 정리(Structure Theorem)를 제시하며, 각 토라스(torso)가 고정된 면상에 거의 임베드 가능하거나 유한한 수의 정점 제외하고 유한한 차수를 가지는 트리 분해를 가짐을 보여준다. 주요 기여는 이러한 그래프에 대해 다항시간 이sov머피즘 테스트를 개발한 것으로, 불변의 나무형 분해와 캐논라이제이션을 위한 리프팅 보조정리를 통해 기존의 유한 차수 및 $H$-미노르 자유 그래프 결과를 통합하고 일반화한다.

ABSTRACT

We generalize the structure theorem of Robertson and Seymour for graphs excluding a fixed graph $H$ as a minor to graphs excluding $H$ as a topological subgraph. We prove that for a fixed $H$, every graph excluding $H$ as a topological subgraph has a tree decomposition where each part is either "almost embeddable" to a fixed surface or has bounded degree with the exception of a bounded number of vertices. Furthermore, we prove that such a decomposition is computable by an algorithm that is fixed-parameter tractable with parameter $|H|$. We present two algorithmic applications of our structure theorem. To illustrate the mechanics of a "typical" application of the structure theorem, we show that on graphs excluding $H$ as a topological subgraph, Partial Dominating Set (find $k$ vertices whose closed neighborhood has maximum size) can be solved in time $f(H,k)\cdot n^{O(1)}$ time. More significantly, we show that on graphs excluding $H$ as a topological subgraph, Graph Isomorphism can be solved in time $n^{f(H)}$. This result unifies and generalizes two previously known important polynomial-time solvable cases of Graph Isomorphism: bounded-degree graphs and $H$-minor free graphs. The proof of this result needs a generalization of our structure theorem to the context of invariant treelike decomposition.

연구 동기 및 목표

• Robertson와 Seymour의 $H$-미노르 자유 그래프에 대한 구조 정리를 $H$ 를 위상적 부분그래프로 포함하지 않는 그래프로 확장한다.
• 파rameter $|H|$ 를 기준으로 하는 고정-파라미터 트랙터블 알고리즘을 개발하여 구조적 분해를 계산한다.
• 구조 정리를 활용하여 Partial Dominating Set 및 Graph Isomorphism 등의 기본 문제에 대해 효율적인 알고리즘을 설계한다.
• 캐논라이제이션을 가능하게 하기 위해 구조 정리를 불변의 나무형 분해로 일반화한다.
• 기존에 알려진 유한 차수 및 $H$-미노르 자유 그래프에서의 Graph Isomorphism 다항시간 해법을 하나의 프레임워크로 통합한다.

제안 방법

• 모든 $H$-위상적 부분그래프를 포함하지 않는 그래프가 고정된 면상에 거의 임베드 가능하거나 유한한 수의 정점 제외하고 유한한 차수를 가지는 토라스를 가지는 트리 분해를 가짐을 보여주는 구조 정리를 증명한다.
• 파rameter $|H|$ 를 기준으로 하는 고정-파라미터 트랙터블 알고리즘을 개발하여 이러한 분해를 계산하며, 미노르 테스팅 및 구조적 분해 기법에 의존한다.
• 트리 분해 상에서 하향식 동적 프로그래밍 접근법을 사용하여 Partial Dominating Set 문제를 시간 $f(k,H) imes n^{O(1)}$ 내에 해결한다.
• 구조 정리를 불변의 나무형 분해로 일반화하여 논리적 정의 가능성과 알고리즘적 리프팅을 지원한다.
• 일반적인 리프팅 보조정리를 적용하여 토라스 클래스에서의 다항시간 캐논라이제이션 알고리즘을 전체 그래프 클래스로 확장한다.
• 불변 분해 정리와 리프팅 보조정리를 활용하여 $H$-위상적 부분그래프를 포함하지 않는 그래프가 다항시간 강력 캐논라이제이션을 가짐을 증명한다.

실험 결과

연구 질문

• RQ1 고정된 그래프 $H$ 를 위상적 부분그래프로 포함하지 않는 그래프에 대해 Robertson과 Seymour의 미노르 기반 구조 정리를 일반화한 구조 정리를 개발할 수 있는가?
• RQ2 파rameter $|H|$ 를 기준으로 하는 고정-파라미터 트랙터블 알고리즘을 통해 $H$-위상적 부분그래프를 포함하지 않는 그래프의 구조적 분해를 계산할 수 있는가?
• RQ3 이 구조 정리를 활용하여 이 그래프 클래스에서 Partial Dominating Set 등의 문제에 대해 효율적인 알고리즘을 설계할 수 있는가?
• RQ4 $H$-위상적 부분그래프를 포함하지 않는 그래프에서 Graph Isomorphism 문제가 다항시간에 해결 가능한가? 만약 그렇다면 알고리즘적으로 어떻게 달성할 수 있는가?
• RQ5 이 구조 정리를 불변의 나무형 분해로 확장하여 캐논라이제이션 및 이sov머피즘 테스트를 지원할 수 있는가?

주요 결과

• 논문은 $H$-위상적 부분그래프를 포함하지 않는 그래프에 대한 구조 정리를 확립한다: 모든 이러한 그래프는 각 토라스가 고정된 면상에 거의 임베드 가능하거나 유한한 수의 정점 제외하고 유한한 차수를 가지는 트리 분해를 가짐을 보여준다.
• 이러한 분해는 $f(H) imes |V(G)|^{O(1)}$ 시간 내에 계산 가능하며, 여기서 $f$ 는 계산 가능한 함수이므로 $|H|$ 를 파라미터로 하는 고정-파라미터 트랙터블이다.
• Partial Dominating Set 는 $H$-위상적 부분그래프를 포함하지 않는 그래프에서 $f(k,H) imes n^{O(1)}$ 시간 내에 해결 가능하며, 이는 구조 정리의 유용성을 보여준다.
• Graph Isomorphism 는 $H$-위상적 부분그래프를 포함하지 않는 그래프에서 다항시간에 해결 가능하며, 이는 이전의 유한 차수 및 $H$-미노르 자유 그래프 결과를 통합한다.
• 이 이sov머피즘 결과는 구조 정리를 불변의 나무형 분해로 일반화하고, 토라스에서의 캐논라이제이션 알고리즘을 전체 그래프 클래스로 전이하는 리프팅 보조정리를 기반으로 한다.
• 실행 시간의 지수는 $H$ 에 따라 달라지며, 이sov머피즘 테스트가 고정-파라미터 트랙터블 시간 $f(H) imes n^{O(1)}$ 으로 향상될 수 있는지 여부는 여전히 열려 있다.