Skip to main content

Questions tagged [tilings]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
5 votes
0 answers
201 views

Reference request: Undecidability of tiling problem of finite octant

I am seeking a reference/citation for the undecidability of the following (or a similar) tiling problem. While proving its undecidability seems to be an (under)graduate student exercise, I would like ...
Bartosz Bednarczyk's user avatar
0 votes
0 answers
34 views

Reduction from any succinct language to tiling

Given a set of colors $T = \{1, \ldots, k\}$, a set of horizontal or vertical rules $H, V \subseteq T \times T$ of ordered pairs, and a chosen color $b = 1$, the tiling language is defined as follows: ...
Eleonora's user avatar
0 votes
0 answers
47 views

For which k can we decide whether an input k-gon tiles?

Can we decide whether a given polygon can tile the whole plane? First, let me briefly summarize what is known about this problem. If we only allow translations, then the problem is always decidable in ...
domotorp's user avatar
  • 14.2k