# A proof of Ollinger's conjecture: undecidability of tiling the plane with a set of $8$ polyominoes

Preprint · Chao Yang, Zhujun Zhang

- Archive id: arxiv:2403.13472
- Published: 2024-03-20
- Venue: Discrete Comput Geom (2024)
- DOI: https://doi.org/10.1007/s00454-024-00706-1
- arXiv: https://arxiv.org/abs/2403.13472
- Source URL: https://arxiv.org/abs/2403.13472
- PDF: https://arxiv.org/pdf/2403.13472
- Provenance: arxiv

## Abstract

We give a proof of Ollinger's conjecture that the problem of tiling the plane with translated copies of a set of $8$ polyominoes is undecidable. The techniques employed in our proof include a different orientation for simulating the Wang tiles in polyomino and a new method for encoding the colors of Wang tiles.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._

---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base Sepolia (testnet)). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.