[논문 리뷰] Hereditary Graph Classes: When the Complexities of Colouring and Clique Cover Coincide

Alexandre Blanché, Konrad K. Dabrowski외 2명|arXiv (Cornell University)|2016. 07. 22.

Advanced Graph Theory Research참고 문헌 32인용 수 3

한 줄 요약

이 논문은 $(H, \overline{H})$-free 그래프에서 Colouring과 Clique Cover의 계산 복잡도를 분류하며, 보완 닫힘 성질로 인해 두 문제의 복잡도가 동일하다는 것을 보여준다. 대부분의 케이스를 해결하였고, $s \geq 3$에 대해 $sP_1 + P_3$와 $s \geq 2$에 대해 $sP_1 + P_4$만 미해결로 남아 있으며, $(P_6, \overline{P_1 + P_6})$-free 그래프에서 5-Colouring의 NP-완전성을 입증한다.

ABSTRACT

A graph is $(H_1,H_2)$-free for a pair of graphs $H_1,H_2$ if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. In 2001, Král', Kratochv\'ıl, Tuza, and Woeginger initiated a study into the complexity of Colouring for $(H_1,H_2)$-free graphs. Since then, others have tried to complete their study, but many cases remain open. We focus on those $(H_1,H_2)$-free graphs where $H_2$ is $\overline{H_1}$, the complement of $H_1$. As these classes are closed under complementation, the computational complexities of Colouring and Clique Cover coincide. By combining new and known results, we are able to classify the complexity of Colouring and Clique Cover for $(H,\overline{H})$-free graphs for all cases except when $H=sP_1+ P_3$ for $s\geq 3$ or $H=sP_1+P_4$ for $s\geq 2$. We also classify the complexity of Colouring on graph classes characterized by forbidding a finite number of self-complementary induced subgraphs, and we initiate a study of $k$-Colouring for $(P_r,\overline{P_r})$-free graphs.

연구 동기 및 목표

• 보완 닫힘 성질로 인해 동일해지는 $(H, \overline{H})$-free 그래프에서 Colouring과 Clique Cover의 복잡도를 분류하는 것.
• 자기 보완이 아닌 $H_1$에 대해 $H_2 = \overline{H_1}$인 $(H_1, H_2)$-free 그래프에서 Colouring의 복잡도 분류에서 미해결 케이스를 해결하는 것.
• 유한한 자기 보완 유도 부분그래프를 금지하는 그래프 클래스로 분류를 확장하는 것.
• $(P_r, \overline{P_r})$-free 그래프에서 $k$-Colouring의 연구를 시작하는 것, 특히 $r=6$의 경우에 중점을 두는 것.
• 3-SAT에서의 축소를 통해 $(P_6, \overline{P_1 + P_6})$-free 그래프에서 5-Colouring의 NP-완전성을 증명하는 것. 이때는 $P_6$-free인 4-비판적 그래프 $H$를 기반으로 한 그래프 $G_{H,I}$를 구성한다.

제안 방법

• $(H, \overline{H})$-free 그래프 클래스의 보완 닫힘 성질을 활용하여 Colouring과 Clique Cover의 복잡도를 동일시하는 것.
• 기존의 $H$-free 그래프 결과와 새로운 구성 방법을 조합하여 $(H, \overline{H})$-free 그래프의 복잡도를 분류하는 것.
• 3-SAT에서의 축소를 통해 5-Colouring의 NP-완전성을 증명하며, $P_6$-free인 4-비판적 그래프 $H$를 기반으로 한 그래프 $G_{H,I}$를 구성하는 것.
• 유도 부분그래프의 구조적 분석을 통해 $G_{H,I}$가 $P_6$와 $\overline{P_1 + P_6}$를 모두 피한다는 것을 보여주어 축소가 유효함을 보장하는 것.
• 가능한 정점 집합에 대한 케이스 분석을 통해 $G_{H,I}$에서 $\overline{P_1 + P_6}$ 유도 부분그래프가 존재하지 않음을 규명하기 위해 정점 유형(C, D, X, U)을 분석하는 것.
• 라모지 이론적 추론과 유도 부분그래프 열거를 통해, 금지된 부분그래프의 존재를 가정할 경우 모순을 도출하는 것.

실험 결과

연구 질문

• RQ1 어떤 그래프 $H$에 대해 $(H, \overline{H})$-free 그래프에서 Colouring이 다항시간 내에 해결 가능한가?
• RQ2 $(P_r, \overline{P_r})$-free 그래프에서 $k$-Colouring의 복잡도는 무엇인가? 특히 $r=6$의 경우에 대해.
• RQ3 자기 보완이 아닌 $H_2 = \overline{H_1}$인 $(H_1, H_2)$-free 그래프 클래스 중, 기존 분류 이후에도 여전히 미해결인 것은 무엇인가?
• RQ4 보완에 대해 닫혀 있는 그래프 클래스에서 Colouring의 복잡도를 완전히 분류할 수 있는가?
• RQ5 $(P_6, \overline{P_1 + P_6})$-free 그래프에서 5-Colouring은 NP-완전한가?

주요 결과

• 보완 닫힘 성질로 인해 $(H, \overline{H})$-free 그래프에서 Colouring과 Clique Cover의 복잡도가 동일하다.
• 만약 $H \subseteq_i P_4$이면 $(H, \overline{H})$-free 그래프에서 Colouring은 다항시간 내에 해결 가능하며, 그렇지 않으면 NP-완전하다.
• $(H, \overline{H})$-free 그래프에서 해결되지 않은 유일한 케이스는 $s \geq 3$에 대해 $H = sP_1 + P_3$와 $s \geq 2$에 대해 $H = sP_1 + P_4$이다.
• 5-Colouring은 $(P_6, \overline{P_1 + P_6})$-free 그래프에서 NP-완전하며, 3-SAT에서의 축소를 통해 증명되었으며, 이때는 $P_6$-free인 4-비판적 그래프를 기반으로 한다.
• 구성된 그래프 $G_{H,I}$는 $P_6$-free이자 $\overline{P_1 + P_6}$-free이므로, NP-완전성 축소가 유효하다.
• 정점 유형과 유도 부분그래프의 구조적 분석을 통해 $G_{H,I}$에서 $\overline{P_1 + P_6}$의 존재를 배제하였으며, 이는 모순 증명을 완성한다.