中文

The finite tiling problem is undecidable in the hyperbolic plane

计算几何 2009-07-07 v1 离散数学

摘要

In this paper, we consider the finite tiling problem which was proved undecidable in the Euclidean plane by Jarkko Kari in 1994. Here, we prove that the same problem for the hyperbolic plane is also undecidable.

引用

@article{arxiv.cs/0703147,
  title  = {The finite tiling problem is undecidable in the hyperbolic plane},
  author = {Maurice Margenstern},
  journal= {arXiv preprint arXiv:cs/0703147},
  year   = {2009}
}