[论文解读] Programming Biomolecules That Fold Greedily During Transcription

Cannon, Sarah, Erik D. Demaine+6 more|arXiv (Cornell University)|Jan 8, 2012

Modular Robots and Swarm Intelligence参考文献 20被引用 53

一句话总结

本文比较了带种子的抽象Tile自组装模型（aTAM）与双臂Tile自组装模型（2HAM），证明2HAM在效率和表达能力方面更具优势。研究表明，任何aTAM系统均可在2HAM中以仅常数因子增加的Tile数量进行模拟，而2HAM在某些形状上可实现指数级的Tile节省，并能组装出aTAM无法实现的无限结构。关键的是，在2HAM中验证唯一自组装是co-NP完全问题——而aTAM中该问题为多项式时间可解。

ABSTRACT

We study the difference between the standard seeded model of tile self-assembly, and the "seedless" two-handed model of tile self-assembly. Most of our results suggest that the two-handed model is more powerful. In particular, we show how to simulate any seeded system with a two-handed system that is essentially just a constant factor larger. We exhibit finite shapes with a busy-beaver separation in the number of distinct tiles required by seeded versus two-handed, and exhibit an infinite shape that can be constructed two-handed but not seeded. Finally, we show that verifying whether a given system uniquely assembles a desired supertile is co-NP-complete in the two-handed model, while it was known to be polynomially solvable in the seeded model.

研究动机与目标

• 比较带种子aTAM与无种子双臂2HAM自组装模型的理论能力。
• 确定2HAM在有限与无限形状的自组装中是否比aTAM更高效或更具表达力。
• 分析2HAM中唯一自组装验证的计算复杂度，并与aTAM中多项式时间可解的特性进行对比。
• 建立两种模型之间在Tile复杂度上的分离，包括指数级差异与类似Busy Beaver函数的节省。
• 研究是否存在仅能在某一模型中组装而在另一模型中无法组装的形状，尤其关注无限情况。

提出的方法

• 使用5×5缩放Tile集合与温度保持设计，在2HAM模型中构建aTAM系统的模拟。
• 设计专用Tile组件以在两种模型中模拟图灵机计算，采用基于路径的生长与阻断机制。
• 利用非确定性路径生长与粘合匹配编码计算步骤，阻断Tile表示停机配置。
• 通过从不可判定的停机问题进行约化，证明两种模型中有限存在性验证（FEV）的不可计算性。
• 修改Tile集合以在2HAM中允许自发成核，确保若完整计算未停机，则不完整模拟将导致无限自组装。
• 通过从已知co-NP完全问题的约化，证明2HAM中唯一自组装验证为co-NP完全，与aTAM中多项式时间可解形成对比。

实验结果

研究问题

• RQ1 任何温度τ ≥ 2的aTAM系统是否都能在2HAM中实现，且仅导致Tile数量的常数因子增加？
• RQ2 是否存在某些有限形状，使得2HAM相比aTAM在Tile复杂度上实现指数级节省？
• RQ3 2HAM能否组装出aTAM无法组装的无限形状？
• RQ4 是否存在一种形状可在aTAM中组装但无法在2HAM中组装，或反之，尤其在无限情况下？
• RQ5 2HAM中验证唯一自组装的计算复杂度为何？与aTAM相比有何差异？

主要发现

• 任何温度τ ≥ 2的aTAM系统均可使用5×5缩放Tile集合在2HAM中模拟，且仅导致Tile数量的常数因子增加。
• 对于温度τ = 1，特定形状在aTAM中需n + 5种Tile类型，而在2HAM中需2n + 2种Tile类型，表明Tile复杂度存在线性分离。
• 存在一种形状，可在2HAM中以O(n)种Tile类型组装，而任何aTAM系统组装该形状均需BB(n)种Tile类型，其中BB(n)为Busy Beaver函数。
• 一种无限形状（无限阶梯）可在2HAM中构建，但无法在aTAM中构建，表明存在根本性的表达能力差距。
• 一种无限形状（带有无限尾部的团块）可在aTAM中构建，但无法在2HAM中构建，表明两种模型在组装特定无限结构方面能力不同。
• 验证2HAM系统是否唯一组装给定超Tile的问题为co-NP完全，而同一问题在aTAM中为多项式时间可解。