加载中…
We extend the classical Domino problem to any tiling of rhombus-shaped tiles. For any subshift X of edge-to-edge rhombus tilings, such as the Penrose subshift, we prove that the associated X-Domino problem is -hard and therefore undecidable. It is -complete when the subshift X is given by a computable sequence of forbidden patterns.

生成讲解博客的中文版本

生成AI智能校验的中文版本