[論文レビュー] 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₂ などの反例によってそれが示されている。