[论文解读] A Tight Lower Bound for the Weights of Maximum Weight Matching in Bipartite Graphs

Шибсанкар Дас|arXiv (Cornell University)|May 2, 2016

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

一句话总结

本文为任意总权重为 $m$ 且每部分包含 $\sigma$ 个顶点的加权二分图中的最大权二分匹配（MWBM）权重，建立了紧致的下界 $\lceil\frac{m - \sigma}{\sigma}\rceil + 1$。该下界通过图划分的组合分析推导得出，并利用归纳法与极值图构造方法证明其紧致性，适用于网络设计与串匹配等应用。

ABSTRACT

Let $\Ga$ be the collection of all weighted bipartite graphs each having $σ$ and $m$, as the size of a vertex partition and the total weight, respectively. We give a tight lower bound $\lceil \frac{m-σ}σ ceil+1$ for the set $\{ extit{Wt}( extit{mwm}(G))~|~G \in \Ga\}$ which denotes the collection of weights of maximum weight bipartite matchings of all graphs in $\Ga$.

研究动机与目标

• 确定在所有总权重为 $m$ 且每部分有 $\sigma$ 个顶点的加权二分图中，最大权二分匹配可能达到的最小权重。
• 为这类图中的 MWBM 权重建立一个紧致的下界，适用于所有 $m$ 与 $\sigma$ 的有效配置。
• 通过构造性实例与归纳证明技术，展示该下界的紧致性。
• 通过提供最小匹配权重的理论基础，使光学网络、串匹配与网络优化等实际应用成为可能。

提出的方法

• 根据总权重 $m$ 与部分大小 $\sigma$ 的关系，将所有此类图的集合 $\mathcal{G}_{m,\sigma}$ 划分为两个子类：$\mathcal{G}_{m \geq \sigma}$ 与 $\mathcal{G}_{m < \sigma}$。
• 当 $m \geq \sigma$ 时，设 $m = q\sigma + r$，其中 $q \in \mathbb{N}_0$，$0 < r \leq \sigma$，并证明最小 MWBM 权重为 $q + 1 = \lceil\frac{m - \sigma}{\sigma}\rceil + 1$。
• 通过在约束条件下最大化边权重，构造达到该下界的极值图，确保 MWBM 权重最小但仍可行。
• 对总权重 $m$ 使用强归纳法证明该下界是紧致的，表明任何试图降低 MWBM 权重的尝试都会导致矛盾。
• 分析边邻接性与匹配结构，排除可能导致低于所提下界的 MWBM 权重的图配置。
• 通过证明当 $m < \sigma$ 时，最小 MWBM 权重恒为 1，从而证明该下界对 $m < \sigma$ 情况也成立，且与通式一致。

实验结果

研究问题

• RQ1 在所有总权重为 $m$ 且每部分有 $\sigma$ 个顶点的加权二分图中，最大权二分匹配可能达到的最小权重是多少？
• RQ2 下界 $\lceil\frac{m - \sigma}{\sigma}\rceil + 1$ 是否紧致，且能否在 $\mathcal{G}_{m,\sigma}$ 中的实际图中实现？
• RQ3 图的结构——特别是边的分布与邻接性——如何影响可实现的最小 MWBM 权重？
• RQ4 该下界是否可统一适用于所有 $m$ 与 $\sigma$，包括 $m < \sigma$ 的情况？
• RQ5 图的哪些结构性质阻止了 MWBM 权重低于所提下界？

主要发现

• 在任意图 $G \in \mathcal{G}_{m,\sigma}$ 中，最大权二分匹配权重的紧致下界为 $\lceil\frac{m - \sigma}{\sigma}\rceil + 1$。
• 该下界可通过显式构造 $\mathcal{G}_{m \geq \sigma}$ 中的图实现，当 $m = q\sigma + r$ 时，MWBM 权重恰好等于 $q + 1$。
• 当 $m < \sigma$ 时，最小 MWBM 权重恰好为 1，与通式 $\lceil\frac{m - \sigma}{\sigma}\rceil + 1 = 1$ 一致。
• 通过在 $m$ 上的强归纳法证明该下界是紧致的，表明 $\mathcal{G}_{m,\sigma}$ 中不存在 MWBM 权重小于该值的图。
• 证明依赖于对匹配与边邻接性的结构分析，排除了可能导致更低 MWBM 权重的图配置。
• 该结果对所有正整数 $m$ 与 $\sigma$ 均成立，且该下界为最优，不可改进。