The maximum weight stable set problem in $(P_6,\mbox{bull})$-free graphs

Frédéric Maffray,Lucas Pastor

DOI: https://doi.org/10.48550/arXiv.1602.06817

2016-02-22

Abstract:We present a polynomial-time algorithm that finds a maximum weight stable set in a graph that does not contain as an induced subgraph an induced path on six vertices or a bull (the graph with vertices $a, b, c, d, e$ and edges $ab, bc, cd, be, ce$).

Combinatorics,Discrete Mathematics

What problem does this paper attempt to address?

Maximum Weight Stable Set in ($P_7$, bull)-free graphs and ($S_{1,2,3}$, bull)-free graphs

Frédéric Maffray,Lucas Pastor

DOI: https://doi.org/10.48550/arXiv.1611.09663

2017-05-22

Abstract:We give a polynomial time algorithm that finds the maximum weight stable set in a graph that does not contain an induced path on seven vertices or a bull (the graph with vertices $a$, $b$, $c$, $d$, $e$ and edges $ab$, $bc$, $cd$, $be$, $ce$). With the same arguments with also give a polynomial algorithm for any graph that does not contain $S_{1,2,3}$ or a bull.

Combinatorics,Discrete Mathematics
4-coloring ($P_6$, bull)-free graphs

Frédéric Maffray,Lucas Pastor

DOI: https://doi.org/10.48550/arXiv.1511.08911

2016-02-24

Abstract:We present a polynomial-time algorithm that determines whether a graph that contains no induced path on six vertices and no bull (the graph with vertices a, b, c, d, e and edges ab, bc, cd, be, ce) is 4-colorable. We also show that for any fixed k the k-coloring problem can be solved in polynomial time in the class of ($P_6$, bull, gem)-free graphs.

Combinatorics
The Path Set Packing Problem

Chenyang Xu,Guochuan Zhang

DOI: https://doi.org/10.1007/978-3-319-94776-1_26

2018-01-01

Abstract:In this paper, we study a variant of set packing, in which a set P of paths in a graph $G=(V,E)$ is given, the goal is to find a maximum number of edge-disjoint paths of P. We show that the problem is NP-hard even if each path in P contains at most three edges, while it is hard to approximate within $O(|E|^{1/2-\epsilon })$ for the general case unless $NP=ZPP$. In the positive aspect, a parameterized algorithm relying on the maximum degree and the tree-width of G is derived. For tree networks, we present a polynomial time optimal algorithm.
Maximum Weight Independent Set in Graphs with no Long Claws in Quasi-Polynomial Time

Peter Gartland,Daniel Lokshtanov,Tomáš Masařík,Marcin Pilipczuk,Michał Pilipczuk,Paweł Rzążewski

2024-11-21

Abstract:We show that the \textsc{Maximum Weight Independent Set} problem (\textsc{MWIS}) can be solved in quasi-polynomial time on $H$-free graphs (graphs excluding a fixed graph $H$ as an induced subgraph) for every $H$ whose every connected component is a path or a subdivided claw (i.e., a tree with at most three leaves). This completes the dichotomy of the complexity of \textsc{MWIS} in $\mathcal{F}$-free graphs for any finite set $\mathcal{F}$ of graphs into NP-hard cases and cases solvable in quasi-polynomial time, and corroborates the conjecture that the cases not known to be NP-hard are actually polynomial-time solvable. The key graph-theoretic ingredient in our result is as follows. Fix an integer $t \geq 1$. Let $S_{t,t,t}$ be the graph created from three paths on $t$ edges by identifying one endpoint of each path into a single vertex. We show that, given a graph $G$, one can in polynomial time find either an induced $S_{t,t,t}$ in $G$, or a balanced separator consisting of $\Oh(\log |V(G)|)$ vertex neighborhoods in $G$, or an extended strip decomposition of $G$ (a decomposition almost as useful for recursion for \textsc{MWIS} as a partition into connected components) with each particle of weight multiplicatively smaller than the weight of $G$. This is a strengthening of a result of Majewski et al.\ [ICALP~2022] which provided such an extended strip decomposition only after the deletion of $\Oh(\log |V(G)|)$ vertex neighborhoods. To reach the final result, we employ an involved branching strategy that relies on the structural lemma presented above.

Data Structures and Algorithms
Submodular functions and perfect graphs

Tara Abrishami,Maria Chudnovsky,Cemil Dibek,Kristina Vušković

2024-01-08

