Skip to main content
2 of 3
edited tags
YCor
  • 63.9k
  • 5
  • 187
  • 286

Decidability of periodic tilings of the plane

I'm interested in tilings of the plane by squares, with labels on the edges. It's well known that (1) the question "can one tile the plane with the following finite set of tiles?" is undecidable, and (2) there are finite sets of tiles that tile the plane, but only aperiodically. Also, (1) implies (2).

Is the question "can one tile the plane periodically with the following finite set of tiles?" decidable?

grok
  • 2.5k
  • 17
  • 21