Parameterized complexity of conflict-free graph coloring

Abstract

Given a graph G, a q-open neighborhood confict-free coloring or q-ONCF-coloring is a vertex coloring c: V (G) {1, 2,..., q} such that for each vertex ν V (G) there is a vertex in N(v) that is uniquely colored from the rest of the vertices in N(ν). When we replace N(ν) by the closed neighborhood N[v], then we call such a coloring a q-closed neighborhood confict-free coloring or simply q-CNCF-coloring. In this paper, we study the NP-hard decision questions of whether for a constant q an input graph has a q-ONCF-coloring or a q-CNCF-coloring. We will study these two problems in the parameterized setting. First of all, we study running time bounds on fixed-parameter tractable algorithms for these problems when parameterized by treewidth. We improve the existing upper bounds, and also provide lower bounds on the running time under the exponential time hypothesis and the strong exponential time hypothesis. Second, we study the kernelization complexity of both problems, using vertex cover as the parameter. We show that both (q 2)-ONCF-coloring and (q 3)-CNCF-coloring cannot have polynomial kernels when parameterized by the size of a vertex cover unless NP ⊆coNP. On the other hand, we obtain a polynomial kernel for 2-CNCF-coloring parameterized by vertex cover. We conclude the study with some combinatorial results. Denote X O N (G) and X C N (G) to be the minimum number of colors required to ONCF-color and CNCFcolor G, respectively. Upper bounds on X C N (G) with respect to structural parameters like minimum vertex cover size, minimum feedback vertex set size, and treewidth are known. To the best of our knowledge only an upper bound on X O N (G) with respect to minimum vertex cover size was known. We provide tight bounds for X O N (G) with respect to minimum vertex cover size. Also, we provide the frst upper bounds on X O N (G) with respect to minimum feedback vertex set size and treewidth.