欧拉猜想计算机证明的一个新算法

文献（１）通过直接构造正交拉丁方对解答树并搜索树的所有结点这一算法，用计算机证明了不存在６阶正交拉丁方对。本文对上述算法做了改进，首先寻找所有６阶标准拉丁方，然后运用遍历解答树每个结点的方法逐一证明没有与之正交的拉丁方，从而实现欧拉猜想的机器证明，新算法使得机器运行时间大为缩短。