假设-检查器 swMATH编号： 34855 软件作者： 彼得·格雷戈（Petr Gregor）；诺沃顿，托马斯；什·克里科夫斯基（Rister） 描述： 假设检验器：P.Gregor，T.Novotn，R.Škrekovski为一篇文章的归纳假设检验器的源代码：“将完美匹配扩展到具有指定端点的Gray码”。二进制（循环）格雷码是对所有长度相同的二进制字符串进行的（循环）排序，使得任意两个连续字符串在一个比特中不同。这对应于超立方体中的哈密顿路径（循环）。Fink证明了n维超立方体Qn中的每一个完美匹配都可以推广到一个哈密顿循环，从而证实了Kreweras的一个猜想。在本文中，我们研究了这个问题的“路径版本”。也就是说，我们刻画了Qn中的完美匹配何时延伸到两个相反奇偶性的指定顶点之间的哈密顿路径。此外，我们还刻画了当Qn中有两个错误顶点的完美匹配扩展到哈密顿圈时。在这两种情况下，我们都表明，对于所有维度n≥5，唯一禁止的配置是所谓的半层，这是某些自然障碍。因此，这些结果用一条额外的边或两个有缺陷的顶点扩展了Kreweras的猜想。案件n=5的证据是计算机辅助的。 主页： https://www.combinatics.org/ojs/index.php/eljc/article/view/v25i2p56 源代码： https://github.com/novotnyt94/假设检查程序 依赖项： C类++ 关键词： 格雷码;超立方体;哈密顿路径;完美匹配 相关软件： github 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 将完美匹配扩展到具有指定端点的Gray码。 Zbl 1391.05145号彼得·格雷戈;诺沃顿，汤姆亚什;什·克里科夫斯基（Rister） 2018 5位作者引用 2 彼得·格雷戈 2 诺沃顿，汤姆亚什 1 托马斯·德沃亚克 1 杰·芬克 1 什·克里科夫斯基（Rister） 连载1篇 1 组合数学电子期刊 在2个字段中引用 2 组合数学（05-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文