ワンのタイルワンのタイルに関する決定問題についての説明 (説明不足)。 ワンのタイルというのは4辺それぞれに文字列(記号列)が書いてある四角いタイルで、 タイルを並べる時の規則があって、 接している2辺に書かれている文字列は同じでないといけない。 またタイルを回転させてはいけない (もともとのワンのタイルは各辺に記号が書かれたタイルではなく 各辺が色づけがされたタイルで接する辺は同色という規則みたいだけど、 説明の都合で変更した)。 そして、 与えられたタイルのリストに対して それらのタイルだけを使って全平面をタイル張りできるかを判定せよ、 というのが問題。 ただし与えられたタイルを全部使う必要は別に無い。 例えば、次のようなタイルを与えられたとする。 これらタイルの場合、 次のような並びを繰り返していくことで全平面をタイル張りできる。 ワンは初め全面敷き詰め可能かどうかは判定可能だと考えたみたいだけ
