使用固定数量 Wang 条带铺砌平面的不可判定性
组合数学
2026-01-07 v1 计算复杂性
度量几何
摘要
为了研究 Wang 瓷砖集合的铺砌问题的固定参数不可判定性,Jeandel 和 Rolin 证明了 44 个 Wang 条带集合的铺砌问题是不可判定的。在本文中,我们改进了他们的结果,证明了一组 29 个 Wang 条带是否能铺砌平面是不可判定的。作为推论,颜色缺陷为 25 的 Wang 瓷砖集合的铺砌问题也是不可判定的。
引用
@article{arxiv.2404.04504,
title = {Undecidability of tiling the plane with a fixed number of Wang bars},
author = {Chao Yang and Zhujun Zhang},
journal= {arXiv preprint arXiv:2404.04504},
year = {2026}
}