The domino problem is decidable for robust tilesets

N Aubrun, M Blanc, O Bournez - arXiv preprint arXiv:2402.04438, 2024 - arxiv.org
One of the most fundamental problems in tiling theory is the domino problem: given a set of
tiles and tiling rules, decide if there exists a way to tile the plane using copies of tiles and …

The complexity of computing in continuous time: space complexity is precision

M Blanc, O Bournez - arXiv preprint arXiv:2403.02499, 2024 - arxiv.org
Models of computations over the integers are equivalent from a computability and
complexity theory point of view by the Church-Turing thesis. It is not possible to unify discrete …