面向 torus 图 5-可选色性特征化

通过计算机辅助枚举，我们列举了 torus 图5-可选性的最小阻塞，其具有以下附加属性：存在一套环形非收缩三角形系统环绕torus，其中相邻三角形之间的距离最多为4。此条件被满足于所有已知的阻塞，同时我们验证不存在具有此属性的额外阻塞。这支持了torus 图若且仅若为5-可选色的猜想。