阿隆-塔尔西列表着色方法的高效实现和加强
摘要：使用多项式方法，Alon和Tarsi给出了证明一个图是可选择的（可以从预定大小的列表上着色）的方法。我们描述了一种有效的实现方式，使得测试约有70条边的图的可选择性成为可能。我们还展示了当Alon-Tarsi方法不能证明图是可选择的时候，图的多项式的其他系数给出了从中不能着色的列表分配的约束。这通常使我们能够从给定的列表分配中确认可着色性，或者通过测试只有几个列表分配来决定可选择性。实现可以在https://gitlab.mff.cuni.cz/dvorz9am/alon-tarsi-method找到。
作者：Zdenv{e}k Dvov{r}''ak
论文ID：2301.06571
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2023-01-18