[论文解读] 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 核的大小能否用于改进或加强已知的核心大小下界？
• RQ4 确定 |ker(G)| > k 的计算复杂性如何，其中 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-完全问题。