每个菱形子位移上的多米诺问题是不可判定的
摘要：将经典的多米诺问题扩展到任意菱形瓷砖的拼铺问题。对于任何边到边菱形瓷砖的子移位X，如彭罗斯子移位，我们证明相关的X-多米诺问题是Pi^0_1-困难的，因此是不可判定的。当子移位X由可计算的禁止模式序列给出时，它是Pi^0_1-完全的。
作者：Benjamin Hellouin de Menibus, Victor H. Lutfalla, Camille No^us
论文ID：2302.12086
分类：Discrete Mathematics
分类简称：cs.DM
提交时间：2023-08-03