Tuza 关于匹配数为 2 的四部超图的 Ryser 猜想断言
Tuza's Ryser-conjecture claim for four-partite hypergraphs with matching number two
浏览论文内容
中文总结 AI 辅助
本文证明匹配数为2的4部4均匀超图的顶点覆盖数至多为6，证实Tuza的未发表断言，解决Ryser猜想在(r,ν)=(4,2)的情形，并改进此前上界7。
中文摘要 AI 辅助
我们证明每个匹配数 $\nu(H)=2$ 的 $4$-部 $4$-均匀超图 $H$ 满足 $\tau(H)\le 6$，其中 $\tau$ 表示顶点覆盖数。这证实了 Tuza 在 1979 年手稿中提出但从未给出证明的断言，并解决了 Ryser 猜想中 $(r,\nu)=(4,2)$ 的情形。此前最佳上界为 $\tau\le 7$，这是 Haxell 和 Scott（2012）定理的整数性推论。证明使用了 Gyárfás 的交情形定理（对交的 $4$-部 $4$-均匀族有 $\tau\le 3$）、一个简短的投影引理（交族中四个基不相交的边迫使存在一个二元覆盖），以及 Kőnig 匹配定理。
英文摘要
We prove that every $4$-partite $4$-uniform hypergraph $H$ with matching number $ν(H)=2$ satisfies $τ(H)\le 6$, where $τ$ denotes the vertex-cover number. This confirms a claim made by Tuza in his 1979 manuscript but never published with a proof, and closes the case $(r,ν)=(4,2)$ of Ryser's conjecture. The best previous bound was $τ\le 7$, an integrality consequence of the theorem of Haxell and Scott (2012). The proof uses Gyárfás's intersecting-case theorem ($τ\le 3$ for intersecting $4$-partite $4$-uniform families), a short projection lemma (four base-disjoint edges in an intersecting family force a two-element cover), and Kőnig's matching theorem.
