-
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.
-
Tropical Dominating Sets in Vertex-Coloured Graphs
Authors:
J. -A. Angles d'Auriac,
Cs. Bujtas,
A. El Maftouhi,
M. Karpinski,
Y. Manoussakis,
L. Montero,
N. Narayanan,
L. Rosaz,
J. Thapper,
Zs. Tuza
Abstract:
Given a vertex-coloured graph, a dominating set is said to be tropical if every colour of the graph appears at least once in the set. Here, we study minimum tropical dominating sets from structural and algorithmic points of view. First, we prove that the tropical dominating set problem is NP-complete even when restricted to a simple path. Then, we establish upper bounds related to various paramete…
▽ More
Given a vertex-coloured graph, a dominating set is said to be tropical if every colour of the graph appears at least once in the set. Here, we study minimum tropical dominating sets from structural and algorithmic points of view. First, we prove that the tropical dominating set problem is NP-complete even when restricted to a simple path. Then, we establish upper bounds related to various parameters of the graph such as minimum degree and number of edges. We also give upper bounds for random graphs. Last, we give approximability and inapproximability results for general and restricted classes of graphs, and establish a FPT algorithm for interval graphs.
△ Less
Submitted 18 January, 2016; v1 submitted 3 March, 2015;
originally announced March 2015.
-
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.
-
Speeding up Deciphering by Hypergraph Ordering
Authors:
Peter Horak,
Zsolt Tuza
Abstract:
The "Gluing Algorithm" of Semaev [Des.\ Codes Cryptogr.\ 49 (2008), 47--60] --- that finds all solutions of a sparse system of linear equations over the Galois field $GF(q)$ --- has average running time $O(mq^{\max \left\vert \cup_{1}^{k}X_{j}\right\vert -k}), $ where $m$ is the total number of equations, and $\cup_{1}^{k}X_{j}$ is the set of all unknowns actively occurring in the first $k$ equati…
▽ More
The "Gluing Algorithm" of Semaev [Des.\ Codes Cryptogr.\ 49 (2008), 47--60] --- that finds all solutions of a sparse system of linear equations over the Galois field $GF(q)$ --- has average running time $O(mq^{\max \left\vert \cup_{1}^{k}X_{j}\right\vert -k}), $ where $m$ is the total number of equations, and $\cup_{1}^{k}X_{j}$ is the set of all unknowns actively occurring in the first $k$ equations. Our goal here is to minimize the exponent of $q$ in the case where every equation contains at most three unknowns. %Applying hypergraph-theoretic methods we prove The main result states that if the total number $\left\vert \cup_{1}^{m}X_{j}\right\vert$ of unknowns is equal to $m$, then the best achievable exponent is between $c_1m$ and $c_2m$ for some positive constants $c_1$ and $c_2.$
△ Less
Submitted 20 September, 2013;
originally announced September 2013.
-
Bin Packing/Covering with Delivery: Some variations, theoretical results and efficient offline algorithms
Authors:
Gyorgy Dosa,
Zsolt Tuza
Abstract:
In the recent paper \cite{BDT10} we introduced a new problem that we call Bin Packing/Covering with Delivery, or BP/CD for short. Mainly we mean under this expression that we look for not only a good, but a "good and fast" packing or covering. In that paper we mainly dealt with only one possible online BP/CD model, and proposed a new method that we call the Evolution of Algorithms. In case of such…
▽ More
In the recent paper \cite{BDT10} we introduced a new problem that we call Bin Packing/Covering with Delivery, or BP/CD for short. Mainly we mean under this expression that we look for not only a good, but a "good and fast" packing or covering. In that paper we mainly dealt with only one possible online BP/CD model, and proposed a new method that we call the Evolution of Algorithms. In case of such methods a neighborhood structure is defined among algorithms, and using a metaheuristic (for example simulated annealing) in some sense the best algorithm is chosen to solve the problem. Now we turn to investigate the offline case. We define several ways to treat such a BP/CD problem, although we investigate only one of them here. For the analysis, a novel view on "offline optimum" is introduced, which appears to be relevant concerning all problems where a final solution is ordering-dependent. We prove that if the item sizes are not allowed to be arbitrarily close to zero, then an optimal offline solution can be found in polynomial time. On the other hand, for unrestricted problem instances, no polynomial-time algorithm can achieve an approximation ratio better than 6/7 if $P\ne NP$.
△ Less
Submitted 24 July, 2012;
originally announced July 2012.