[論文レビュー] One Tile to Rule Them All: Simulating Any Turing Machine, Tile Assembly System, or Tiling System with a Single Puzzle Piece

Erik D. Demaine, Martin L. Demaine+5 more|arXiv (Cornell University)|Dec 19, 2012

Cellular Automata and Applications参考文献 22被引用数 19

ひとこと要約

本稿では、その幾何学的形状がどれほど複雑であっても、1つの回転可能なタイル型が、タイル自己集合（aTAM）およびタイリング系（ウォンタイリングや非周期的タイリングを含む）のいかなる有限なタイル集合をもシミュレートできることを示している。タイル型とそのグリューや配置を、1つのn角形タイルの幾何学的形状に符号化することにより、回転と並進のみを用いて、いかなるaTAM系やタイリング系をも普遍的にシミュレート可能であり、タイルの複雑さを最小限に抑えつつ、内在的普遍性を達成している。

ABSTRACT

In this paper we explore the power of tile self-assembly models that extend the well-studied abstract Tile Assembly Model (aTAM) by permitting tiles of shapes beyond unit squares. Our main result shows the surprising fact that any aTAM system, consisting of many different tile types, can be simulated by a single tile type of a general shape. As a consequence, we obtain a single universal tile type of a single (constant-size) shape that serves as a "universal tile machine": the single universal tile type can simulate any desired aTAM system when given a single seed assembly that encodes the desired aTAM system. We also show how to adapt this result to convert any of a variety of plane tiling systems (such as Wang tiles) into a "nearly" plane tiling system with a single tile (but with small gaps between the tiles). All of these results rely on the ability to both rotate and translate tiles; by contrast, we show that a single nonrotatable tile, of arbitrary shape, can produce assemblies which either grow infinitely or cannot grow at all, implying drastically limited computational power. On the positive side, we show how to simulate arbitrary cellular automata for a limited number of steps using a single nonrotatable tile and a linear-size seed assembly.

研究の動機と目的

• 抽象的タイル集合モデル（aTAM）において、タイル型の数に関係なく、いかなる有限なタイル集合に対しても1つのタイル型がシミュレート可能であることを示すこと。
• 幾何的補完性と回転を用いて、1つのタイル型のみで、ウォンタイリングや非周期的タイリングを含むいかなるタイリング系もシミュレート可能であることを示すこと。
• タイリングと自己集合の分野において、タイル型の数を1つに減らしながらも計算的および構造的性質を保持することで、内在的普遍性を確立すること。
• 非回転可能な1タイルの計算能力を調査し、回転可能なタイルと比較してその制限を示すこと。

提案手法

• 目的のaTAMまたはタイリング系に含まれるすべてのタイル型とそのグリューや方向性を、幾何学的に符号化した普遍的なn角形タイルを設計する。
• 原始的・双対的色ペアと、幾何学的タブ・カーブを用いて、グリューの一致ルールをシミュレートし、正しいタイルの結合と方向性を実現する。
• 各タイルの隣接ルールを、普遍タイルの固有の方向性にマッピングする、並進のみの幾何学的補完システムを構築する。
• 各辺がn角形のタイルのタイル方向に対応する回転不変符号化を適用し、普遍タイルがいかなるタイルの方向性も模倣可能であるようにする。
• 普遍タイルが、タイルセットとグリューを形状と幾何学に符号化することで、いかなるaTAM系もシミュレート可能であることを証明する。
• 結果として得られるタイリングはほとんど平面的であり、わずかなすきまがあるが、元のシステムの構造的および計算的挙動を保持している。

実験結果

リサーチクエスチョン

• RQ1 抽象的タイル集合モデル（aTAM）において、1つのタイル型が、いかなる有限なタイル集合をもシミュレート可能か？
• RQ2 回転と並進のみを用いて、1つのタイル型でいかなるタイリング系（非周期的タイリングやウォンタイリングを含む）もシミュレート可能か？
• RQ3 自己集合やタイリングにおいて、非回転可能な1タイルの計算的制限は何か？
• RQ4 1つのタイルが、可算無限個のタイリング系に対して内在的普遍性を達成可能か？
• RQ5 タイルの幾何的特徴をどのようにして、複雑なタイル相互作用ルールを符号化するために用いることができるか？

主な発見

• 1つの回転可能なn角形タイルは、元のシステムに含まれるタイル型の数に関係なく、いかなる有限なaTAM系もシミュレート可能である。
• 普遍タイルは、正方形またはヘクサゴナルグリッド上のいかなるタイリング系（非周期的タイリングを含む）も、グリューと方向性の幾何学的符号化によりシミュレート可能である。
• シミュレーション結果として得られるタイリングはほとんど平面的であり、わずかなすきまがあるが、元のシステムの挙動を保持しており、1つのタイル型のみを用いている。
• この構成により、内在的普遍性が達成された：1つの普遍タイルが、可算無限個のタイリング系をシミュレート可能である。
• 非回転可能な1つのタイルでは、無限に成長するアセンブリまたはまったく成長しないアセンブリしか生成できないため、計算的パワーが著しく制限されている。
• この方法により、1つの非回転可能なタイルと線形サイズのシードを用いて、有限ステップのセルオートマトンを普遍的にシミュレート可能である。