[论文解读] Decision problem for Perfect Matchings in Dense k-uniform Hypergraphs

Jie Han|arXiv (Cornell University)|Sep 21, 2014

Limits and Structures in Graph Theory参考文献 20被引用 9

一句话总结

该论文通过证明在任意 $n$-顶点 $k$-图中，若最小共度数至少为 $n/k$，则存在完美匹配，并提供一种多项式时间算法来判断该问题，解决了稠密 $k$-均匀超图中完美匹配判定问题的计算复杂度。关键贡献在于提出了一种新颖的基于格的吸收方法，简化了先前的方法，并确立了在 $\delta_{k-1}(H) \geq n/k$ 时该问题可在多项式时间内判定。

ABSTRACT

For any $γ>0$, Keevash, Knox and Mycroft constructed a polynomial-time algorithm to determine the existence of perfect matchings in any $n$-vertex $k$-uniform hypergraph whose minimum codegree is at least $n/k+γn$. We prove a structure theorem that enables us to determine the existence of a perfect matching for any $k$-uniform hypergraph with minimum codegree at least $n/k$. This solves a problem of Karpiński, Ruciński and Szymańska completely. Our proof uses a lattice-based absorbing method.

研究动机与目标

• 解决关于 $k$-均匀超图中最小共度数 $\delta_{k-1}(H) \geq n/k$ 时，完美匹配判定问题是否属于 P 的开放问题。
• 弥合 $\delta = 1/k$ 与 $\delta > 1/k$ 之间的复杂度差距，此前该问题尚未解决。
• 提供一种多项式时间算法，以判断在 $n/k$ 共度数阈值下完美匹配是否存在。
• 建立一个结构定理，使判定过程无需依赖超图正则性或先前的匹配定理。

提出的方法

• 提出一个新的结构定理（定理 2.6），刻画在 $n/k$ 共度数条件下完美匹配存在的特征。
• 采用基于格的吸收方法以处理可除性与结构障碍，取代对超图正则性引理的依赖。
• 使用 $2k(k-2)$-证书的概念来检测阻碍完美匹配存在的结构性障碍。
• 应用涉及基于划分的格结构 $L_{\mathcal{P}}(H)$ 的完整对可解性条件，以判断匹配可能性。
• 将新结构定理与 Keevash、Knox 和 Mycroft 的算法程序相结合，实现多项式时间复杂度。
• 在顶点集上采用划分策略，以测试可解的完整对，并检测阻碍匹配的不可解配置。

实验结果

研究问题

• RQ1 在 $k$-均匀超图中，当 $\delta_{k-1}(H) \geq n/k$ 时，完美匹配的判定问题是否可在多项式时间内解决？
• RQ2 当共度数恰好为 $n/k$ 时，哪些结构性条件会阻止完美匹配的存在？
• RQ3 吸收方法能否在不使用超图正则性的情况下，处理 $n/k$ 阈值下的可除性障碍？
• RQ4 是否存在对满足 $\delta_{k-1}(H) \geq n/k$ 但缺乏完美匹配的超图的完整刻画？
• RQ5 该判定问题的时间复杂度是否可被控制在 $O(n^{3k^2 - 5k})$ 以内？

主要发现

• 对于所有 $\delta \geq 1/k$，判定问题 $\textbf{PM}(k,\delta)$ 属于 P，完全解决了问题 1.2。
• 在任意 $k$-均匀超图中，若 $\delta_{k-1}(H) \geq n/k$ 且 $k$ 整除 $n$，则存在完美匹配。
• 该算法的时间复杂度为 $O(n^{3k^2 - 5k})$，提供了一种多项式时间判定过程。
• 不存在 $2k(k-2)$-证书，等价于完美匹配的存在。
• 当且仅当不存在 $2k(k-2)$-证书且 $H \notin \mathcal{H}_{n,k}$ 时，完整对 $(\mathcal{P}_0', L_{\mathcal{P}_0'}^\mu(H))$ 是可解的。
• 基于格的吸收方法成功替代了对超图正则性引理及 Keevash 和 Mycroft（2015）主要结果的依赖，简化了证明。