Subexponential-time Algorithms for Maximum Independent Set in $P_t$-free and Broom-free Graphs
Authors:
Gábor Bacsó,
Daniel Lokshtanov,
Dániel Marx,
Marcin Pilipczuk,
Zsolt Tuza,
Erik Jan van Leeuwen
Abstract:
In algorithmic graph theory, a classic open question is to determine the complexity of the Maximum Independent Set problem on $P_t$-free graphs, that is, on graphs not containing any induced path on $t$ vertices. So far, polynomial-time algorithms are known only for $t\le 5$ [Lokshtanov et al., SODA 2014, 570--581, 2014], and an algorithm for $t=6$ announced recently [Grzesik et al. Arxiv 1707.054…
▽ More
In algorithmic graph theory, a classic open question is to determine the complexity of the Maximum Independent Set problem on $P_t$-free graphs, that is, on graphs not containing any induced path on $t$ vertices. So far, polynomial-time algorithms are known only for $t\le 5$ [Lokshtanov et al., SODA 2014, 570--581, 2014], and an algorithm for $t=6$ announced recently [Grzesik et al. Arxiv 1707.05491, 2017]. Here we study the existence of subexponential-time algorithms for the problem: we show that for any $t\ge 1$, there is an algorithm for Maximum Independent Set on $P_t$-free graphs whose running time is subexponential in the number of vertices. Even for the weighted version MWIS, the problem is solvable in $2^{O(\sqrt {tn \log n})}$ time on $P_t$-free graphs. For approximation of MIS in broom-free graphs, a similar time bound is proved.
Scattered Set is the generalization of Maximum Independent Set where the vertices of the solution are required to be at distance at least $d$ from each other. We give a complete characterization of those graphs $H$ for which $d$-Scattered Set on $H$-free graphs can be solved in time subexponential in the size of the input (that is, in the number of vertices plus the number of edges): If every component of $H$ is a path, then $d$-Scattered Set on $H$-free graphs with $n$ vertices and $m$ edges can be solved in time $2^{O(|V(H)|\sqrt{n+m}\log (n+m))}$, even if $d$ is part of the input. Otherwise, assuming the Exponential-Time Hypothesis (ETH), there is no $2^{o(n+m)}$-time algorithm for $d$-Scattered Set for any fixed $d\ge 3$ on $H$-free graphs with $n$-vertices and $m$-edges.
△ Less
Submitted 11 April, 2018;
originally announced April 2018.
Minimum order of graphs with given coloring parameters
Authors:
Gabor Bacso,
Piotr Borowiecki,
Mihaly Hujter,
Zsolt Tuza
Abstract:
A complete $k$-coloring of a graph $G=(V,E)$ is an assignment $\varphi:V\to\{1,\ldots,k\}$ of colors to the vertices such that no two vertices of the same color are adjacent, and the union of any two color classes contains at least one edge. Three extensively investigated graph invariants related to complete colorings are the minimum and maximum number of colors in a complete coloring (chromatic n…
▽ More
A complete $k$-coloring of a graph $G=(V,E)$ is an assignment $\varphi:V\to\{1,\ldots,k\}$ of colors to the vertices such that no two vertices of the same color are adjacent, and the union of any two color classes contains at least one edge. Three extensively investigated graph invariants related to complete colorings are the minimum and maximum number of colors in a complete coloring (chromatic number $χ(G)$ and achromatic number $ψ(G)$, respectively), and the Grundy number $Γ(G)$ defined as the largest $k$ admitting a complete coloring $\varphi$ with exactly $k$ colors such that every vertex $v\in V$ of color $\varphi(v)$ has a neighbor of color $i$ for all $1\le i<\varphi(v)$. The inequality chain $χ(G)\le Γ(G)\le ψ(G)$ obviously holds for all graphs $G$. A triple $(f,g,h)$ of positive integers at least 2 is called realizable if there exists a connected graph $G$ with $χ(G)=f$, $Γ(G)=g$, and $ψ(G)=h$. Chartrand et al. (A note on graphs with prescribed complete coloring numbers, J. Combin. Math. Combin. Comput. LXXIII (2010) 77-84) found the list of realizable triples. In this paper we determine the minimum number of vertices in a connected graph with chromatic number $f$, Grundy number $g$, and achromatic number $h$, for all realizable triples $(f,g,h)$ of integers. Furthermore, for $f=g=3$ we describe the (two) extremal graphs for each $h \geq 6$. For $h=4$ and $5$, there are more extremal graphs, their description is contained as well.
△ Less
Submitted 29 December, 2013;
originally announced December 2013.