[論文レビュー] Staged Self-Assembly and Polyomino Context-Free Grammars

Andrew Winslow|arXiv (Cornell University)|Apr 25, 2013

DNA and Biological Computing参考文献 18被引用数 5

ひとこと要約

本稿は、2次元の多ポリオミノのための多ポリオミノ文脈自由文法（PCFG）と段階的自己集合成系（SAS）の間のきつい関係を確立する。特定の多ポリオミノに関して、最小のPCFGは最小のSASよりも最大でΩ(n/log³n)大きくなるが、最小のSASは最小のPCFGよりも最大でO(log n)大きくなることが示され、2次元形状集合成における両方向のほぼ最適な分離境界が得られた。

ABSTRACT

Previous work by Demaine et al. (2012) developed a strong connection between smallest context-free grammars and staged self-assembly systems for one-dimensional strings and assemblies. We extend this work to two-dimensional polyominoes and assemblies, comparing staged self-assembly systems to a natural generalization of context-free grammars we call polyomino context-free grammars (PCFGs). We achieve nearly optimal bounds on the largest ratios of the smallest PCFG and staged self-assembly system for a given polyomino with n cells. For the ratio of PCFGs over assembly systems, we show the smallest PCFG can be an Omega(n/(log(n))^3)-factor larger than the smallest staged assembly system, even when restricted to square polyominoes. For the ratio of assembly systems over PCFGs, we show that the smallest staged assembly system is never more than a O(log(n))-factor larger than the smallest PCFG and is sometimes an Omega(log(n)/loglog(n))-factor larger.

研究の動機と目的

• 文脈自由文法と自己集合成の関係を1次元の文字列から2次元の多ポリオミノへ拡張すること。
• 多ポリオミノ文脈自由文法（PCFG）を定義し、2次元形状における決定的文脈自由文法の自然な一般化として形式化すること。
• n個のセルを持つ多ポリオミノについて、最小のPCFGと最小の段階的自己集合成系の間の漸近的サイズ分離を分析すること。
• 特に正方形や長方形の多ポリオミノについて、PCFGサイズとSASサイズの比のタイトな上界と下界を確立すること。
• 定数個の接着タイプとラベルを用いても、段階的集合成系がPCFGに対して指数的圧縮を達成できることを示すこと。

提案手法

• ラベル付きタイルを用いた生成規則に基づく、2次元多ポリオミノを生成する形式的枠組みとして多ポリオミノ文脈自由文法（PCFG）を導入する。
• 再帰的構造とリングベースのスパンナを活用し、ブロックカウンタ構成を用いて最小のPCFGサイズで複雑な多ポリオミノを生成する。
• 任意の段階的集合成系を、O(1)の接着タイプのみを用いる系に変換するマクロタイル変換を適用し、サイズとラベル構造を保存する。
• ジョルダン曲線定理と色ループのスタックベース走査を用いて、最小スパンナにおけるブロックスパンの一意性を証明し、PCFGサイズの下界を導く。
• ブロックカウンタと長方形／正方形多ポリオミノの最小PCFGサイズを分析し、分離の漸近的下界を導出する。
• 構成的技法を用いて、任意のPCFGがO(log n)要因以内で段階的集合成系にシミュレート可能であることを示し、タイトな上界を確立する。

実験結果

リサーチクエスチョン

• RQ1 与えられた多ポリオミノについて、n個のセルを持つ最小の多ポリオミノ文脈自由文法（PCFG）と最小の段階的自己集合成系（SAS）のサイズの最大漸近的分離は何か？
• RQ2 定数個のラベルまたは接着タイプに制限した正方形または長方形多ポリオミノにおいて、分離比はどのように変化するか？
• RQ3 定数個の接着タイプとラベルの制約下でも、段階的自己集合成系が2次元形状に対してPCFGよりも指数的圧縮を達成できるか？
• RQ4 任意の多ポリオミノについて、最小のPCFGに対する段階的集合成系のサイズのタイトな上界は何か？
• RQ5 ブロックカウンターやリング構造などの多ポリオミノの構造的性質は、PCFGサイズの下界を導出するためにどのように寄与するか？

主な発見

• 最小のPCFGは、定数個のラベルに制限した正方形多ポリオミノに対しても、最小の段階的自己集合成系よりも最大でΩ(n/log³n)大きくなることがある。
• 定数ラベルを用いた長方形および正方形多ポリオミノについて、PCFGとSASの間の分離はΩ(n/log³n)であり、ほぼ最適な下界を示している。
• 最小の段階的自己集合成系は、最小のPCFGよりもO(log n)より大きくはならず、この要因はΩ(log n / log log n)に達する場合もあり、上界と下界がタイトであることを示している。
• 構成的シミュレーションにより、任意のPCFGが最大でO(log n)倍のサイズに拡大する段階的集合成系に変換可能であり、ほぼ最適な圧縮が達成されることを示している。
• マクロタイル変換により、接着タイプがO(1)である制約下でも結果が成り立つことが示され、サイズとラベル構造が保存される。
• bビットカウンタを用いたブロックカウンタ構成により、サイズΘ(2^b b²)の多ポリオミノが得られ、そのPCFGサイズはΩ(2^b)となる。b = Θ(log n)であるため、分離はΩ(n/log³n)となる。