[论文解读] New Geometric Algorithms for Fully Connected Staged Self-Assembly

Erik D. Demaine, Sándor P. Fekete+2 more|arXiv (Cornell University)|May 28, 2015

Modular Robots and Swarm Intelligence参考文献 13被引用 4

一句话总结

本文提出了一种新颖的几何方法，用于分阶段自组装，可在使用恒定数量的粘合剂和tiles的情况下，以多对数阶段实现完全连接的多格形（包括带孔的多格形）。通过利用形状的几何结构而非仅其连通图，该方法在温度τ=1和τ=2下，以恒定缩放因子在O(log²n)阶段内构建复杂形状。

ABSTRACT

We consider staged self-assembly systems, in which square-shaped tiles can be added to bins in several stages. Within these bins, the tiles may connect to each other, depending on the glue types of their edges. Previous work by Demaine et al. showed that a relatively small number of tile types suffices to produce arbitrary shapes in this model. However, these constructions were only based on a spanning tree of the geometric shape, so they did not produce full connectivity of the underlying grid graph in the case of shapes with holes; designing fully connected assemblies with a polylogarithmic number of stages was left as a major open problem. We resolve this challenge by presenting new systems for staged assembly that produce fully connected polyominoes in O(log^2 n) stages, for various scale factors and temperature τ = 2 as well as τ = 1. Our constructions work even for shapes with holes and uses only a constant number of glues and tiles. Moreover, the underlying approach is more geometric in nature, implying that it promised to be more feasible for shapes with compact geometric description.

研究动机与目标

• 解决在带孔的任意多格形上实现完全连接分阶段自组装的开放问题。
• 在保持粘合剂和tiles复杂度恒定的同时，将阶段复杂度降低至多对数级别。
• 开发一种更具几何直观性且适用于具有紧凑几何描述的形状的可行方法。
• 将先前基于生成树的构造方法拓展至更广范围，这些方法无法保证完全连接。

提出的方法

• 该方法将目标形状分解为两个部分：具有至少4个垂直厚度的无孔区域S₂，以及由连接各组件的桥接结构S₁组成。
• S₂通过基于中位数的分解策略构建，使用红色和蓝色粘合剂分别标记北部/西部边界和东部/南部边界，以确保正确连接。
• S₁通过递归地对边界组件进行中位数分割构建，利用切割点处的唯一粘合剂实现受控组装。
• 各组件之间的桥接结构通过类似条带组装的递归方法构建，粘合剂方向被设计为确保规范连接。
• 在S₁和S₂上以相反方向使用红色和蓝色粘合剂，以实现两部分之间的正确互连。
• 最终组装通过互补的红色和蓝色粘合剂结合S₁和S₂，确保仅发生规范连接。

实验结果

研究问题

• RQ1 是否能够使用多对数阶段复杂度，实现对任意多格形（包括带孔的多格形）的完全连接分阶段自组装？
• RQ2 在分阶段自组装中，是否可能在保持完全连接的同时维持恒定的粘合剂和tiles复杂度？
• RQ3 是否可以利用几何结构（超越连通图）来设计更高效且可行的自组装系统？
• RQ4 是否可能将阶段复杂度降低至O(log²n）以下，而不增加其他复杂度度量？

主要发现

• 所提出的方法仅使用O(log²n)阶段，即可实现对任意多格形（包括带孔的多格形）的完全连接。
• 该构造仅使用恒定数量的粘合剂（共20种）和tiles，缩放因子为6。
• 二叉树复杂度为O(k)，其中k为多格形的顶点数，因此对具有紧凑几何描述的形状效率较高。
• 该方法在τ=1和τ=2下均适用，展示了在不同温度模型下的鲁棒性。
• 该方法通过聚焦于几何结构而非仅连通性，实现了复杂形状的可行自组装。
• 该系统在保持恒定粘合剂和tiles复杂度的同时，实现了多对数阶段复杂度，从而解决了分阶段自组装领域的一个重大开放问题。