<p>A cut in a graph <i>G</i> is called a <i>bond</i> if both parts of the cut induce connected subgraphs in <i>G</i>, and the <i>bond polytope</i> is the convex hull of all bonds. Computing the maximum weight bond is an NP-hard problem even for planar graphs. However, the problem is solvable in linear time on <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\((K_5 \setminus e)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>K</mi> <mn>5</mn> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mi>e</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-minor-free graphs, and in more general, on graphs of bounded treewidth, essentially due to clique-sum decomposition into simpler graphs. We show how to obtain the bond polytope of graphs that are 1- or 2-sum of graphs <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(G_1\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mn>1</mn> </msub> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\( G_2\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>G</mi> <mn>2</mn> </msub> </math></EquationSource> </InlineEquation> from the bond polytopes of <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(G_1,G_2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>G</mi> <mn>1</mn> </msub> <mo>,</mo> <msub> <mi>G</mi> <mn>2</mn> </msub> </mrow> </math></EquationSource> </InlineEquation>. Using this we show that the extension complexity of the bond polytope of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\((K_5 \setminus e)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>K</mi> <mn>5</mn> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mi>e</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-minor-free graphs is linear. Prior to this work, a linear size description of the bond polytope was known only for 3-connected planar <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\((K_5 \setminus e)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>K</mi> <mn>5</mn> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mi>e</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-minor-free graphs, essentially only for wheel graphs. We also describe an elementary linear time algorithm for the <span>Max-Bond </span>problem on <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\((K_5\setminus e)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <msub> <mi>K</mi> <mn>5</mn> </msub> <mo lspace="0.15em" rspace="0.15em" stretchy="false">\</mo> <mi>e</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>-minor-free graphs. Prior to this work, a linear time algorithm in this setting was known. However, the hidden constant in the big-Oh notation was large because the algorithm relies on the heavy machinery of linear time algorithms for graphs of bounded treewidth, used as a black box.</p>

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

Bond polytope under vertex- and edge-sums

  • Petr Kolman,
  • Hans Raj Tiwary

摘要

A cut in a graph G is called a bond if both parts of the cut induce connected subgraphs in G, and the bond polytope is the convex hull of all bonds. Computing the maximum weight bond is an NP-hard problem even for planar graphs. However, the problem is solvable in linear time on \((K_5 \setminus e)\) ( K 5 \ e ) -minor-free graphs, and in more general, on graphs of bounded treewidth, essentially due to clique-sum decomposition into simpler graphs. We show how to obtain the bond polytope of graphs that are 1- or 2-sum of graphs \(G_1\) G 1 and \( G_2\) G 2 from the bond polytopes of \(G_1,G_2\) G 1 , G 2 . Using this we show that the extension complexity of the bond polytope of \((K_5 \setminus e)\) ( K 5 \ e ) -minor-free graphs is linear. Prior to this work, a linear size description of the bond polytope was known only for 3-connected planar \((K_5 \setminus e)\) ( K 5 \ e ) -minor-free graphs, essentially only for wheel graphs. We also describe an elementary linear time algorithm for the Max-Bond problem on \((K_5\setminus e)\) ( K 5 \ e ) -minor-free graphs. Prior to this work, a linear time algorithm in this setting was known. However, the hidden constant in the big-Oh notation was large because the algorithm relies on the heavy machinery of linear time algorithms for graphs of bounded treewidth, used as a black box.