<p><span>MaxCut</span> is a classical <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1306_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="23" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textsf{NP}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="sans-serif">NP</mi> </math></EquationSource> </InlineEquation>-complete problem and a crucial building block in many combinatorial algorithms. The famous <i>Edwards-Erdös bound</i> states that any connected graph on <i>n</i> vertices with <i>m</i> edges contains a cut of size at least <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1306_Article_IEq2.gif" Format="GIF" Height="22" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{m}{2}+\frac{n-1}{4}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mi>m</mi> <mn>2</mn> </mfrac> <mo>+</mo> <mfrac> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> <mn>4</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>. Crowston, Jones and Mnich [Algorithmica, 2015] showed that the <span>MaxCut</span> problem on simple connected graphs admits an FPT algorithm, where the parameter <i>k</i> is the difference between the desired cut size <i>c</i> and the lower bound given by the Edwards-Erdös bound. This was later improved by Etscheid and Mnich [Algorithmica, 2017] to run in parameterized linear time, i.e., <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1306_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="87" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(k)\cdot O(m)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> <mo>·</mo> <mi>O</mi> <mo stretchy="false">(</mo> <mi>m</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We improve upon this result in two ways: Firstly, we extend the algorithm to work also for <i>multigraphs</i> (alternatively, graphs with positive integer weights). Secondly, we change the parameter; instead of the difference to the Edwards-Erdös bound, we use the difference to the <i>Poljak-Turzík bound</i>. The Poljak-Turzík bound states that any weighted graph <i>G</i> has a cut of weight at least <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1306_Article_IEq4.gif" Format="GIF" Height="25" Rendition="HTML" Resolution="72" Type="Linedraw" Width="104" /> </InlineMediaObject> <EquationSource Format="TEX">\(\frac{w(G)}{2}+\frac{w_{MSF}(G)}{4}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mfrac> <mrow> <mi>w</mi> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mn>2</mn> </mfrac> <mo>+</mo> <mfrac> <mrow> <msub> <mi>w</mi> <mrow> <mi mathvariant="italic">MSF</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> <mn>4</mn> </mfrac> </mrow> </math></EquationSource> </InlineEquation>, where <i>w</i>(<i>G</i>) denotes the total weight of <i>G</i>, and <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1306_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(w_{MSF}(G)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>w</mi> <mrow> <mi mathvariant="italic">MSF</mi> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denotes the weight of its minimum spanning forest. In connected simple graphs the two bounds are equivalent, but for multigraphs the Poljak-Turzík bound can be larger and thus yield a smaller parameter <i>k</i>. Our algorithm also runs in parameterized linear time, i.e., <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="453_2025_1306_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="117" /> </InlineMediaObject> <EquationSource Format="TEX">\(f(k)\cdot O(m+n)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>f</mi> <mo stretchy="false">(</mo> <mi>k</mi> <mo stretchy="false">)</mo> <mo>·</mo> <mi>O</mi> <mo stretchy="false">(</mo> <mi>m</mi> <mo>+</mo> <mi>n</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Linear-Time MaxCut in Multigraphs Parameterized Above the Poljak-Turzík Bound

  • Jonas Lill,
  • Kalina Petrova,
  • Simon Weber

摘要

MaxCut is a classical \(\textsf{NP}\) NP -complete problem and a crucial building block in many combinatorial algorithms. The famous Edwards-Erdös bound states that any connected graph on n vertices with m edges contains a cut of size at least \(\frac{m}{2}+\frac{n-1}{4}\) m 2 + n - 1 4 . Crowston, Jones and Mnich [Algorithmica, 2015] showed that the MaxCut problem on simple connected graphs admits an FPT algorithm, where the parameter k is the difference between the desired cut size c and the lower bound given by the Edwards-Erdös bound. This was later improved by Etscheid and Mnich [Algorithmica, 2017] to run in parameterized linear time, i.e., \(f(k)\cdot O(m)\) f ( k ) · O ( m ) . We improve upon this result in two ways: Firstly, we extend the algorithm to work also for multigraphs (alternatively, graphs with positive integer weights). Secondly, we change the parameter; instead of the difference to the Edwards-Erdös bound, we use the difference to the Poljak-Turzík bound. The Poljak-Turzík bound states that any weighted graph G has a cut of weight at least \(\frac{w(G)}{2}+\frac{w_{MSF}(G)}{4}\) w ( G ) 2 + w MSF ( G ) 4 , where w(G) denotes the total weight of G, and \(w_{MSF}(G)\) w MSF ( G ) denotes the weight of its minimum spanning forest. In connected simple graphs the two bounds are equivalent, but for multigraphs the Poljak-Turzík bound can be larger and thus yield a smaller parameter k. Our algorithm also runs in parameterized linear time, i.e., \(f(k)\cdot O(m+n)\) f ( k ) · O ( m + n ) .