Computing the largest bond of a graph

A bond of a graph $G$ is an inclusion-wise minimal disconnecting set of $G$, i.e., bonds are cut-sets that determine cuts $[S,V\setminus S]$ of $G$ such that $G[S]$ and $G[V\setminus S]$ are both connected. Given $s,t\in V(G)$, an $st$-bond of $G$ is a bond whose removal disconnects $s$ and $t$. Contrasting with the large number of studies related to maximum cuts, there are very few results regarding the largest bond of general graphs. In this paper, we aim to reduce this gap on the complexity of computing the largest bond and the largest $st$-bond of a graph. Although cuts and bonds are similar, we remark that computing the largest bond of a graph tends to be harder than computing its maximum cut. We show that {\sc Largest Bond} remains NP-hard even for planar bipartite graphs, and it does not admit a constant-factor approximation algorithm, unless $P = NP$. We also show that {\sc Largest Bond} and {\sc Largest $st$-Bond} on graphs of clique-width $w$ cannot be solved in time $f(w)\times n^{o(w)}$ unless the Exponential Time Hypothesis fails, but they can be solved in time $f(w)\times n^{O(w)}$. In addition, we show that both problems are fixed-parameter tractable when parameterized by the size of the solution, but they do not admit polynomial kernels unless NP $\subseteq$ coNP/poly.

[1]  A. Odlyzko Asymptotic enumeration methods , 1996 .

[2]  Rajiv Gandhi,et al.  On maximum leaf trees and connections to connected maximum cut problems , 2018, Inf. Process. Lett..

[3]  Melissa Flynn,et al.  The Largest Bond in 3-Connected Graphs , 2017 .

[4]  Saket Saurabh,et al.  Parameterized Complexity of Multi-Node Hubs , 2019, IPEC.

[5]  Igor Rivin,et al.  On some extremal problems in graph theory , 1999 .

[6]  David P. Williamson,et al.  Improved approximation algorithms for maximum cut and satisfiability problems using semidefinite programming , 1995, JACM.

[7]  Christophe Picouleau Complexity of the Hamiltonian Cycle in Regular Graph Problem , 1994, Theor. Comput. Sci..

[8]  Jan van Leeuwen,et al.  On Interval Routing Schemes and Treewidth , 1995, WG.

[9]  David S. Johnson,et al.  The Planar Hamiltonian Circuit Problem is NP-Complete , 1976, SIAM J. Comput..

[10]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[11]  Ryan O'Donnell,et al.  Optimal Inapproximability Results for MAX-CUT and Other 2-Variable CSPs? , 2007, SIAM J. Comput..

[12]  Mohammad Taghi Hajiaghayi,et al.  Approximation Algorithms for Connected Maximum Cut and Related Problems , 2015, ESA.

[13]  Yong Chen,et al.  On the (co)girth of a connected matroid , 2007, Discret. Appl. Math..

[14]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[15]  Shankar M. Venkatesan,et al.  Approximation and Intractability Results for the Maximum Cut Problem and its Variants , 1991, IEEE Trans. Computers.

[16]  Veerle Fack,et al.  On the reduction of Yutsis graphs , 2007, Discret. Math..

[17]  Haidong Wu,et al.  Large Wk ‐ or K3,t ‐Minors in 3‐Connected Graphs , 2015, J. Graph Theory.

[18]  Petr A. Golovach,et al.  Almost Optimal Lower Bounds for Problems Parameterized by Clique-Width , 2014, SIAM J. Comput..

[19]  Richard M. Karp,et al.  Theoretical Improvements in Algorithmic Efficiency for Network Flow Problems , 1972, Combinatorial Optimization.

[20]  Harald Niederreiter,et al.  Probability and computing: randomized algorithms and probabilistic analysis , 2006, Math. Comput..

[21]  Guy Kindler,et al.  Optimal inapproximability results for MAX-CUT and other 2-variable CSPs? , 2004, 45th Annual IEEE Symposium on Foundations of Computer Science.

[22]  Meena Mahajan,et al.  Parametrizing Above Guaranteed Values: MaxSat and MaxCut , 1997, Electron. Colloquium Comput. Complex..

[23]  Xiangkun Shen,et al.  Approximating graph-constrained max-cut , 2018, Math. Program..

[24]  Bruno Courcelle,et al.  Linear Time Solvable Optimization Problems on Graphs of Bounded Clique Width , 1998, WG.

[25]  Brendan D. McKay,et al.  Graph structural properties of non-Yutsis graphs allowing fast recognition , 2009, Discret. Appl. Math..

[26]  Bruno Courcelle,et al.  Upper bounds to the clique width of graphs , 2000, Discret. Appl. Math..

[27]  Siam J. CoMPtrr,et al.  FINDING A MAXIMUM CUT OF A PLANAR GRAPH IN POLYNOMIAL TIME * , 2022 .

[28]  James D. Louck,et al.  The Racah-Wigner algebra in quantum theory , 1981 .

[29]  Fizikos ir matematikos institutas,et al.  Mathematical apparatus of the theory of angular momentum , 1962 .

[30]  Gordon F. Royle,et al.  Algebraic Graph Theory , 2001, Graduate texts in mathematics.

[31]  T. C. Hu,et al.  Multi-Terminal Network Flows , 1961 .

[32]  Klaus Jansen,et al.  On the Complexity of the Maximum Cut Problem , 1994, Nord. J. Comput..