最小度至少为6的图的可3染色性

设 $G$ 为一个 $n$ 顶点图，设 $L:V(G)\rightarrow P(\{1,2,3\})$ 为 $G$ 顶点上的一个列表分配，其中每个列表大小为3且度至多为5的顶点至少有三个邻居的列表大小为2。我们可以在 $O(1.3196^{n_3+.5n_2})$ 时间内判定 $G$ 的 $L$-可选性，其中 $n_i$ 为 $G$ 中列表大小为 $i$（$i\in \{2,3\}$）的顶点数。作为一个推论，我们得出结论：任意最小度至少为6的图 $G$ 的可3染色性可在 $O(1.3196^{n-.5\Delta(G)})$ 时间内判定。