4
$\begingroup$

Let $n>2$ be an integer. We consider $n$ pairs $(x_1,y_1),\dotsc,(x_n,y_n)$ in $\mathbb{N}^2$, and the polygon defined by drawing a straight line from $(x_k, y_k)$ to $(x_{k+1},y_{k+1})$ and from $(x_n,y_n)$ to $(x_1,x_1)$. (Lines may cross.)

We say that the points $(x_1, y_1), \ldots, (x_n,y_n)$ define a tileable polygon, if they are not collinear, and $\mathbb{R}^2$ can be tiled using translates of the polygon defined by these points. We let $T(n)\subseteq \mathbb{N}^{2n}$ be the set of all $n$-sets of pairs which define a tileable polygon.

Question. For $n>2$, is the set $T(n)\subseteq \mathbb{N}^{2n}$ computable?

Apologies. Despite putting in considerable effort to formulate the question, I am not sure it is written in an understandable manner.

$\endgroup$
5
  • 2
    $\begingroup$ Do you mean "translations and rotations" by "copies" ? Or do you allow axial symmetries too ? $\endgroup$ Commented Mar 26, 2018 at 9:51
  • 1
    $\begingroup$ Actually I think the set of "copies" should form a group under composition of applications. So precising what this group is could help. $\endgroup$ Commented Mar 26, 2018 at 9:54
  • $\begingroup$ Dear @Dominic: I proactively made some rather invasive changes. I think they improve the text. In particular, writing $T^{2n}$ seems unnecessary and even confusing to me, so I wrote $T(n)$. I also replaced 'copies' with 'translates'. $\endgroup$ Commented Mar 26, 2018 at 10:29
  • 5
    $\begingroup$ Whether or not a particular single polygon can tile the plane---a monohedral tiling---is not known to be undecidable. See "Is it decidable to determine if a given shape can tile the plane?." $\endgroup$ Commented Mar 26, 2018 at 10:35
  • 1
    $\begingroup$ Thanks for your comments and questions for clarifications -> I did mean translations and rotations, no axial symmetries. $\endgroup$ Commented Mar 26, 2018 at 13:27

0

You must log in to answer this question.