[论文解读] On the Erdös-Lovász Tihany Conjecture for Claw-Free Graphs

Maria Chudnovsky, Alexandra Fradkin+1 more|arXiv (Cornell University)|Sep 4, 2013

Advanced Graph Theory Research参考文献 8被引用 4

一句话总结

本文證明了爪圖類別上 Erdős-Lovász Tihany 猜想的弱化版本：在任意爪圖 $G$ 中，若 $χ(G) > ω(G)$，則存在一個大小至多為 5 的團 $K$，使得 $χ(G \setminus K) > χ(G) - |K|$。證明利用爪圖的結構分解與基於已知圖類別的案例分析，延伸了先前關於 quasi-line 圖與線圖的研究成果。

ABSTRACT

In 1968, Erdös and Lovász conjectured that for every graph $G$ and all integers $s,t\geq 2$ such that $s+t-1=χ(G) > ω(G)$, there exists a partition $(S,T)$ of the vertex set of $G$ such that $χ(G|S)\geq s$ and $χ(G|T)\geq t$. For general graphs, the only settled cases of the conjecture are when $s$ and $t$ are small. Recently, the conjecture was proved for a few special classes of graphs: graphs with stability number 2 \cite{quasi-line}, line graphs \cite{line} and quasi-line graphs \cite{quasi-line}. In this paper, we consider the conjecture for claw-free graphs and present some progress on it.

研究动机与目标

• 將 Erdős-Lovász Tihany 猜想擴展至包含 quasi-line 圖的更廣泛爪圖類別。
• 建立在滿足 $\chi(G) > \omega(G)$ 的爪圖中，存在一個大小 $\leq 5$ 的小團 $K$，其移除後色數的減少量小於 $|K|$。
• 透過分析爪圖結構定理的結構結果，以弱化形式解決該猜想。
• 透過對圖類別（模糊圓弧區間圖、加厚圖、三個團的並集）的案例分析，排除最小反例的存在。

提出的方法

• 利用爪圖的結構定理（Chudnovsky & Seymour）將圖依團、共同鄰點與混合點分解為元件。
• 定義關鍵概念：Tihany 團（其中 $\chi(G \setminus K) \geq \chi(G) - |K| + 1$）、密集團（$C(K)$ 為團），以及好團（$C(K)$ 為反匹配）。
• 應用條帶分解與非平凡條帶結構分析圖元件，並使用關於團分離點與線圖條帶的引理。
• 針對圖類型進行案例分析：$\mathcal{T}_1$、$\mathcal{T}_2$、$\mathcal{T}_3$（特定基圖的加厚圖），以及三個團的並集。
• 使用反證法：假設存在最小反例，並證明其不屬於任何結構類別，進而透過已知的線圖與 quasi-line 圖結果導出矛盾。
• 應用先前成果：線圖滿足該猜想 [1]，且 quasi-line 圖已被 [9] 覆蓋；這些用於排除特定情況。

实验结果

研究问题

• RQ1 Erdős-Lovász Tihany 猜想在爪圖中是否以弱化形式成立？
• RQ2 能否找到一個大小至多為 5 的小團 $K$，使得在滿足 $\chi(G) > \omega(G)$ 的爪圖中，移除 $K$ 後色數的減少量小於 $|K|$？
• RQ3 最小反例是否透過結構分解至已知圖類別而被排除？
• RQ4 能否利用爪圖的結構定理證明有界大小 Tihany 團的存在？
• RQ5 三個團的並集或模糊圓弧區間圖是否具有大小 $\leq 5$ 的 Tihany 團？

主要发现

• 對於每一個滿足 $\chi(G) > \omega(G)$ 的爪圖 $G$，均存在一個大小至多為 5 的團 $K$，使得 $\chi(G \setminus K) > \chi(G) - |K|$。
• 該結果透過排除所有可能的最小反例結構類別（$\mathcal{T}_1$、$\mathcal{T}_2$、$\mathcal{T}_3$ 及三個團的並集）而建立。
• 屬於 $\mathcal{T}_1$ 的圖（二十面體或其子圖的加厚圖）透過結構分析與模糊圓弧區間圖的已知結果被排除。
• 屬於 $\mathcal{T}_2$ 與 $\mathcal{T}_3$ 的圖分別透過反柱圖與加厚結構的結果被排除。
• 三個團的並集透過引理 8.8 顯示存在大小至多為 5 的 Tihany 團，從而反證最小反例的存在。
• 證明確認不存在最小反例，因此確認爪圖類別上弱化猜想的成立。