Search

A locating-dominating set $D$ of a graph $G$ is a dominating set of $G$ where each vertex not in $D$ has a unique neighborhood in $D$, and the Locating-Dominating Set problem asks if $G$ contains such a dominating set of bounded size. This problem is known to be $\mathsf{NP-hard}$ even on restricted graph classes, such as interval graphs, split graphs, and planar bipartite subcubic graphs. On the other hand, it is known to be solvable in polynomial time for some graph classes, such as trees and, more generally, graphs of bounded cliquewidth. While these results have numerous implications on the parameterized complexity of the problem, little is known in terms of kernelization under structural parameterizations. In this work, we begin filling this gap in the literature. Our first result shows that Locating-Dominating Set is $\mathsf{W}[1]-\mathsf{hard}$ when parameterized by the size of a minimum clique cover. We present an exponential kernel for the distance to cluster parameterization and show that, unless $\mathsf{NP} \subseteq \mathsf{coNP/poly}$, no polynomial kernel exists for Locating-Dominating Set when parameterized by vertex cover nor when parameterized by distance to clique. We then turn our attention to parameters not bounded by either of the previous two, and exhibit a linear kernel when parameterizing by the max leaf number; in this context, we leave the parameterization by feedback edge set as the primary open problem in our study., Comment: 25 pages, 18 figures. Submitted to LAGOS2021

We present the first results on the complexity of the reconfiguration of vertex separators under the three most popular rules: token addition/removal, token jumping, and token sliding. We show that, aside from some trivially negative instances, the first two rules are equivalent to each other and that, even if only on a subclass of bipartite graphs, TJ is not equivalent to the other two unless $\mathsf{NP} = \mathsf{PSPACE}$; we do this by showing a relationship between separators and independent sets in this subclass of bipartite graphs. In terms of polynomial time algorithms, we show that every class with a polynomially bounded number of minimal vertex separators admits an efficient algorithm under token jumping, then turn our attention to two classes that do not meet this condition: $\{3P_1, diamond\}$-free and series-parallel graphs. For the first, we describe a novel characterization, which we use to show that reconfiguring vertex separators under token jumping is always possible and that, under token sliding, it can be done in polynomial time; for series-parallel graphs, we also prove that reconfiguration is always possible under TJ and exhibit a polynomial time algorithm to construct the reconfiguration sequence., Comment: 21 pages, 8 figures

In the Selective Coloring problem, we are given an integer $k$, a graph $G$, and a partition of $V(G)$ into $p$ parts, and the goal is to decide whether or not we can pick exactly one vertex of each part and obtain a $k$-colorable induced subgraph of $G$. This generalization of Vertex Coloring has only recently begun to be studied by Demange et al. [Theoretical Computer Science, 2014], motivated by scheduling problems on distributed systems, with Guo et al. [TAMC, 2020] discussing the first results on the parameterized complexity of the problem. In this work, we study multiple structural parameterizations for Selective Coloring. We begin by revisiting the many hardness results of Demange et al. and show how they may be used to provide intractability proofs for widely used parameters such as pathwidth, distance to co-cluster, and max leaf number. Afterwards, we present fixed-parameter tractability algorithms when parameterizing by distance to cluster, or under the joint parameterizations treewidth and number of parts, and co-treewidth and number of parts. Our main contribution is a proof that, for every fixed $k \geq 1$, Selective Coloring does not admit a polynomial kernel when jointly parameterized by the vertex cover number and the number of parts, which implies that Multicolored Independent Set does not admit a polynomial kernel under the same parameterization., Comment: 14 pages, 2 figures. Submitted to LAGOS2021

The three-in-a-tree problem asks for an induced tree of the input graph containing three mandatory vertices. In 2006, Chudnovsky and Seymour [Combinatorica, 2010] presented the first polynomial time algorithm for this problem, which has become a critical subroutine in many algorithms for detecting induced subgraphs, such as beetles, pyramids, thetas, and even and odd-holes. In 2007, Derhy and Picouleau [Discrete Applied Mathematics, 2009] considered the natural generalization to $k$ mandatory vertices, proving that, when $k$ is part of the input, the problem is $\mathsf{NP}$-complete, and ask what is the complexity of four-in-a-tree. Motivated by this question and the relevance of the original problem, we study the parameterized complexity of $k$-in-a-tree. We begin by showing that the problem is $\mathsf{W[1]}$-hard when jointly parameterized by the size of the solution and minimum clique cover and, under the Exponential Time Hypothesis, does not admit an $n^{o(k)}$ time algorithm. Afterwards, we use Courcelle's Theorem to prove fixed-parameter tractability under cliquewidth, which prompts our investigation into which parameterizations admit single exponential algorithms; we show that such algorithms exist for the unrelated parameterizations treewidth, distance to cluster, and distance to co-cluster. In terms of kernelization, we present a linear kernel under feedback edge set, and show that no polynomial kernel exists under vertex cover nor distance to clique unless $\mathsf{NP} \subseteq \mathsf{coNP}/\mathsf{poly}$. Along with other remarks and previous work, our tractability and kernelization results cover many of the most commonly employed parameters in the graph parameter hierarchy., Comment: 25 pages, 8 figures

An $n$-vertex graph is equitably $k$-colorable if there is a proper coloring of its vertices such that each color is used either $\left\lfloor n/k \right\rfloor$ or $\left\lceil n/k \right\rceil$ times. While classic Vertex Coloring is fixed parameter tractable under well established parameters such as pathwidth and feedback vertex set, Equitable Coloring is $\mathsf{W}[1]$-$\mathsf{hard}$. We present an extensive study of structural parameterizations of Equitable Coloring, tackling both tractability and kernelization questions. We begin by showing that the problem is fixed parameter tractable when parameterized by distance to cluster or by distance to co-cluster -- improving on the $\mathsf{FPT}$ algorithm of Fiala et al. [Theoretical Computer Science, 2011] parameterized by vertex cover -- and also when parameterized by distance to disjoint paths of bounded length. To justify the latter result, we adapt a proof of Fellows et al. [Information and Computation, 2011] to show that Equitable Coloring is $\mathsf{W}[1]$-$\mathsf{hard}$ when simultaneously parameterized by distance to disjoint paths and number of colors. In terms of kernelization, on the positive side we present a linear kernel for the distance to clique parameter and a cubic kernel when parameterized by the maximum leaf number; on the other hand, we show that, unlike Vertex Coloring, Equitable Coloring does not admit a polynomial kernel when jointly parameterized by vertex cover and number of colors, unless $\mathsf{NP} \subseteq \mathsf{coNP}/\mathsf{poly}$. We also revisit the literature and derive other results on the parameterized complexity of the problem through minor reductions or other observations., 34 pages, 7 figures. Partial results were published in the proceedings of LATIN2020