[論文レビュー] Vertices Belonging to All Critical Independent Sets of a Graph

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

Advanced Graph Theory Research参考文献 21被引用数 14

ひとこと要約

本稿は、グラフにおける臨界独立集合の構造を調査し、グラフのカーネルをすべての臨界独立集合の共通部分として定義する。非準正則化不能グラフに対して、カーネルはコアの部分集合であり、|ker(G)| > id_c(G) ≥ α(G) − μ(G) ≥ 1 を満たすことが証明され、主要なグラフパラメータ間に厳密な階層関係を確立するとともに、臨界独立性差より大きい構造的不変量を同定した。

ABSTRACT

Let G=(V,E) be a graph. A set S is independent if no two vertices from S are adjacent. The independence number alpha(G) is the cardinality of a maximum independent set, and mu(G) is the size of a maximum matching. The number id_{c}(G)=max{|I|-|N(I)|:I is an independent set} is called the critical independence difference of G, and A is critical if |A|-|N(A)|=id_{c}(G). We define core(G) as the intersection of all maximum independent sets, and ker(G)as the intersection of all critical independent sets. In this paper we prove that if a graph G is non-quasi-regularizable (i.e., there exists some independent set A, such that |A|>|N(A)|), then: ker(G) is a subset of core(G), and |ker(G)|> id_{c}(G) >= alpha(G)-mu(G) > 0.

研究の動機と目的

• グラフにおけるすべての臨界独立集合に共通する頂点を特定すること。
• 非準正則化不能グラフにおいて、カーネル、コア、独立数、最大マッチングの間の構造的関係を確立すること。
• コアのサイズとその臨界独立性差との関係に関する未解決問題を解消すること。
• カーネルのサイズが与えられた閾値を超えるかどうかを判定する計算複雑性を調査すること。

提案手法

• 臨界独立集合 I が |I| − |N(I)| = id_c(G) を満たすとき、グラフのカーネルをすべての臨界独立集合の共通部分として定義する。
• マッチング理論と最大独立集合に関するBergeの定理を用いて、臨界集合の構造的性質を分析する。
• id_c(G) = max{|I| − |N(I)| : I ∈ Ind(G)} という臨界差の概念を適用し、α(G)、μ(G)、|ker(G)| に関する不等式を導出する。
• 非準正則化不能グラフに対して、|ker(G)| > id_c(G) を背理法と最小カーネル集合に関するマッチングの議論により証明する。
• König-Egerváry グラフおよび完全2マッチングに関する既知の結果を活用し、コアサイズの境界を強化する。
• グラフの分解と頂点分割（例：A1, A2, S）を用いて、カーネルの近傍およびマッチング行動を分析する。

実験結果

リサーチクエスチョン

• RQ1 非準正則化不能グラフにおいて、グラフのカーネルは常にコアの部分集合であるか？
• RQ2 非準正則化不能グラフにおいて、カーネルのサイズは臨界独立性差を厳密に上回るか？
• RQ3 カーネルのサイズは、コアサイズの既知の下界を refinement や強化するために利用できるか？
• RQ4 固定された k に対して、|ker(G)| > k かどうかを判定する計算複雑性は何か？

主な発見

• 任意の非準正則化不能グラフ G に対して、カーネルはコアの部分集合である：ker(G) ⊆ core(G)。
• カーネルのサイズは |ker(G)| > id_c(G) ≥ α(G) − μ(G) ≥ 1 を満たし、カーネルと臨界独立性差の間で厳密な分離が確立される。
• 非準正則化不能グラフでは、|ker(G)| > α(G) − μ(G) + |ker(G)| − id_c(G) が成り立ち、コアサイズの境界に対する非自明な改善が得られる。
• カーネルサイズ |ker(G)| は id_c(G) よりも厳密に大きく、かつ α(G) > μ(G) のとき、その差は1以上で定量的に下限づけられる。
• 非準正則化不能グラフでは、孤立頂点の不在と臨界集合の構造により、カーネルは空でなく、サイズが少なくとも2以上である。
• 本稿では未解決問題を提示している：|ker(G)| > k かどうかを判定することは、任意の固定された k ≥ 1 に対して NP完全であるか？