[论文解读] Bounding the Clique-Width of $H$-free Chordal Graphs

Andreas Brandstädt, Konrad K. Dabrowski+2 more|arXiv (Cornell University)|Feb 24, 2015

Advanced Graph Theory Research被引用 6

一句话总结

本文對所有僅剩兩個圖 $H$ 之外的 $H$-free chordal 圖類，提供了完整的分類，識別出四個新的此類圖類：bull-free chordal 圖（clique-width ≤ 3）、co-chair-free chordal 圖（clique-width ≤ 4），以及另外兩個透過結構分析所發現的圖類。研究結果結合了已知與新技術，包括將複雜圖類簡化至已知具有有界 clique-width 的圖類，以及對禁止的誘導子圖的結構分解。

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$，使得 $H$-free chordal 圖類具有有界 clique-width，從而完成至多兩個未解案例的分類。
• 更正先前錯誤的主張：過去認為僅 gem 與 co-gem 是在 $H$-free chordal 圖中具有有界 clique-width 的 1-vertex $P_4$-extensions，此說法錯誤。
• 透過將複雜圖類簡化至已知具有有界 clique-width 的簡單圖類，擴展對 clique-width 有界性的理解。
• 為分類其他圖類（如 $(2P_1 + P_3, K_4)$-free 圖）提供基礎，方法為透過簡化至 chordal 圖類。
• 探討 clique-width 有界性與計算複雜度之間的關係，特別是與圖同構問題及 NP-完全問題的關聯。

提出的方法

• 作者運用結構圖論分析禁止的誘導子圖，並根據其 clique-width 性質對 $H$-free chordal 圖類進行分類。
• 他們應用已知的 clique-width 有界性結果於特定圖類（如 $K_4$-free chordal 圖），並使用簡化技術將有界性結果傳遞至其他圖類。
• 關鍵技術在於證明某些 $H$-free chordal 圖（如 bull-free、co-chair-free）具有有界 clique-width，方法為構造明確的 $c$-表達式或使用分解定理。
• 論文利用圖對之間的等價關係（如補圖與取代運算）來減少 $(H_1, H_2)$-free 圖分類中未解案例的數量。
• 他們結合先前關於 clique-width 與 treewidth 的研究成果，與新提出的結構性引理，建立特定 $H$-free 子類的 clique-width 界限。
• 作者利用有界 clique-width 暗示 MSO 可定義問題可在多項式時間內求解的事實，以強化其分類結果的重要性。

实验结果

研究问题

• RQ1 哪些圖 $H$ 會產生具有有界 clique-width 的 $H$-free chordal 圖？此分類能否完全完成？
• RQ2 過去主張僅 gem 與 co-gem 是具有有界 clique-width 的 1-vertex $P_4$-extensions，為何失敗？正確的例外情況為何？
• RQ3 能否透過簡化至 $K_4$-free chordal 圖類，證明 $(2P_1 + P_3, K_4)$-free 圖類具有有界 clique-width？
• RQ4 $H$-free chordal 圖中 clique-width 有界性與此類圖同構問題的複雜度之間有何關係？
• RQ5 是否存在更大的圖類，可延伸四個新識別出的 $H$-free chordal 圖類，使得 Hamilton Cycle 問題可在多項式時間內求解？

主要发现

• bull-free chordal 圖類的 clique-width 最多為 3，修正了過去認為僅此一類具有有界性的假設。
• co-chair-free chordal 圖類的 clique-width 最多為 4，確立了一個新的具有有界 clique-width 的圖類。
• 識別出四個新的具有有界 clique-width 的 $H$-free chordal 圖類：$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 圖類具有有界 clique-width，此結果透過簡化至 $K_4$-free chordal 圖類而證明。
• 具有有界 clique-width 的 $H$-free chordal 圖類分類已完整，僅剩兩個未解案例，且 $(H_1, H_2)$-free 圖類中尚有 13 個未解案例。
• 限制於 $H$-free perfect 圖類，並未產生任何超越 chordal 圖類中已發現的具有有界 clique-width 的新圖類。