Abstract:We give a combinatorial polynomial-time algorithm to find a maximum weight independent set in perfect graphs of bounded degree that do not contain a prism or a hole of length four as an induced subgraph. An even pair in a graph is a pair of vertices all induced paths between which are even. An even set is a set of vertices every two of which are an even pair. We show that every perfect graph that does not contain a prism or a hole of length four as an induced subgraph has a balanced separator which is the union of a bounded number of even sets, where the bound depends only on the maximum degree of the graph. This allows us to solve the maximum weight independent set problem using the well-known submodular function minimization algorithm.

Combinatorics
Minimum Spanning Trees with Bounded Degrees of Vertices in a Specified Stable Set

Christoph Brause,Jochen Harant,Florian Hörsch,Samuel Mohr

2024-05-30

Abstract:Given a graph $G$ and sets $\{\alpha_v~|~v \in V(G)\}$ and $\{\beta_v~|~v \in V(G)\}$ of non-negative integers, it is known that the decision problem whether $G$ contains a spanning tree $T$ such that $\alpha_v \le d_T (v) \le \beta_v $ for all $v \in V(G)$ is $NP$-complete. In this article, we relax the problem by demanding that the degree restrictions apply to vertices $v\in U$ only, where $U$ is a stable set of $G$. In this case, the problem becomes tractable. A. Frank presented a result characterizing the positive instances of that relaxed problem. Using matroid intersection developed by J. Edmonds, we give a new and short proof of Frank's result and show that if $U$ is stable and the edges of $G$ are weighted by arbitrary real numbers, then even a minimum-cost tree $T$ with $\alpha_v \le d_T (v) \le \beta_v $ for all $v \in U$ can be found in polynomial time if such a tree exists.

Combinatorics,Discrete Mathematics
Shortest two disjoint paths in conservative graphs

Ildikó Schlotter

2024-01-09

Abstract:We consider the following problem that we call the Shortest Two Disjoint Paths problem: given an undirected graph $G=(V,E)$ with edge weights $w:E \rightarrow \mathbb{R}$, two terminals $s$ and $t$ in $G$, find two internally vertex-disjoint paths between $s$ and $t$ with minimum total weight. As shown recently by Schlotter and Sebő (2022), this problem becomes NP-hard if edges can have negative weights, even if the weight function is conservative, there are no cycles in $G$ with negative total weight. We propose a polynomial-time algorithm that solves the Shortest Two Disjoint Paths problem for conservative weights in the case when the negative-weight edges form a constant number of trees in $G$.

Data Structures and Algorithms
New Polynomial Cases of the Weighted Efficient Domination Problem

Andreas Brandstädt,Martin Milanic,Ragnar Nevries

DOI: https://doi.org/10.48550/arXiv.1304.6255

2013-04-23

Abstract:Let G be a finite undirected graph. A vertex dominates itself and all its neighbors in G. A vertex set D is an efficient dominating set (e.d. for short) of G if every vertex of G is dominated by exactly one vertex of D. The Efficient Domination (ED) problem, which asks for the existence of an e.d. in G, is known to be NP-complete even for very restricted graph classes. In particular, the ED problem remains NP-complete for 2P3-free graphs and thus for P7-free graphs. We show that the weighted version of the problem (abbreviated WED) is solvable in polynomial time on various subclasses of 2P3-free and P7-free graphs, including (P2+P4)-free graphs, P5-free graphs and other classes. Furthermore, we show that a minimum weight e.d. consisting only of vertices of degree at most 2 (if one exists) can be found in polynomial time. This contrasts with our NP-completeness result for the ED problem on planar bipartite graphs with maximum degree 3.

Discrete Mathematics
Critical ($P_5$,bull)-free graphs

Shenwei Huang,Jiawei Li,Wen Xia

DOI: https://doi.org/10.48550/arXiv.2211.04179

2022-11-08

Abstract:Given two graphs $H_1$ and $H_2$, a graph is $(H_1,H_2)$-free if it contains no induced subgraph isomorphic to $H_1$ or $H_2$. Let $P_t$ and $C_t$ be the path and the cycle on $t$ vertices, respectively. A bull is the graph obtained from a triangle with two disjoint pendant edges. In this paper, we show that there are finitely many 5-vertex-critical ($P_5$,bull)-free graphs.

Combinatorics
The weighted stable matching problem

Linda Farczadi,Natália Guričanová

DOI: https://doi.org/10.48550/arXiv.1703.09083

2017-03-27

