Jan, 2023

无限方格的填色染色数为15

TL;DR本文研究了packing coloring在图论中的应用,提出了一种新的propositional encoding方法加速计算,最终证明了无限正方形网格的chromatic number为15。