[论文解读] Staged Self-Assembly and Polyomino Context-Free Grammars

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

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

一句话总结

本文建立了多格骨牌上下文无关文法（PCFG）与二维多格骨牌分阶段自组装系统（SAS）之间的紧密联系。证明了对于某些多格骨牌，最小PCFG的大小最多比最小SAS大 Ω(n/log³n)，而最小SAS的大小至多比最小PCFG大 O(log n)，从而在二维形状自组装中实现了双向近乎最优的大小分离界限。

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.

研究动机与目标

• 将上下文无关文法与自组装之间的联系从一维字符串扩展到二维多格骨牌。
• 定义并形式化多格骨牌上下文无关文法（PCFG），作为二维形状对确定性上下文无关文法的自然推广。
• 分析具有 n 个格子的多格骨牌的最小PCFG与最小分阶段自组装系统之间渐近的大小分离。
• 建立PCFG大小与SAS大小之比的紧致上下界，反之亦然，尤其针对正方形和矩形多格骨牌。
• 证明分阶段组装系统即使在固定接合类型和标签数量的约束下，也能对某些形状实现相对于PCFG的指数级压缩。

提出的方法

• 引入多格骨牌上下文无关文法（PCFG）作为使用标记方块上的产生式规则生成二维多格骨牌的形式化方法。
• 利用块计数器构造生成复杂多格骨牌，以最小化PCFG大小，利用递归结构和基于环的跨度器。
• 应用宏观方块变换将任意分阶段组装系统转换为仅使用 O(1) 种接合类型的系统，同时保持大小和标签结构不变。
• 利用若尔当曲线定理和颜色环的栈式遍历，证明最小跨度器中块跨度的唯一性，从而推导出PCFG大小的下界。
• 分析块计数器和矩形/正方形多格骨牌的最小PCFG大小，以推导出分离的渐近下界。
• 采用构造性方法证明任意PCFG均可被分阶段组装系统在 O(log n) 因子内模拟，从而建立紧致的上界。

实验结果

研究问题

• RQ1 对于具有 n 个格子的给定多格骨牌，最小多格骨牌上下文无关文法（PCFG）与最小分阶段自组装系统（SAS）之间的最大渐近大小分离是多少？
• RQ2 当限制在具有常数个标签或接合类型的正方形或矩形多格骨牌时，该分离比如何变化？
• RQ3 即使在接合类型和标签数量为常数的约束下，分阶段自组装系统是否仍能对二维形状实现相对于PCFG的指数级压缩？
• RQ4 对于任意多格骨牌，分阶段组装系统大小相对于最小PCFG的最紧可能上界是什么？
• RQ5 多格骨牌的结构特性，如块计数器和环结构，如何用于推导出PCFG大小的下界？

主要发现

• 对于给定多格骨牌，最小PCFG的大小最多比最小SAS大 Ω(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)。