1. Ruling out FPT algorithms for Weighted Coloring on forests
- Author
-
Júlio Araújo, Julien Baste, Ignasi Sau, Universidade Federal do Ceará = Federal University of Ceará (UFC), Algorithmes, Graphes et Combinatoire (ALGCO), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM), ANR-16-CE40-0028,DE-MO-GRAPH,Décomposition de Modèles Graphiques(2016), Universidade Federal do Ceará ( UFC ), Algorithmes, Graphes et Combinatoire ( ALGCO ), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier ( LIRMM ), and Université de Montpellier ( UM ) -Centre National de la Recherche Scientifique ( CNRS ) -Université de Montpellier ( UM ) -Centre National de la Recherche Scientifique ( CNRS )
- Subjects
FOS: Computer and information sciences ,[ MATH ] Mathematics [math] ,Weight function ,General Computer Science ,Minimum weight ,Parameterized complexity ,0102 computer and information sciences ,02 engineering and technology ,G.2.2 ,Computational Complexity (cs.CC) ,01 natural sciences ,Theoretical Computer Science ,Combinatorics ,W[1]-hard ,020204 information systems ,Computer Science - Data Structures and Algorithms ,FOS: Mathematics ,0202 electrical engineering, electronic engineering, information engineering ,Discrete Mathematics and Combinatorics ,Partition (number theory) ,Mathematics - Combinatorics ,Data Structures and Algorithms (cs.DS) ,[MATH]Mathematics [math] ,ComputingMilieux_MISCELLANEOUS ,Mathematics ,parameterized complexity ,Connected component ,Discrete mathematics ,forests ,Exponential time hypothesis ,Applied Mathematics ,05 social sciences ,max-coloring ,050301 education ,F.2.2 ,Graph ,Computer Science - Computational Complexity ,05C15 ,010201 computation theory & mathematics ,Combinatorics (math.CO) ,weighted coloring ,0503 education ,Algorithm - Abstract
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$. For a positive integer $r$, they also defined $\sigma(G,w;r)$ as the minimum of $w(c)$ among all proper $r$-colorings $c$ of $G$. The complexity of determining $\sigma(G,w)$ when $G$ 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 $n^{o(\log n)}$ on $n$-vertex trees unless the Exponential Time Hypothesis (ETH) fails. The objective of this article is to provide hardness results for computing $\sigma(G,w)$ and $\sigma(G,w;r)$ when $G$ 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 $FPT \neq W[1]$. Building on the techniques of Ara\'ujo et al., we prove that when $G$ is a forest, computing $\sigma(G,w)$ is $W[1]$-hard parameterized by the size of a largest connected component of $G$, and that computing $\sigma(G,w;r)$ is $W[2]$-hard parameterized by $r$. Our results rule out the existence of $FPT$ algorithms for computing these invariants on trees or forests for many natural choices of the parameter., Comment: 14 pages, 4 figures
- Published
- 2018
- Full Text
- View/download PDF