<p>In 1975 Lovász conjectured that every <i>r</i>-partite, <i>r</i>-uniform hypergraph contains <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(r-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> vertices whose deletion reduces the matching number. If true, this statement would imply a well-known conjecture of Ryser from 1971, which states that every <i>r</i>-partite, <i>r</i>-uniform hypergraph has a vertex cover of size at most <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(r-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> times its matching number. When <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(r=2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>=</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, Ryser’s conjecture is simply Kőnig’s theorem, and the conjecture of Lovász is an immediate corollary. Ryser’s conjecture for <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(r=3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>=</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> was proven by Aharoni in 2001, and remains open for all <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(r\ge 4\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>≥</mo> <mn>4</mn> </mrow> </math></EquationSource> </InlineEquation>. Here we show that the conjecture of Lovász is false in the case <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(r=3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>r</mi> <mo>=</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation>. Our counterexample is the line hypergraph of the Biggs-Smith graph, a highly symmetric cubic graph on 102 vertices.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A Counterexample to a Conjecture of Lovász

  • Alexander Clow,
  • Penny Haxell,
  • Bojan Mohar

摘要

In 1975 Lovász conjectured that every r-partite, r-uniform hypergraph contains \(r-1\) r - 1 vertices whose deletion reduces the matching number. If true, this statement would imply a well-known conjecture of Ryser from 1971, which states that every r-partite, r-uniform hypergraph has a vertex cover of size at most \(r-1\) r - 1 times its matching number. When \(r=2\) r = 2 , Ryser’s conjecture is simply Kőnig’s theorem, and the conjecture of Lovász is an immediate corollary. Ryser’s conjecture for \(r=3\) r = 3 was proven by Aharoni in 2001, and remains open for all \(r\ge 4\) r 4 . Here we show that the conjecture of Lovász is false in the case \(r=3\) r = 3 . Our counterexample is the line hypergraph of the Biggs-Smith graph, a highly symmetric cubic graph on 102 vertices.