[论文解读] A Set and Collection Lemma

Vadim E. Levit, Eugen Mǎndrescu|arXiv (Cornell University)|Jan 24, 2011

Advanced Graph Theory Research参考文献 9被引用 3

一句话总结

本文提出了'集合與集合族引理'，這是圖論中的一個基本結果，確立了圖中特定獨立集子集之間匹配的存在性。該文證明，對於任意獨立集 S 和非空最大獨立集集合 Λ，存在一個從 S 減去 Λ 的交集到 ∪Λ 減去 S 的匹配，並推導出一個關鍵不等式 |S| + α(G) ≤ |∩Λ ∩ S| + |∪Λ ∪ S|，該不等式推廣並加強了經典結果，如伯杰的最大小穩定集引理和哈吉納的團族引理。

ABSTRACT

A set S is independent if no two vertices from S are adjacent. In this paper we prove that if F is a collection of maximum independent sets of a graph, then there is a matching from S-{intersection of all members of F} into {union of all members of F}-S, for every independent set S. Based on this finding we give alternative proofs for a number of well-known lemmata, as the "Maximum Stable Set Lemma" due to Claude Berge and the "Clique Collection Lemma" due to András Hajnal.

研究动机与目标

• 建立一個分析圖中最大獨立集的通用框架，使用集合論與匹配關係。
• 透過單一更一般的原則，統一並加強如伯傑的最大小穩定集引理與哈吉納的團族引理等經典結果。
• 研究圖的核（所有最大獨立集的交集）與冠（所有最大獨立集的並集）的結構性質。
• 特徵化滿足等式 2α(G) = |core(G)| + |corona(G)| 的圖，並推廣已知關於 König-Egerváry 圖與極好覆蓋圖的結果。

提出的方法

• 使用最大獨立集及其交集/並集的集合運算形式化集合與集合族引理。
• 應用霍爾婚配定理，證明對於任意獨立集 S 和非空最大獨立集集合 Λ，存在從 S − ∩Λ 到 ∪Λ − S 的匹配。
• 由匹配存在性推導出不等式 |S| + α(G) ≤ |∩Λ ∩ S| + |∪Λ ∪ S|，該不等式推廣了已知的界。
• 透過圖的補圖運算，將結果從獨立集轉化為團，從而導出團族引理。
• 使用匹配引理（主結果的一個組成部分）重新推導並加強伯傑的最大小穩定集引理。
• 分析 König-Egerváry 圖與極好覆蓋圖，以識別 2α(G) = |core(G)| + |corona(G)| 成立的條件。

实验结果

研究问题

• RQ1 對於任意獨立集 S 和非空最大獨立集集合 Λ，何種條件可保證存在從 S − ∩Λ 到 ∪Λ − S 的匹配？
• RQ2 不等式 |S| + α(G) ≤ |∩Λ ∩ S| + |∪Λ ∪ S| 如何推廣或加強圖論中已知的引理？
• RQ3 圖的核與冠之間的結構關係為何？何時成立 2α(G) = |core(G)| + |corona(G)|？
• RQ4 集合與集合族引理能否用於在更一般設定下重新推導或證明伯傑的最大小穩定集引理與哈吉納的團族引理？
• RQ5 圖滿足 2α(G) = |core(G)| + |corona(G)| 的必要與充分條件為何？

主要发现

• 對於任意獨立集 S 和非空最大獨立集集合 Λ，存在從 S − ∩Λ 到 ∪Λ − S 的匹配。
• 對於任意獨立集 S 和任意非空最大獨立集集合 Λ，不等式 |S| + α(G) ≤ |∩Λ ∩ S| + |∪Λ ∪ S| 成立。
• 匹配引理推出伯傑的最大小穩定集引理：獨立集 X 是最大的，當且僅當每一個與 X 不相交的獨立集 S 都可匹配到 X。
• 透過將集合與集合族引理應用於補圖，可作為推論得到團族引理：對於任意最大團集合 Γ，有 |∩Γ| ≥ 2ω(G) − |∪Γ|。
• 對於 König-Egerváry 圖，等式 2α(G) = |core(G)| + |corona(G)| 成立，且此等式特徵化了一大類圖，包括極好覆蓋圖。
• 等式 2α(G) = |core(G)| + |corona(G)| 的逆命題不成立，如圖3中的反例 G₂ 所示。