Given a graph , a proper -coloring of is a partition $c = (S_i){i\in [1,k]}V(G)kS_1,\ldots, S{k}$. Given a weight function , the weight of a color is defined as and the weight of a coloring as . Guan and Zhu [Inf. Process. Lett., 1997] defined the weighted chromatic number of a pair , denoted by , as the minimum weight of a proper coloring of . For a positive integer , they also defined as the minimum of among all proper -colorings of . The complexity of determining when 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 on -vertex trees unless the Exponential Time Hypothesis (ETH) fails. The objective of this article is to provide hardness results for computing and when 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 . Building on the techniques of Ara'ujo et al., we prove that when is a forest, computing is -hard parameterized by the size of a largest connected component of , and that computing is -hard parameterized by . Our results rule out the existence of algorithms for computing these invariants on trees or forests for many natural choices of the parameter.

生成讲解博客的中文版本

生成AI智能校验的中文版本