[논문 리뷰] Bounding the Clique-Width of $H$-free Chordal Graphs

Andreas Brandstädt, Konrad K. Dabrowski외 2명|arXiv (Cornell University)|2015. 02. 24.

Advanced Graph Theory Research인용 수 6

한 줄 요약

이 논문은 클리크-너비가 유계인 $H$-free 순환 그래프의 전체 분류를 제공하며, 두 개를 제외한 모든 그래프 $H$에 대해 완전한 분류를 수행한다. 이는 봉우리 없는 순환 그래프(클리크-너비 ≤ 3), 코-의자 없는 순환 그래프(클리크-너비 ≤ 4) 및 기타 두 개의 새로운 클래스를 구조적 분석을 통해 규명한 것이다. 결과는 기존 기법들과 새로운 기법들을 융합하여 도출되었으며, 기존에 알려진 유계 클리크-너비 클래스로의 감소와 금지된 부분그래프의 구조적 분해 기법을 포함한다.

ABSTRACT

A graph is $H$-free if it has no induced subgraph isomorphic to $H$. Brandstädt, Engelfriet, Le and Lozin proved that the class of chordal graphs with independence number at most 3 has unbounded clique-width. Brandstädt, Le and Mosca erroneously claimed that the gem and the co-gem are the only two 1-vertex $P_4$-extensions $H$ for which the class of $H$-free chordal graphs has bounded clique-width. In fact we prove that bull-free chordal and co-chair-free chordal graphs have clique-width at most 3 and 4, respectively. In particular, we find four new classes of $H$-free chordal graphs of bounded clique-width. Our main result, obtained by combining new and known results, provides a classification of all but two stubborn cases, that is, with two potential exceptions we determine all graphs $H$ for which the class of $H$-free chordal graphs has bounded clique-width. We illustrate the usefulness of this classification for classifying other types of graph classes by proving that the class of $(2P_1+P_3,K_4)$-free graphs has bounded clique-width via a reduction to $K_4$-free chordal graphs. Finally, we give a complete classification of the (un)boundedness of clique-width of $H$-free weakly chordal graphs.

연구 동기 및 목표

• 클리크-너비가 유계인 $H$-free 순환 그래프의 모든 그래프 $H$를 특정하여 분류를 완성하며, 두 개의 열린 사례까지 완료한다.
• 이전에 잘못된 주장인 '유계 클리크-너비를 가진 1-정점 $P_4$-확장은 단지 진주와 코-진주뿐이다'는 것을 수정한다.
• 복잡한 그래프 클래스를 클리크-너비가 유계인 간단한 클래스로 감소시켜 클리크-너비 유계성에 대한 이해를 확장한다.
• 순환 그래프로의 감소를 통해 $(2P_1 + P_3, K_4)$-free 그래프와 같은 다른 그래프 클래스의 분류 기반을 마련한다.
• 클리크-너비 유계성과 계산 복잡도 사이의 관계를 탐색하며, 특히 그래프 동형성과 NP-완전 문제와의 관련성을 고려한다.

제안 방법

• 저자들은 금지된 부분그래프를 분석하고 클리크-너비 성질에 따라 $H$-free 순환 그래프를 분류하기 위해 구조적 그래프 이론을 사용한다.
• 특정 그래프 클래스(예: $K_4$-free 순환 그래프)에 대한 클리크-너비 유계성에 관한 기존 결과를 적용하고, 감소 기법을 통해 유계성 결과를 이전 클래스로 이전한다.
• 핵심 기법은 봉우리 없는, 코-의자 없는 순환 그래프 등 특정 $H$-free 순환 그래프의 클리크-너비가 유계임을 증명하기 위해 직접 $c$-표현을 구성하거나 분해 정리를 사용하는 것이다.
• 예를 들어, 보완과 치환과 같은 그래프 쌍 간의 동치 관계를 활용하여 $(H_1, H_2)$-free 그래프의 분류에서 열린 사례 수를 줄인다.
• 기존의 클리크-너비와 트리너비에 관한 결과를 새로운 구조적 보조정리와 융합하여 특정 $H$-free 부분클래스의 클리크-너비에 대한 유계를 확립한다.
• 유계 클리크-너비는 MSO-정의 가능한 문제에 대해 다항 시간 해법을 암시하므로, 이 분류의 중요성을 검증하는 데 기여한다.

실험 결과

연구 질문

• RQ1 어떤 그래프 $H$가 $H$-free 순환 그래프의 클리크-너비를 유계로 이끌며, 이를 완전히 분류할 수 있는가?
• RQ2 왜 이전에 '유계 클리크-너비를 가진 1-정점 $P_4$-확장은 단지 진주와 코-진주뿐이다'는 주장이 잘못되었으며, 올바른 예외는 무엇인가?
• RQ3 $(2P_1 + P_3, K_4)$-free 그래프 클래스가 $K_4$-free 순환 그래프로의 감소를 통해 유계 클리크-너비를 가짐을 입증할 수 있는가?
• RQ4 $H$-free 순환 그래프에서 클리크-너비의 유계성과 이러한 클래스에 대한 그래프 동형성의 복잡도 사이의 관계는 무엇인가?
• RQ5 최근에 규명된 네 가지 $H$-free 순환 그래프 클래스를 초월하여, 해밀턴 사이클 문제가 다항 시간 내에 해결 가능한 더 큰 그래프 클래스는 존재하는가?

주요 결과

• 봉우리 없는 순환 그래프의 클래스는 클리크-너비가 최대 3이며, 이는 이전에 유일한 유계 사례로 여겨졌던 가정을 수정한다.
• 코-의자 없는 순환 그래프의 클래스는 클리크-너비가 최대 4이며, 새로운 유계 클리크-너비 클래스로 확립된다.
• 네 가지 새로운 $H$-free 순환 그래프 클래스가 유계 클리크-너비를 가짐을 규명하였다: $H \in \{\overline{K_{1,3}+2P_1}, P_1 + \overline{P_1 + P_3}, P_1 + \overline{2P_1 + P_2}, \overline{S_{1,1,2}}\}$.
• $(2P_1 + P_3, K_4)$-free 그래프 클래스는 $K_4$-free 순환 그래프로의 감소를 통해 유계 클리크-너비를 가짐을 입증하였다.
• $H$-free 순환 그래프의 클리크-너비 유계성 분류는 두 개의 열린 사례를 제외하고 완료되었으며, $(H_1, H_2)$-free 그래프에 대해 여전히 13개의 열린 사례가 남아 있다.
• $H$-free 완전 그래프로의 제약은 순환 그래프에서 이미 발견된 클래스를 초월하여 클리크-너비 유계 클래스를 추가로 제공하지 않는다.