Abstract:We study the stable matching problem in non-bipartite graphs with incomplete but strict preference lists, where the edges have weights and the goal is to compute a stable matching of minimum or maximum weight. This problem is known to be NP-hard in general. Our contribution is two fold: a polyhedral characterization and an approximation algorithm. Previously Chen et al. have shown that the stable matching polytope is integral if and only if the subgraph obtained after running phase one of Irving's algorithm is bipartite. We improve upon this result by showing that there are instances where this subgraph might not be bipartite but one can further eliminate some edges and arrive at a bipartite subgraph. Our elimination procedure ensures that the set of stable matchings remains the same, and thus the stable matching polytope of the final subgraph contains the incidence vectors of all stable matchings of our original graph. This allows us to characterize a larger class of instances for which the weighted stable matching problem is polynomial-time solvable. We also show that our edge elimination procedure is best possible, meaning that if the subgraph we arrive at is not bipartite, then there is no bipartite subgraph that has the same set of stable matchings as the original graph. We complement these results with a $2$-approximation algorithm for the minimum weight stable matching problem for instances where each agent has at most two possible partners in any stable matching. This is the first approximation result for any class of instances with general weights.

Computer Science and Game Theory,Data Structures and Algorithms
Perfectly matchable subgraph problem on a bipartite graph

Firdovsi Sharifov

DOI: https://doi.org/10.1051/ro/2010004

2010-01-01

Abstract:We consider the maximum weight perfectly matchable subgraph problem on a bipartite graph G=(UV,E) with respect to given nonnegative weights of its edges. We show that G has a perfect matching if and only if some vector indexed by the nodes in UV is a base of an extended polymatroid associated with a submodular function defined on the subsets of UV. The dual problem of the separation problem for the extended polymatroid is transformed to the special maximum flow problem on G. In this paper, we give a linear programming formulation for the maximum weight perfectly matchable subgraph problem and propose an O(n3) algorithm to solve it.
On 3-colourability of $(bull, H)$-free graphs

Nadzieja Hodur,Monika Pilśniak,Magdalena Prorok,Ingo Schiermeyer

2024-04-19

Abstract:The $3$-colourability problem is a well-known NP-complete problem and it remains NP-complete for $bull$-free graphs, where $bull$ is the graph consisting of $K_3$ with two pendant edges attached to two of its vertices. In this paper we study $3$-colourability of $(bull,H)$-free graphs for several graphs $H$. We show that these graphs are $3$-colourable or contain an induced odd wheel $W_{2p+1}$ for some $p\geq 2$ or a spindle graph $M_{3p+1}$ for some $p\geq 1$. Moreover, for all our results we can provide certifying algorithms that run in polynomial time.

Combinatorics
Faster minimum weight subgraph algorithms

Ojas D. Parekh,A. Berger,Michelangelo Grigni

Abstract:In this dissertation we consider combinatorial optimization problems. In particular, we concentrate on algorithms that find subgraphs of a given graph of minimum weight that have a certain specified structure. First, we consider the problem of finding a minimum weight 2-edge-connected spanning subgraph of a given 2-edge-connected graph. For this problem we provide a linear-time exact algorithm for weighted graphs of bounded treewidth, a linear-time PTAS for unweighted planar graphs, and a PTAS for weighted planar graphs. Furthermore, we design algorithms for the b-edge dominating set problem. We improve upon an existing 8/3-approximation for general weighted graphs, prove limitations of previously used methods, and give linear-time algorithms for this problem on trees.

Mathematics,Computer Science
Quasi-Polynomial Time Approximation Schemes for the Maximum Weight Independent Set Problem in [math]-Free Graphs

Maria Chudnovsky,Marcin Pilipczuk,Michał Pilipczuk,Stéphan Thomassé

DOI: https://doi.org/10.1137/20m1333778

2024-02-22

SIAM Journal on Computing

