[论文解读] Degree conditions for matchability in $3$-partite hypergraphs

Ron Aharoni, Eli Berger+2 more|arXiv (Cornell University)|May 18, 2016

Limits and Structures in Graph Theory参考文献 15被引用 3

一句话总结

本文建立了3-部超图中确保大匹配的度条件的拓扑证明，证明了在较宽松的大小约束下，二分图中2n−1个大小为n的匹配可实现大小为n的彩虹匹配。该研究强化了Drisko定理，并通过组合拓扑与基于度的条件，扩展了关于拉丁方阵与置换阵列的结果。

ABSTRACT

We study conjectures relating degree conditions in $3$-partite hypergraphs to the matching number of the hypergraph, and use topological methods to prove special cases. In particular, we prove a strong version of a theorem of Drisko \cite{drisko} (as generalized by the first two authors \cite{ab}), that every family of $2n-1$ matchings of size $n$ in a bipartite graph has a partial rainbow matching of size $n$. We show that milder restrictions on the sizes of the matchings suffice. Another result that is strengthened is a theorem of Cameron and Wanless \cite{CamWan}, that every Latin square has a diagonal (permutation submatrix) in which no symbol appears more than twice. We show that the same is true under the weaker condition that the square is row-Latin.

研究动机与目标

• 证明在较宽松的大小约束下，二分图中2n−1个大小为n的匹配可实现大小为n的彩虹匹配。
• 通过放宽所有匹配大小恰好为n的要求，推广Drisko定理。
• 通过证明行拉丁方阵在置换阵列中无符号重复超过两次时，可实现大小为n−1的部分置换阵列，扩展关于拉丁方阵与置换阵列的结果。
• 为具有可变大小匹配的强形式彩虹匹配定理建立拓扑证明。
• 提出并研究3-部超图中匹配数的广义度条件，包括非对称与基于正则性的猜想。

提出的方法

• 采用拓扑方法，特别是彩色Helly定理与博弈论论证，证明大彩虹匹配的存在性。
• 使用博弈论模型，其中玩家（POS与NON）交替作用于顶点以模拟匹配构造，并从得分假设中导出矛盾。
• 应用度与简单性约束：(A,C)为简单，(B,C)为2-简单，且对所有a ∈ A有deg(a) = n，以限制边数并导出矛盾。
• 引入最小匹配大小序列的“容纳”概念，并证明序列是容纳的当且仅当对所有i ≤ 2n−1有ai ≥ min(i,n)。
• 从H构造双份超图H′以保持简单性与2-简单性，然后应用定理1.10，得出ν(H′) = n，并推断ν(H) = n。
• 基于边数上界使用反证法：假设ν(H) < n，推导|E(GK)|的上界，并与度条件导出的下界矛盾。

实验结果

研究问题

• RQ1 Drisko定理中所有2n−1个匹配大小恰好为n的条件能否放宽，以允许更小的匹配？
• RQ2 在3-部超图中，何种度与简单性条件下，匹配数ν(H)可达n？
• RQ3 Brualdi-Stein关于拉丁方阵的猜想能否推广至行拉丁方阵，且在置换阵列中无符号重复超过两次？
• RQ4 Drisko定理中2n−1个匹配的界限是否紧致？是否存在唯一的极值结构？
• RQ5 3-部超图中确保ν(H) ≥ n的最小度与简单性条件为何？

主要发现

• 在二分图中，若|Fi| ≥ i对所有i ≤ n−1成立，且|Fi| = n对所有i ≥ n成立，则2n−1个匹配的族可实现大小为n的彩虹匹配。
• 对所有i ≤ 2n−1，|Fi| ≥ min(i,n)的条件是存在大小为n的彩虹匹配的充要条件。
• 在较弱条件下，超图版本的Drisko定理成立：若|A| ≥ 2n−1，对所有a ∈ A有deg(a) = n，(A,C)为简单，(B,C)为2-简单，则ν(H) ≥ n。
• 确认了关于每个行拉丁方阵均存在大小为n−1的部分置换阵列且无符号重复超过两次的猜想。
• 构造双份超图H′可保持简单性与2-简单性，从而由ν(H′) = n推出ν(H) = n。
• 通过假设ν(H) < n导出矛盾，得到|E(GK)|的上界，该上界与度与简单性约束导出的下界矛盾。