[论文解读] A characterization of Konig-Egervary graphs using a common property of all maximum matchings

Vadim E. Levit, Eugen Mǎndrescu|ArXiv.org|Nov 24, 2009

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

一句话总结

本文提出了一种关于 König–Egerváry 图的新表征，基于所有最大匹配所共有的结构特性：在这些图中，每个最大匹配都将核心的邻域匹配到核心本身。其主要贡献在于提出了一种新颖的、基于匹配的等价定义准则，从而更深入地揭示了此类图中最大匹配与独立集之间的相互作用。

ABSTRACT

The independence number of a graph G, denoted by alpha(G), is the cardinality of an independent set of maximum size in G, while mu(G) is the size of a maximum matching in G, i.e., its matching number. G is a Konig-Egervary graph if its order equals alpha(G)+mu(G). In this paper we give a new characterization of Konig-Egervary graphs. We also deduce some properties of vertices belonging to all maximum independent sets of a Konig-Egervary graph.

研究动机与目标

• 提供 König–Egerváry 图的新表征，以匹配为中心，补充现有的结构化和基于独立集的定义。
• 研究 König–Egerváry 图中核心（所有最大独立集的交集）的作用，及其与最大匹配的相互作用。
• 阐明顶点属于核心的条件，以及这与最大匹配中未饱和顶点存在的关系。
• 探讨新表征对识别 König–Egerváry 图及其结构不变量的理解所具有的影响。

提出的方法

• 将图的核心定义为所有最大独立集的交集，并分析其在 König–Egerváry 图中的作用。
• 使用 Edmonds 的交错路径与花形术语（如花形、茎、花、花冠）分析相对于最大匹配的禁止配置。
• 证明图是 König–Egerváry 图当且仅当其没有任何最大匹配包含花形或花冠配置。
• 证明在 König–Egerváry 图中，每个最大匹配都将核心的邻域匹配到核心本身，且所有暴露顶点必须属于核心。
• 基于构造更大匹配的反证法，证明关于核心与非核心顶点关联边的结构约束。
• 将该表征应用于推导顶点属于核心的条件，特别是与未饱和最大匹配的关系。

实验结果

研究问题

• RQ1 König–Egerváry 图中所有最大匹配共享的共同性质是什么？这一性质如何用于定义该图类？
• RQ2 König–Egerváry 图的核心如何与最大匹配的结构相关联，特别是与暴露顶点的关系？
• RQ3 在何种条件下，顶点属于 König–Egerváry 图的核心，特别是与未饱和最大匹配的关系？
• RQ4 新表征能否用于更高效地识别 König–Egerváry 图，或揭示新的结构不变量？
• RQ5 μ-临界顶点与边在 König–Egerváry 图中的关系是什么？这与一般图有何不同？

主要发现

• 图是 König–Egerváry 图当且仅当其没有任何最大匹配包含花形或花冠配置，从而提供了一种新的禁止子图表征。
• 在每个 König–Egerváry 图中，每个最大匹配都将核心的邻域匹配到核心本身，这是所有此类匹配共享的结构特性。
• 在 König–Egerváry 图的任意最大匹配中，所有暴露顶点必须属于核心，这是一个在一般图中不成立的必要条件。
• 顶点属于 König–Egerváry 图的核心当且仅当存在一个不饱和该顶点的最大匹配，建立了核心成员资格与未饱和匹配之间的直接联系。
• 对于二分图，顶点属于核心当且仅当存在一个不饱和该顶点的最大匹配，将结果推广至一个著名的图类。
• 本文证明，若 König–Egerváry 图在删除顶点后仍保持 König–Egerváry 性质，则核心成员资格等价于存在一个未饱和的最大匹配，突显了一个关键的结构不变量。