K（K）晚上的T型我们的R（右）证据确凿的R（右）证据确凿的

卢卡斯·科勒 📧

2022年1月4日

摘要

这是文章的形式化骑士之旅重温通过卡尔和德柯廷斯在那里证明了骑士的存在任意路径n×m-板，带有最小值（n，m）≥5.如果n·m是平的，那么存在一个骑士电路。骑士之路是骑士在棋盘s.t.骑士走访棋盘的每一个方格就一次。寻找骑士的路径是哈密顿路径问题。骑士之路是骑士之路，骑士还可以从最后一个方块移动到路径的第一个方形，形成一个环路。在正式化过程中在原始证据中发现了两处错误。这些错误在这种形式化中得到了纠正。

许可证

许可协议

话题

课程骑士之旅

引用

× 
@文章{Knights_Tour-AFP，作者={卢卡斯·科勒}，title={骑士之旅重游}，journal={正式校对档案}，月={1月}，年份={2022}，注释={\url{https://isa-afp.org/entries/Knights_Tour.html},形式证明开发}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：