Abstract:SIAM Journal on Computing, Volume 53, Issue 1, Page 47-86, February 2024. In the Maximum Independent Set problem we are asked to find a set of pairwise nonadjacent vertices in a given graph with the maximum possible cardinality. In general graphs, this classical problem is known to be NP-hard and hard to approximate within a factor of [math] for any [math]. Due to this, investigating the complexity of Maximum Independent Set in various graph classes in hope of finding better tractability results is an active research direction. In [math]-free graphs, that is, graphs not containing a fixed graph [math] as an induced subgraph, the problem is known to remain NP-hard and APX-hard whenever [math] contains a cycle, a vertex of degree at least four, or two vertices of degree at least three in one connected component. For the remaining cases, where every component of [math] is a path or a subdivided claw, the complexity of Maximum Independent Set remains widely open, with only a handful of polynomial-time solvability results for small graphs [math] such as [math], [math], the claw, or the fork. We prove that for every such "possibly tractable" graph [math] there exists an algorithm that, given an [math]-free graph [math] and an accuracy parameter [math], finds an independent set in [math] of cardinality within a factor of [math] of the optimum in time exponential in a polynomial of [math] and [math]. Furthermore, an independent set of maximum size can be found in subexponential time [math]. That is, we show that for every graph [math] for which Maximum Independent Set is not known to be APX-hard and SUBEXP-hard in [math]-free graphs, the problem admits a quasi-polynomial time approximation scheme and a subexponential-time exact algorithm in this graph class. Our algorithms also work in the more general weighted setting, where the input graph is supplied with a weight function on vertices and we are maximizing the total weight of an independent set.

computer science, theory & methods,mathematics, applied
Hitting all maximum stable sets in $P_5$-free graphs

Sepehr Hajebi,Yanjia Li,Sophie Spirkl

DOI: https://doi.org/10.1016/j.jctb.2023.11.005

2024-01-17

Abstract:We prove that every $P_5$-free graph of bounded clique number contains a small hitting set of all its maximum stable sets. More generally, let us say a class $\mathcal{C}$ of graphs is $\eta$-bounded if there exists a function $h:\mathbb{N}\rightarrow \mathbb{N}$ such that $\eta(G)\leq h(\omega(G))$ for every graph $G\in \mathcal{C}$, where $\eta(G)$ denotes smallest cardinality of a hitting set of all maximum stable sets in $G$, and $\omega(G)$ is the clique number of $G$. Also, $\mathcal{C}$ is said to be polynomially $\eta$-bounded if in addition $h$ can be chosen to be a polynomial. We introduce $\eta$-boundedness inspired by a question of Alon and motivated by a number of meaningful similarities to $\chi$-boundedness. In particular, we propose an analogue of the Gyárfás-Sumner conjecture, that the class of all $H$-free graphs is $\eta$-bounded if (and only if) $H$ is a forest. Like $\chi$-boundedness, the case where $H$ is a star is easy to verify, and we prove two non-trivial extensions of this: $H$-free graphs are $\eta$-bounded if (1) $H$ has a vertex incident with all edges of $H$, or (2) $H$ can be obtained from a star by subdividing at most one edge, exactly once. Unlike $\chi$-boundedness, the case where $H$ is a path is surprisingly hard. Our main result mentioned at the beginning shows that $P_5$-free graphs are $\eta$-bounded. The proof is rather involved compared to the classical ``Gyárfás path'' argument which establishes, for all $t$, the $\chi$-boundedness of $P_t$-free graphs. It remains open whether $P_t$-free graphs are $\eta$-bounded for $t\geq 6$. It also remains open whether $P_5$-free graphs are polynomially $\eta$-bounded, which, if true, would imply the Erdős-Hajnal conjecture for $P_5$-free graphs. But we prove that $H$-free graphs are polynomially $\eta$-bounded if $H$ is a proper induced subgraph of $P_5$.

Combinatorics
Maximum edge colouring problem on graphs that exclude a fixed minor

Zdeněk Dvořák,Abhiruk Lahiri

2023-07-05

Abstract:The maximum edge colouring problem considers the maximum colour assignment to edges of a graph under the condition that every vertex has at most a fixed number of distinct coloured edges incident on it. If that fixed number is $q$ we call the colouring a maximum edge $q$-colouring. The problem models a non-overlapping frequency channel assignment question on wireless networks. The problem has also been studied from a purely combinatorial perspective in the graph theory literature. We study the question when the input graph is sparse. We show the problem remains $NP$-hard on $1$-apex graphs. We also show that there exists $PTAS$ for the problem on minor-free graphs. The $PTAS$ is based on a recently developed Baker game technique for proper minor-closed classes, thus avoiding the need to use any involved structural results. This further pushes the Baker game technique beyond the problems expressible in the first-order logic.

Discrete Mathematics,Data Structures and Algorithms,Combinatorics
Quasi-polynomial time approximation schemes for the Maximum Weight Independent Set Problem in H-free graphs

Maria Chudnovsky,Marcin Pilipczuk,Michał Pilipczuk,Stéphan Thomassé

2023-11-14

