This paper proves that every planar graph without cycles of length 4, 7, or 9 is DP-3-colorable.
生成讲解博客的中文版本
生成AI智能校验的中文版本