English

Ruling out FPT algorithms for Weighted Coloring on forests

Data Structures and Algorithms 2017-03-30 v1 Computational Complexity Combinatorics

Abstract

Given a graph GG, a proper kk-coloring of GG is a partition c=(Si)i[1,k]c = (S_i)_{i\in [1,k]} of V(G)V(G) into kk stable sets S1,,SkS_1,\ldots, S_{k}. Given a weight function w:V(G)R+w: V(G) \to \mathbb{R}^+, the weight of a color SiS_i is defined as w(i)=maxvSiw(v)w(i) = \max_{v \in S_i} w(v) and the weight of a coloring cc as w(c)=i=1kw(i)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)(G,w), denoted by σ(G,w)\sigma(G,w), as the minimum weight of a proper coloring of GG. For a positive integer rr, they also defined σ(G,w;r)\sigma(G,w;r) as the minimum of w(c)w(c) among all proper rr-colorings cc of GG. The complexity of determining σ(G,w)\sigma(G,w) when GG is a tree was open for almost 20 years, until Ara\'ujo et al. [SIAM J. Discrete Math., 2014] recently proved that the problem cannot be solved in time no(logn)n^{o(\log n)} on nn-vertex trees unless the Exponential Time Hypothesis (ETH) fails. The objective of this article is to provide hardness results for computing σ(G,w)\sigma(G,w) and σ(G,w;r)\sigma(G,w;r) when GG is a tree or a forest, relying on complexity assumptions weaker than the ETH. Namely, we study the problem from the viewpoint of parameterized complexity, and we assume the weaker hypothesis FPTW[1]FPT \neq W[1]. Building on the techniques of Ara\'ujo et al., we prove that when GG is a forest, computing σ(G,w)\sigma(G,w) is W[1]W[1]-hard parameterized by the size of a largest connected component of GG, and that computing σ(G,w;r)\sigma(G,w;r) is W[2]W[2]-hard parameterized by rr. Our results rule out the existence of FPTFPT algorithms for computing these invariants on trees or forests for many natural choices of the parameter.

Keywords

Cite

@article{arxiv.1703.09726,
  title  = {Ruling out FPT algorithms for Weighted Coloring on forests},
  author = {Júlio Araújo and Julien Baste and Ignasi Sau},
  journal= {arXiv preprint arXiv:1703.09726},
  year   = {2017}
}

Comments

14 pages, 4 figures

R2 v1 2026-06-22T18:59:47.540Z