Abstract:In the Maximum Independent Set problem we are asked to find a set of pairwise nonadjacent vertices in a given graph with the maximum possible cardinality. In general graphs, this classical problem is known to be NP-hard and hard to approximate within a factor of $n^{1-\varepsilon}$ for any $\varepsilon > 0$. Due to this, investigating the complexity of Maximum Independent Set in various graph classes in hope of finding better tractability results is an active research direction. In $H$-free graphs, that is, graphs not containing a fixed graph $H$ as an induced subgraph, the problem is known to remain NP-hard and APX-hard whenever $H$ contains a cycle, a vertex of degree at least four, or two vertices of degree at least three in one connected component. For the remaining cases, where every component of $H$ is a path or a subdivided claw, the complexity of Maximum Independent Set remains widely open, with only a handful of polynomial-time solvability results for small graphs $H$ such as $P_5$, $P_6$, the claw, or the fork. We show that for every graph $H$ for which Maximum Independent Set is not known to be APX-hard and SUBEXP-hard in $H$-free graphs, the problem admits a quasi-polynomial time approximation scheme and a subexponential-time exact algorithm in this graph class. Our algorithm works also in the more general weighted setting, where the input graph is supplied with a weight function on vertices and we are maximizing the total weight of an independent set.

Data Structures and Algorithms,Discrete Mathematics
Borodin-Kostochka conjecture for a family of $P_6$-free graphs

Di Wu,Rong Wu

2024-08-21

Abstract:Borodin and Kostochka conjectured that every graph $G$ with $\Delta\ge9$ satisfies $\chi\le$ max $\{\omega, \Delta-1\}$. Gupta and Pradhan proved the Borodin-Kostochka conjecture for ($P_5$, $C_4$)-free graphs. In this note, we prove the Borodin-Kostochka conjecture for ($P_6$, apple, torch)-free graphs, that is, graphs with no induced $P_6$, no induced $C_5$ with a hanging edge, and no induced $C_5$ and $C_4$ sharing exactly two edges. This generalizes the result of Gupta and Pradhan from the perspective of allowing the existence of $P_5$.

Combinatorics
Maximum Bipartite vs. Triangle-Free Subgraph

Tamio-Vesa Nakajima,Stanislav Živný

2024-06-29

Abstract:Given a (multi)graph $G$ which contains a bipartite subgraph with $\rho$ edges, what is the largest triangle-free subgraph of $G$ that can be found efficiently? We present an SDP-based algorithm that finds one with at least $0.8823 \rho$ edges, thus improving on the subgraph with $0.878 \rho$ edges obtained by the classic Max-Cut algorithm of Goemans and Williamson. On the other hand, by a reduction from Hastad's 3-bit PCP we show that it is NP-hard to find a triangle-free subgraph with $(25 / 26 + \epsilon) \rho \approx (0.961 + \epsilon) \rho$ edges. As an application, we classify the Maximum Promise Constraint Satisfaction Problem MaxPCSP($G$,$H$) for all bipartite $G$: Given an input (multi)graph $X$ which admits a $G$-colouring satisfying $\rho$ edges, find an $H$-colouring of $X$ that satisfies $\rho$ edges. This problem is solvable in polynomial time, apart from trivial cases, if $H$ contains a triangle, and is NP-hard otherwise.

Data Structures and Algorithms,Computational Complexity,Discrete Mathematics

The maximum weight stable set problem in $(P_6,\mbox{bull})$-free graphs

Maximum Weight Stable Set in ($P_7$, bull)-free graphs and ($S_{1,2,3}$, bull)-free graphs

4-coloring ($P_6$, bull)-free graphs

The Path Set Packing Problem

Maximum Weight Independent Set in Graphs with no Long Claws in Quasi-Polynomial Time

Submodular functions and perfect graphs

Minimum Spanning Trees with Bounded Degrees of Vertices in a Specified Stable Set

Shortest two disjoint paths in conservative graphs

New Polynomial Cases of the Weighted Efficient Domination Problem

Critical ($P_5$,bull)-free graphs

The weighted stable matching problem

Perfectly matchable subgraph problem on a bipartite graph

On 3-colourability of $(bull, H)$-free graphs

Faster minimum weight subgraph algorithms

Quasi-Polynomial Time Approximation Schemes for the Maximum Weight Independent Set Problem in [math]-Free Graphs

Hitting all maximum stable sets in $P_5$-free graphs

Maximum edge colouring problem on graphs that exclude a fixed minor

Quasi-polynomial time approximation schemes for the Maximum Weight Independent Set Problem in H-free graphs

Borodin-Kostochka conjecture for a family of $P_6$-free graphs

Maximum Bipartite vs. Triangle-Free Subgraph