[论文解读] Erdös-Ko-Rado theorems for chordal and bipartite graphs

Glenn Hurlbert, Vikram Kamat|ArXiv.org|Mar 24, 2009

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

一句话总结

本文通過證明當 r ≤ μ(G)/2 時，不相交的弦圖與二分圖的不相交並集（其中至少包含一個單點）為 r-EKR，從而建立了弦圖與二分圖的 Erdös-Ko-Rado（EKR）定理，其中 μ(G) 為最大獨立集的最小大小。此外，本文還對完全圖鏈的 EKR 類型結果進行了推廣，並利用壓縮與數學歸納法技術，為梯形圖與樹圖建立了基礎性結果。

ABSTRACT

One of the more recent generalizations of the Erdös-Ko-Rado theorem, formulated by Holroyd, Spencer and Talbot, defines the Erdös-Ko-Rado property for graphs in the following manner: for a graph G and a positive integer r, G is said to be r-EKR if no intersecting subfamily of the family of all independent vertex sets of size r is larger than the largest star, where a star centered at a vertex v is the family of all independent sets of size $r$ containing v. In this paper, we prove that if G is a disjoint union of chordal graphs, including at least one singleton, then G is r-EKR if $r\leq mu(G)/2$, where mu(G) is the minimum size of a maximal independent set. We will also prove Erdös-Ko-Rado results for chains of complete graphs, which are a class of chordal graphs obtained by blowing up edges of a path into complete graphs. We also consider similar problems for ladder graphs and trees, and prove preliminary results for these graphs.

研究动机与目标

• 將 Erdös-Ko-Rado 定理推廣至具有結構約束的圖，特別是弦圖與二分圖。
• 確定圖 G 為 r-EKR 的條件，即任何獨立 r-子集的相交族大小不超過以某頂點為中心的最大星形族。
• 將既有關於不相交完全圖與路徑的 EKR 結果推廣至更廣泛的弦圖類別。
• 研究梯形圖與樹圖的 r-EKR 性質，透過數學歸納法與壓縮技術建立基礎性結果。
• 特徵化獨立 r-子集的極值族，並證明在指定條件下，最大星形族為最優解。

提出的方法

• 定義圖 G 的 r-EKR 性質：任何獨立 r-子集的相交族大小不超過以某頂點為中心的最大星形族。
• 對頂點數量使用數學歸納法，特別關注透過新增頂點或邊連接至既有結構所形成的圖。
• 應用壓縮技術（等價於邊收縮）以在保持相交性質的同時減少獨立集族。
• 根據族與固定頂點子集 Z 的交集，對獨立 r-子集族進行分割，並透過分情況分析處理可能的交集。
• 透過從原始族中移除或修改元素，定義輔助族 E 與 F，以在較小的子圖上應用數學歸納假設。
• 利用對 J^r_x(G') 與 J^{r-1}_x(G'') 之族大小的界，與原始圖中星形族的大小進行比較。

实验结果

研究问题

• RQ1 當不相交的弦圖並集（至少包含一個單點）滿足何種條件時，其為 r-EKR？
• RQ2 對於完全圖鏈（一類弦圖），r-EKR 性質在何時成立？
• RQ3 梯形圖與樹圖中，獨立 r-子集的相交族最大大小為何？
• RQ4 壓縮技術能否有效應用於推導結構圖（超越完全圖與路徑）的 r-EKR 結果？
• RQ5 在給定圖中，最大星形族何時為 r-EKR 問題的唯一最大值？

主要发现

• 若 G 為包含至少一個單點的弦圖不相交並集，則當 r ≤ μ(G)/2 時，G 為 r-EKR，其中 μ(G) 為最大獨立集的最小大小。
• 完全圖鏈（透過以完全圖取代路徑的邊構成）被證明對所有 r ≤ μ(G)/2 均為 r-EKR。
• 對於 n ≥ 4 的梯形圖 L_n，包含固定頂點 x_1 的獨立 r-子集族達到最大大小，確認其具有 r-EKR 性質。
• 梯形圖的證明依賴於根據族與三頂點子集 Z 的交集對獨立 r-子集族進行分割，並結合對分量大小的界與數學歸納法。
• 當某些子族非空時，透過由數學歸納假設導出的不等式，可將相交族大小上界控制在星形族大小之內。
• 本文確立了對於 L_n 之類圖，以 x_1 為中心的星形族為最大，且不存在更大的相交族，從而透過分情況分析與壓縮論證確認了 r-EKR 性質。