{"id":"arxiv:2403.13472","kind":"preprint","title":"A proof of Ollinger's conjecture: undecidability of tiling the plane with a set of $8$ polyominoes","authors":["Chao Yang","Zhujun Zhang"],"author_count":2,"year":2024,"published":"2024-03-20","venue":"Discrete Comput Geom (2024)","cited_by":null,"doi":"10.1007/s00454-024-00706-1","arxiv_id":"2403.13472","nct_id":null,"source_url":"https://arxiv.org/abs/2403.13472","archive_url":"https://space-kitty.com/papers/arxiv:2403.13472","updated":"2024-03-20","pmid":null,"pmcid":null,"openalex_id":null,"pdf_url":"https://arxiv.org/pdf/2403.13472","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_license":"CC0-1.0 (arXiv descriptive metadata)","license":null,"is_open_access":false,"retracted":false,"peer_reviewed":false,"categories":["math.CO","cs.CC","math.MG"],"details":null,"provenance":"arxiv","attribution":"Abstract: arXiv descriptive metadata (CC0). Thank you to arXiv for use of its open access interoperability. This service was not reviewed or approved by, nor does it necessarily express or reflect the policies or opinions of, arXiv.","topics":[],"cited_in_dossiers":[]}