双曲平面的骨牌问题不可判定性的新证明
离散数学
2022-07-06 v2 组合数学
摘要
本文是作者2008年发表的一篇先前论文所给出证明的修订版的新版本，该证明通过仅使用正多边形作为瓦片的基本形状证明了一个稍强的版本，从而证明了双曲平面的通用拼贴问题不可判定。该问题由Raphael Robinson在1971年的论文中提出，在其著名的简化证明中表明欧几里得平面的通用拼贴问题不可判定，而该问题最初由Robert Berger于1966年证明。目前的构造改进了近期arXiv论文中的构造，并且大幅减少了原型瓦片的数量。
引用
@article{arxiv.2205.07317,
title = {The domino problem of the hyperbolic plane is undecidable, new proof},
author = {Maurice Margenstern},
journal= {arXiv preprint arXiv:2205.07317},
year = {2022}
}
备注
55 pages, 38 figures