Toward minimum size self-assembled counters

DNA self-assembly is a promising paradigm for nanotechnology. In this paper we study the problem of finding tile systems of minimum size that assemble a given shape in the Tile Assembly Model, defined by Rothemund and Winfree (Proceedings of the thirty-second annual ACM symposium on theory of computing, 2000). We present a tile system that assembles an $$N\times\lceil\log_2 N\rceil$$ rectangle in asymptotically optimal $$\Uptheta(N)$$ time. This tile system has only 7 tiles. Earlier constructions need at least 8 tiles (Chen et al. Proceedings of symposium on discrete algorithms, 2004). We managed to reduce the number of tiles without increasing the assembly time. The new tile system works at temperature 3. The new construction was found by the combination of exhaustive computerized search of the design space and manual adjustment of the search output.

[1]  Erik Winfree,et al.  The program-size complexity of self-assembled squares (extended abstract) , 2000, STOC '00.

[2]  Ashish Goel,et al.  Optimal Self-Assembly of Counters at Temperature Two , 2004 .

[3]  Ashish Goel,et al.  Toward Minimum Size Self-Assembled Counters , 2007, DNA.

[4]  N. Seeman,et al.  Design and self-assembly of two-dimensional DNA crystals , 1998, Nature.

[5]  Ashish Goel,et al.  Running time and program size for self-assembled squares , 2001, STOC '01.

[6]  Ming-Yang Kao,et al.  Reducing tile complexity for self-assembly through temperature programming , 2006, SODA '06.

[7]  Hao Wang,et al.  Proving theorems by pattern recognition I , 1960, Commun. ACM.

[8]  Matthew Cook,et al.  Self-Assembled Circuit Patterns , 2003, DNA.

[9]  Ashish Goel,et al.  Combinatorial optimization problems in self-assembly , 2002, STOC '02.

[10]  Leonard M. Adleman,et al.  Theory and experiments in algorithmic self-assembly , 2001 .

[11]  Ming-Yang Kao,et al.  Complexities for generalized models of self-assembly , 2004, SODA '04.

[12]  Paul W. K. Rothemund,et al.  Design of DNA origami , 2005, ICCAD-2005. IEEE/ACM International Conference on Computer-Aided Design, 2005..

[13]  M. Sahani,et al.  Algorithmic Self-Assembly of DNA , 2006 .

[14]  Erik Winfree,et al.  Universal computation via self-assembly of DNA: Some theory and experiments , 1996, DNA Based Computers.

[15]  E. Winfree,et al.  Algorithmic Self-Assembly of DNA Sierpinski Triangles , 2004, PLoS biology.

[16]  Hao Wang Proving theorems by pattern recognition — II , 1961 .

[17]  A. Turberfield,et al.  A DNA-fuelled molecular machine made of DNA , 2022 .

[18]  Erik Winfree,et al.  Proofreading Tile Sets: Error Correction for Algorithmic Self-Assembly , 2003, DNA.

[19]  Ashish Goel,et al.  Invadable self-assembly: combining robustness with efficiency , 2004, SODA '04.