Dual Parameterization of Weighted Coloring

Given a graph $G$, a proper $k$-coloring of $G$ is a partition $c = (S_i)_{i\in [1,k]}$ of $V(G)$ into $k$ stable sets $S_1,\ldots, S_{k}$. Given a weight function $w: V(G) \to \mathbb{R}^+$, the weight of a color $S_i$ is defined as $w(i) = \max_{v \in S_i} w(v)$ and the weight of a coloring $c$ as $w(c) = \sum_{i=1}^{k}w(i)$. Guan and Zhu [Inf. Process. Lett., 1997] defined the weighted chromatic number of a pair $(G,w)$, denoted by $\sigma(G,w)$, as the minimum weight of a proper coloring of $G$. The problem of determining $\sigma(G,w)$ has received considerable attention during the last years, and has been proved to be notoriously hard: for instance, it is NP-hard on split graphs, unsolvable on $n$-vertex trees in time $n^{o(\log n)}$ unless the ETH fails, and W[1]-hard on forests parameterized by the size of a largest tree. In this article we provide some positive results for the problem, by considering its so-called dual parameterization: given a vertex-weighted graph $(G,w)$ and an integer $k$, the question is whether $\sigma(G,w) \leq \sum_{v \in V(G)} w(v) - k$. We prove that this problem is FPT by providing an algorithm running in time $9^k \cdot n^{O(1)}$, and it is easy to see that no algorithm in time $2^{o(k)} \cdot n^{O(1)}$ exists under the ETH. On the other hand, we present a kernel with at most $(2^{k-1}+1) (k-1)$ vertices, and we rule out the existence of polynomial kernels unless ${\sf NP} \subseteq {\sf coNP} / {\sf poly}$, even on split graphs with only two different weights. Finally, we identify some classes of graphs on which the problem admits a polynomial kernel, in particular interval graphs and subclasses of split graphs, and in the latter case we present lower bounds on the degrees of the polynomials.

[1]  Vangelis Th. Paschos,et al.  Dual parameterization and parameterized approximability of subset graph problems , 2017, RAIRO Oper. Res..

[2]  Frédéric Havet,et al.  On the Grundy and b-Chromatic Numbers of a Graph , 2013, Algorithmica.

[3]  Refael Hassin,et al.  Maximizing the Number of Unused Colors in the Vertex Coloring Problem , 1994, Inf. Process. Lett..

[4]  Vangelis Th. Paschos,et al.  Approximation Results for the Minimum Graph Coloring Problem , 1994, Inf. Process. Lett..

[5]  Telikepalli Kavitha,et al.  Max-Coloring Paths: Tight Bounds and Extensions , 2009, ISAAC.

[6]  Rong-chii Duh,et al.  Approximation of k-set cover by semi-local optimization , 1997, STOC '97.

[7]  Anders Yeo,et al.  Kernel bounds for disjoint cycles and disjoint paths , 2009, Theor. Comput. Sci..

[8]  Xi Wu,et al.  Weak compositions and their applications to polynomial lower bounds for kernelization , 2012, SODA.

[9]  Saket Saurabh,et al.  Partially Polynomial Kernels for Set Cover and Test Cover , 2016, SIAM J. Discret. Math..

[10]  Russell Impagliazzo,et al.  Which Problems Have Strongly Exponential Complexity? , 2001, J. Comput. Syst. Sci..

[11]  Eugene L. Lawler,et al.  A Note on the Complexity of the Chromatic Number Problem , 1976, Inf. Process. Lett..

[12]  Michael R. Fellows,et al.  Review of: Fundamentals of Parameterized Complexity by Rodney G. Downey and Michael R. Fellows , 2015, SIGA.

[13]  Fedor V. Fomin,et al.  Exact exponential algorithms , 2013, CACM.

[14]  Saket Saurabh,et al.  Kernelization Lower Bounds Through Colors and IDs , 2014, ACM Trans. Algorithms.

[15]  Xuding Zhu,et al.  A Coloring Problem for Weighted Graphs , 1997, Inf. Process. Lett..

[16]  Andreas Björklund,et al.  Set Partitioning via Inclusion-Exclusion , 2009, SIAM J. Comput..

[17]  Frank Harary,et al.  Graph Theory , 2016 .

[18]  D. R. Fulkerson,et al.  Incidence matrices and interval graphs , 1965 .

[19]  Michael R. Fellows,et al.  On problems without polynomial kernels , 2009, J. Comput. Syst. Sci..

[20]  Nicolas Nisse,et al.  Weighted Coloring in Trees , 2014, SIAM J. Discret. Math..

[21]  Júlio Araújo,et al.  Ruling out FPT algorithms for Weighted Coloring on forests , 2017, Electron. Notes Discret. Math..

[22]  P. Gilmore,et al.  A Characterization of Comparability Graphs and of Interval Graphs , 1964, Canadian Journal of Mathematics.

[23]  Bruno Escoffier,et al.  Saving Colors and Max Coloring: Some Fixed-Parameter Tractability Results , 2016, WG.

[24]  Rajiv Raman,et al.  Approximating interval coloring and max-coloring in chordal graphs , 2004, JEAL.

[25]  Stefan Kratsch,et al.  Kernelization Lower Bounds by Cross-Composition , 2012, SIAM J. Discret. Math..

[26]  Michael R. Fellows,et al.  Linear Kernels in Linear Time, or How to Save k Colors in O(n2) Steps , 2004, WG.

[27]  Chee-Keng Yap,et al.  Some Consequences of Non-Uniform Conditions on Uniform Classes , 1983, Theor. Comput. Sci..

[28]  Magnns M Hallddrsson Approximating K-set Cover and Complementary Graph Coloring , .

[29]  Vangelis Th. Paschos,et al.  Weighted coloring on planar, bipartite and split graphs: Complexity and approximation , 2009, Discret. Appl. Math..

[30]  Lance Fortnow,et al.  Infeasibility of instance compression and succinct PCPs for NP , 2007, J. Comput. Syst. Sci..

[31]  Dániel Marx,et al.  Lower bounds based on the Exponential Time Hypothesis , 2011, Bull. EATCS.

[32]  Russell Impagliazzo,et al.  On the Complexity of k-SAT , 2001, J. Comput. Syst. Sci..

[33]  Vangelis Th. Paschos,et al.  Weighted Node Coloring: When Stable Sets Are Expensive , 2002, WG.

[34]  Gregory Gutin,et al.  Kernels for below-upper-bound parameterizations of the hitting set and directed dominating set problems , 2010, Theor. Comput. Sci..

[35]  Vangelis Th. Paschos,et al.  Weighted Coloring: Further Complexity and Approximability Results , 2005, ICTCS.

[36]  Magnús M. Halldórsson,et al.  Approximating discrete collections via local improvements , 1995, SODA '95.