Fix a planar graph and a list-assignment with for all . Let and be -colorings of . A recoloring sequence from to is a sequence of -colorings, beginning with and ending with , such that each successive pair in the sequence differs in the color on a single vertex of . We show that there exists a constant such that for all choices of and there exists a recoloring sequence from to that recolors each vertex at most times. In particular, has length at most . This confirms a conjecture of Dvořák and Feghali. For our proof, we introduce a new technique for quickly showing that many configurations are reducible. We believe this method may be of independent interest and will have application to other problems in this area.

生成讲解博客的中文版本

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