[论文解读] On Ryser's conjecture: $t$-intersecting and degree-bounded hypergraphs, covering by heterogeneous sets

Zoltán Király, Lilla Tóthmérész|arXiv (Cornell University)|May 29, 2017

Limits and Structures in Graph Theory被引用 1

一句话总结

本文研究了关于 $r$-uniform $r$-partite 超图的 Ryser 猜想，重点关注 $t$-相交和度数有界的特殊情况。证明了最大度数为二的超图的猜想，并在 $r$-边染色的完全图中建立了用 $r-1$ 种不同颜色的单色连通分量覆盖顶点的紧致上界，推进了这一长期悬而未决猜想的部分进展。

ABSTRACT

A famous conjecture (usually called Ryser's conjecture) that appeared in the Ph.D thesis of his student, J.~R.~Henderson [15], states that for an $r$-uniform $r$-partite hypergraph $\mathcal{H}$, the inequality $ au(\mathcal{H})\le(r-1)\cdot u(\mathcal{H})$ always holds. This conjecture is widely open, except in the case of $r=2$, when it is equivalent to K\H onig's theorem [18], and in the case of $r=3$, which was proved by Aharoni in 2001 [3]. Here we study some special cases of Ryser's conjecture. First of all the most studied special case is when $\mathcal{H}$ is intersecting. Even for this special case, not too much is known: this conjecture is proved only for $r\le 5$ in [10,21]. For $r>5$ it is also widely open. Generalizing the conjecture for intersecting hypergraphs, we conjecture the following. If an $r$-uniform $r$-partite hypergraph $\mathcal{H}$ is $t$-intersecting (i.e., every two hyperedges meet in at least $t r/4$. Gyarfas [10] showed that Ryser's conjecture for intersecting hypergraphs is equivalent to saying that the vertices of an $r$-edge-colored complete graph can be covered by $r-1$ monochromatic components. Motivated by this formulation, we examine what fraction of the vertices can be covered by $r-1$ monochromatic components of \emph{different} colors in an $r$-edge-colored complete graph. We prove a sharp bound for this problem. Finally we prove Ryser's conjecture for the very special case when the maximum degree of the hypergraph is two.

研究动机与目标

• 将 Ryser 猜想推广至 $t$-相交的 $r$-uniform $r$-partite 超图，推广已知的相交超图情形。
• 研究在 $r$-边染色的完全图中，使用 $r-1$ 种不同颜色的单色连通分量覆盖顶点的可覆盖性。
• 证明最大度数为二的超图情形下 Ryser 猜想的成立。
• 在 $r$-边染色的完全图中，建立用 $r-1$ 种不同颜色的单色连通分量覆盖顶点的分数的紧致上界。

提出的方法

• 为 $t$-相交超图提出 Ryser 猜想的推广版本，提出当 $t \geq r/4$ 时，有 $\alpha(\mathcal{H}) \leq (r-1)\cdot \mu(\mathcal{H})$。
• 利用相交超图的 Ryser 猜想与 $r$-边染色完全图中单色连通分量覆盖问题之间的等价性。
• 使用极值图论技术分析可被 $r-1$ 种不同颜色的单色连通分量覆盖的顶点的最大分数。
• 应用结构和组合论证，证明最大度数为二的超图情形下的猜想，利用度数约束限制边的配置。
• 通过极值构造和双重计数，建立用 $r-1$ 种不同颜色的单色连通分量覆盖顶点分数的紧致上界。

实验结果

研究问题

• RQ1 在 $r$-边染色的完全图中，最多有多少比例的顶点可以被 $r-1$ 种不同颜色的单色连通分量覆盖？
• RQ2 Ryser 猜想是否对满足 $t \geq r/4$ 的 $r$-uniform $r$-partite 超图成立？
• RQ3 是否可以证明最大度数为二的超图情形下 Ryser 猜想？
• RQ4 单色连通分量覆盖表述是否与相交超图的 Ryser 猜想等价？
• RQ5 使用 $r-1$ 种不同颜色的单色连通分量覆盖顶点的最大集合大小的最紧可能界是什么？

主要发现

• 本文证明了最大度数为二的 $r$-uniform $r$-partite 超图的 Ryser 猜想，确立了该猜想成立的新特例。
• 在 $r$-边染色的完全图中，建立了用 $r-1$ 种不同颜色的单色连通分量覆盖顶点分数的紧致上界。
• 将猜想推广至满足 $t \geq r/4$ 的 $t$-相交超图，提出在该条件下 $\alpha(\mathcal{H}) \leq (r-1)\cdot \mu(\mathcal{H})$ 成立。
• 重新确认并利用了相交超图的 Ryser 猜想与单色连通分量覆盖问题之间的等价性，作为关键工具。
• 研究为单色连通分量在颜色多样性约束下的顶点可覆盖性提供了新的结构洞见。