[논문 리뷰] A Survey on the Computational Complexity of Colouring Graphs with Forbidden Subgraphs

Petr A. Golovach, Matthew Johnson외 2명|arXiv (Cornell University)|2014. 07. 06.

Advanced Graph Theory Research참고 문헌 75인용 수 26

한 줄 요약

이 종합적 서베이는 한 개 또는 두 개의 유도 부분그래프를 금지하는 그래프 클래스에서 그래프 색칠 문제—Coloring, k-Coloring, Precolouring Extension, List Colouring, 그리고 Choosability—의 계산 복잡도를 체계적으로 분석한다. 이는 복잡도가 금지된 부분그래프의 구조에 따라 결정되며, 금지된 부분그래프가 최대 차수 3 이하의 산림이고, 각 연결성분에서 최대 한 개의 차수 3 정점만을 가질 경우 다항식 시간 내에 해결 가능하고, 그 외의 경우는 NP-난이도임을 보여주는 이분법 결과를 수립한다.

ABSTRACT

For a positive integer $k$, a $k$-colouring of a graph $G=(V,E)$ is a mapping $c: V ightarrow\{1,2,...,k\}$ such that $c(u) eq c(v)$ whenever $uv\in E$. The Colouring problem is to decide, for a given $G$ and $k$, whether a $k$-colouring of $G$ exists. If $k$ is fixed (that is, it is not part of the input), we have the decision problem $k$-Colouring instead. We survey known results on the computational complexity of Colouring and $k$-Colouring for graph classes that are characterized by one or two forbidden induced subgraphs. We also consider a number of variants: for example, where the problem is to extend a partial colouring, or where lists of permissible colours are given for each vertex.

연구 동기 및 목표

• 한 개 또는 두 개의 유도 부분그래프를 금지하는 그래프에 대해 그래프 색칠 문제의 계산 복잡도를 체계적으로 분류하는 것.
• 이러한 그래프 클래스에서 Coloring, Precolouring Extension, List Colouring, 그리고 Choosability의 복잡도에 대한 열려 있는 문제를 해결하는 것.
• 특히 트리너비, 경로너비, 평면성 등을 중심으로 금지된 유도 부분그래프의 구조적 성질에 기반한 이분법 결과를 수립하는 것.
• 강한 H-free, H-미니어프리, H-위상 미니어프리 그래프에서 문제의 복잡도를 비교하여 가용성의 차이를 부각하는 것.

제안 방법

• 저자들은 구조적 그래프 이론을 활용하여, 특히 금지된 유도 부분그래프 특성화를 통해 그래프 클래스를 분류한다.
• Bienstock 등과 Fellows 등이 제시한 트리너비 및 경로너비에 관한 기존 결과를 응용하여 H-free 그래프의 구조적 파라미터를 유 bounds한다.
• 복잡도 결과는 이분법 정리(예: 정리 4.1)를 활용하여 문제의 다항식 시간 내 해결 가능성 또는 NP-완전성 여부를 판단한다.
• 복잡도 결과는 감소 및 난이도 증명을 통해 유도되며, 최대 차수 4인 그래프에서 3-Coloring의 NP-완전성도 포함된다.
• Menger의 정리와 위상 미니어 구조 분석을 활용하여 특정 그래프들이 구조적 제약 조건 하에서 금지됨을 보여준다.
• 매개변수 복잡도 이론(예: 3-Choosability의 Π₂^p-난이도)의 결과를 구조적 제약 조건과 융합하여 Choosability의 복잡도를 분류한다.

실험 결과

연구 질문

• RQ1 어떤 그래프 H에 대해 Coloring 문제는 H-free 그래프에서 다항식 시간 내에 해결 가능한가?
• RQ2 한 개 또는 두 개의 유도 부분그래프를 금지하는 그래프에서 Precolouring Extension 및 List Colouring의 복잡도는 어떻게 변하는가?
• RQ3 강한 H-free, H-미니어프리, H-위상 미니어프리 그래프에서 문제의 복잡도 간의 관계는 무엇인가?
• RQ4 H의 어떤 구조적 조건에서 Choosability는 H-free 그래프에서 다항식 시간 내에 해결 가능하거나 Π₂^p-난이도가 되는가?
• RQ5 H-minor-free와 H-topological-minor-free 그래프에서 Coloring의 복잡도가 다른 그래프 H는 존재하는가?

주요 결과

• K₁,₅-minor-free 그래프에서는 Coloring이 다항식 시간 내에 해결 가능하지만, 최대 차수 4인 그래프에서는 NP-완전하므로, 미니어프리와 차수 제약 클래스 간에 복잡도 격차가 존재한다.
• H-위상 미니어프리 그래프에서는 H가 r ≥ 3인 사이클 Cr일 경우, 긴 경로와 사이클의 부재로 인해 Coloring이 다항식 시간 내에 해결 가능하다.
• H가 최대 차수 3인 산림이며, 각 연결성분에서 최대 한 개의 차수 3 정점만을 가질 경우, 강한 H-free 그래프에서 Choosability는 선형 시간 내에 해결 가능하다.
• H가 비평면적이거나 홀수 사이클을 포함할 경우, 강한 H-free 그래프에서 조차 3-Choosability는 Π₂^p-난이도가 된다.
• H-미니어프리 그래프에서는 H가 평면일 경우 Choosability는 선형 시간 내에 해결 가능하고, 비평면일 경우 Π₂^p-난이도가 되므로, 완전한 이분법 결과를 수립한다.
• Choosability의 복잡도는 강한 H-free와 H-미니어프리 그래프에서 다를 수 있으며(예: H가 홀수 사이클일 경우), 이는 미니어와 유도 부분그래프 금지가 서로 다른 복잡도 지형을 만들어낸다는 것을 시사한다.