Robust Self-assembly of Graphs

Self-assembly is a process in which small building blocks interact autonomously to form larger structures. A recently studied model of self-assembly is the Accretive Graph Assembly Model whereby an edge-weighted graph is assembled one vertex at a time starting from a designated seed vertex. The weight of an edge specifies the magnitude of attraction (positive weight) or repulsion (negative weight) between adjacent vertices. It is feasible to add a vertex to the assembly if the total attraction minus repulsion of the already built neighbors exceeds a certain threshold, called the assembly temperature. This model naturally generalizes the extensively studied Tile Assembly Model. A natural question in graph self-assembly is to determine whether or not there exists a sequence of feasible vertex additions to realize the entire graph. However, even when it is feasible to realize the assembly, not much can be inferred about its likelihood of realization in practice due to the uncontrolled nature of the self-assembly process. Motivated by this, we introduce the robust self-assembly problem where the goal is to determine if every possible sequence of feasible vertex additions leads to the completion of the assembly. We show that the robust self-assembly problem is co-NP---complete even on planar graphs with two distinct edge weights. We then examine the tractability of the robust self-assembly problem on a natural subclass of planar graphs, namely grid graphs. We identify structural conditions that determine whether or not a grid graph can be robustly self-assembled, and give poly-time algorithms to determine this for several interesting cases of the problem. Finally, we also show that the problem of counting the number of feasible orderings that lead to the completion of an assembly is #P-complete.

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

[2]  Sanjeev Khanna,et al.  On the complexity of graph self-assembly in accretive systems , 2007, Natural Computing.

[3]  A. Turberfield,et al.  Engineering a 2D protein-DNA crystal. , 2005, Angewandte Chemie.

[4]  Ashish Goel,et al.  Error Free Self-assembly Using Error Prone Tiles , 2004, DNA.

[5]  Chengde Mao,et al.  Self-assembly of hexagonal DNA two-dimensional (2D) arrays. , 2005, Journal of the American Chemical Society.

[6]  David Lichtenstein,et al.  Planar Formulae and Their Uses , 1982, SIAM J. Comput..

[7]  Sudheer Sahu,et al.  Complexity of graph self-assembly in accretive systems and self-destructible systems , 2005, Theor. Comput. Sci..

[8]  J. Reif,et al.  Directed nucleation assembly of DNA tile complexes for barcode-patterned lattices , 2003, Proceedings of the National Academy of Sciences of the United States of America.

[9]  Leslie G. Valiant,et al.  The Complexity of Computing the Permanent , 1979, Theor. Comput. Sci..

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

[11]  P W Rothemund,et al.  Using lateral capillary forces to compute by self-assembly , 2000, Proc. Natl. Acad. Sci. USA.

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

[13]  J. Reif,et al.  Construction, analysis, ligation, and self-assembly of DNA triple crossover complexes , 2000 .

[14]  David I. Lewin,et al.  DNA computing , 2002, Comput. Sci. Eng..

[15]  Yuriy Brun,et al.  DNA triangles and self-assembled hexagonal tilings. , 2004, Journal of the American Chemical Society.

[16]  Walter Schnyder,et al.  Embedding planar graphs on the grid , 1990, SODA '90.

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

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

[19]  A. Alan Middleton.  Computational Complexity of Determining the Barriers to Interface Motion in Random Systems , 1999 .