We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.DM

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Discrete Mathematics

Title: The domino problem of the hyperbolic plane is undecidable, new proof

Abstract: The present paper is a new version of the arXiv paper revisiting the proof given in a previous paper of the author published in 2008 proving that the general tiling problem of the hyperbolic plane is undecidable by proving a slightly stronger version using only a regular polygon as the basic shape of the tiles. The problem was raised by a paper of Raphael Robinson in 1971, in his famous simplified proof that the general tiling problem is undecidable for the Euclidean plane, initially proved by Robert Berger in 1966. The present construction improves that of the recent arXiv paper. It also strongly reduces the number of prototiles.
Comments: 55 pages, 38 figures
Subjects: Discrete Mathematics (cs.DM); Combinatorics (math.CO)
MSC classes: 68R05
ACM classes: F.2.2
Cite as: arXiv:2205.07317 [cs.DM]
  (or arXiv:2205.07317v2 [cs.DM] for this version)

Submission history

From: Maurice Margenstern [view email]
[v1] Sun, 15 May 2022 15:48:46 GMT (672kb)
[v2] Tue, 5 Jul 2022 14:36:24 GMT (629kb)

Link back to: arXiv, form interface, contact.