For a positive integer and graphs and , we denote by the disjoint union of and , and by the union of mutually disjoint copies of . Also, we say is -free if is not isomorphic to an induced subgraph of . We use to denote the path on vertices. For a fixed positive integer , the List--Coloring Problem is to decide, given a graph and a list of colors assigned to each vertex of , whether admits a proper coloring with $\phi(v)\in L(v)vGk$-Coloring Problem is the List--Coloring Problem restricted to instances with for every vertex of . We prove that for every positive integer , the List--Coloring Problem restricted to -free graphs can be solved in polynomial time. Together with known results, this gives a complete dichotomy for the complexity of the List--Coloring Problem restricted to -free graphs: For every graph , assuming PNP, the List--Coloring Problem restricted to -free graphs can be solved in polynomial time if and only if is an induced subgraph of either or for some positive integer . As a hardness counterpart, we also show that the -Coloring Problem restricted to -free graphs is NP-complete for all and .

生成讲解博客的中文版本

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