Fixed Parameter Algorithms for Counting and Deciding Bounded Restrictive List H-Colorings

摘要

We study the fixed parameter tractability of the parameterized counting and decision version of the restrictive if-coloring problem. These problems are denned by fixing the number of preimages of a subset C of the vertices in H through a partial weight assignment (H, C, K). We consider two families of partial weight assignment the simple and the plain. For simple partial weight assignments we show an FPT algorithm for counting list (H, C, K)-colorings and faster algorithms for its decision version. For the more general class of plain partial weight assignment we give an FPT algorithm for the (H, C, K)-coloring decision problem. We introduce the concept of compactor and an algorithmic technique, compactor enumeration, that allow us to design the FPT algorithms for the counting version (and probably export the technique to other problems).