On Ryser's Conjecture for Linear Intersecting Multipartite Hypergraphs
Francetić, Herke, McKay, Wanless · math.CO · 2015-09-29 · 原文
Ryser conjectured that τ\le(r-1)ν for r-partite hypergraphs, where τ is the covering number and ν is the matching number. We prove this conjecture for r\le9 in the special case of linear intersecting hypergraphs, in other words where every pair of lines meets in exactly one vertex. Aharoni formulated a stronger version of Ryser's conjecture which specified that each r-partite hypergraph should have a cover of size (r-1)ν of a particular form. We provide a counterexample to Aharoni's conjecture with r=13 and ν=1. We also report a number of computational results. For r=7, we find that there is no linear intersecting hypergraph that achieves the equality τ=r-1 in Ryser's conjecture, although non-linear examples are known. We exhibit intersecting non-linear examples achieving equality for r\in\{9,13,17\}. Also, we find that r=8 is the smallest value of r for which there exists a linear intersecting r-partite hypergraph that achieves τ=r-1 and is not isomorphic to a subhypergraph of a projective plane.
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
Ryser conjectured that τ\le(r-1)ν for r-partite hypergraphs, where τ is the covering number and ν is the matching number.
We prove this conjecture for r\le9 in the special case of linear intersecting hypergraphs, in other words where every pair of lines meets in exactly one vertex.
2. 领域脉络
本文类目：math.CO，属于其所在研究脉络的最新进展。
3. 机制拆解
We also report a number of computational results.
4. 证据与数字
Aharoni formulated a stronger version of Ryser's conjecture which specified that each r-partite hypergraph should have a cover of size (r-1)ν of a particular form.
We provide a counterexample to Aharoni's conjecture with r=13 and ν=1.
For r=7, we find that there is no linear intersecting hypergraph that achieves the equality τ=r-1 in Ryser's conjecture, although non-linear examples are known.
5. 反例与边界
摘要未声明局限与反例——这是需要警惕的信号，精读时先问边界。
6. 跨领域连接与意外收获
思考本文机制能否迁移到你正在跟进的问题。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。