The program-size complexity of self-assembled squares (extended abstract)
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Molecular Assembly and Computation: From Theory to Experimental Demonstrations
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Algorithmic self-assembly of dna
Algorithmic self-assembly of dna
Theory and experiments in algorithmic self-assembly
Theory and experiments in algorithmic self-assembly
Complexity of Self-Assembled Shapes
SIAM Journal on Computing
Strict Self-assembly of Discrete Sierpinski Triangles
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Self-assembly of Decidable Sets
UC '08 Proceedings of the 7th international conference on Unconventional Computing
A Limit to the Power of Multiple Nucleation in Self-assembly
DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
Random Number Selection in Self-assembly
UC '09 Proceedings of the 8th International Conference on Unconventional Computation
Distributed agreement in tile self-assembly
Natural Computing: an international journal
Natural Computing: an international journal
Hi-index | 0.00 |
This paper explores the impact of geometry on computability and complexity in Winfree's model of nanoscale self-assembly. We work in the two-dimensional tile assembly model, i.e., in the discrete Euclidean plane 驴 ×驴. Our first main theorem says that there is a roughly quadratic function fsuch that a set A驴 驴+is computably enumerable if and only if the set XA= { (f(n), 0) | n驴 A} --- a simple representation of Aas a set of points on the x-axis --- self-assembles in Winfree's sense. In contrast, our second main theorem says that there are decidable sets D驴 驴 ×驴 that do notself-assemble in Winfree's sense.Our first main theorem is established by an explicit translation of an arbitrary Turing machine Mto a modular tile assembly system $\mathcal{T}_M$, together with a proof that $\mathcal{T}_M$ carries out concurrent simulations of Mon all positive integer inputs.