The program-size complexity of self-assembled squares (extended abstract)
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Combinatorial optimization problems in self-assembly
STOC '02 Proceedings of the thiry-fourth 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 compact proofreading for self-assembled patterns
DNA'05 Proceedings of the 11th international conference on DNA Computing
Complexity of self-assembled shapes
DNA'04 Proceedings of the 10th international conference on DNA computing
Computability and Complexity in Self-assembly
CiE '08 Proceedings of the 4th conference on Computability in Europe: Logic and Theory of Algorithms
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
Distributed agreement in tile self-assembly
Natural Computing: an international journal
Hi-index | 0.00 |
Winfree (1998) showed that discrete Sierpinski triangles can self-assemble in the Tile Assembly Model. A striking molecular realization of this self-assembly, using DNA tiles a few nanometers long and verifying the results by atomic-force microscopy, was achieved by Rothemund, Papadakis, and Winfree (2004).Precisely speaking, the above self-assemblies tile completely filled-in, two-dimensional regions of the plane, with labeled subsets of these tiles representing discrete Sierpinski triangles. This paper addresses the more challenging problem of the strict self-assemblyof discrete Sierpinski triangles, i.e., the task of tiling a discrete Sierpinski triangle and nothing else.We first prove that the standard discrete Sierpinski triangle cannotstrictly self-assemble in the Tile Assembly Model. We then define the fibered Sierpinski triangle, a discrete Sierpinski triangle with the same fractal dimension as the standard one but with thin fibers that can carry data, and show that the fibered Sierpinski triangle strictly self-assembles in the Tile Assembly Model. In contrast with the simple XOR algorithm of the earlier, non-strict self-assemblies, our strict self-assembly algorithm makes extensive, recursive use of Winfree counters, coupled with measured delay and corner-turning operations. We verify our strict self-assembly using the local determinism method of Soloveichik and Winfree (2005).