Abstract
In this paper, we introduce the following problem in the theory of algorithmic self-assembly: given an input shape as the seed of a tile-based self-assembly system, design a finite tile set that can, in some sense, uniquely identify whether or not the given input shape—drawn from a very general class of shapes—matches a particular target shape. We first study the complexity of correctly identifying squares. Then we investigate the complexity associated with the identification of a considerably more general class of non-square, hole-free shapes.
Similar content being viewed by others
References
Abel, Z., Benbernou, N., Damian, M., Demaine, E., Demaine, M., Flatland, R., Kominers, S., Schweller, R.: Shape replication through self-assembly and RNAse enzymes. In: Proceedings of the Twentyfirst Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2010), pp. 1045–1064 (2010)
Adleman, L.: Toward a mathematical theory of self-assembly (extended abstract). Tech. report 00-722, University of Southern California (2000)
Adleman, L., Cheng, Q., Goel, A., Huang, M.-D.: Running time and program size for self-assembled squares. In: Proceedings of the Thirty-Third Annual ACM Symposium on Theory of Computing (STOC 2001), New York, NY, USA, pp. 740–748. ACM, New York (2001)
Adleman, L., Cheng, Q., Goel, A., Huang, M.-D., Wasserman, H.: Linear self-assemblies: equilibria, entropy and convergence rates. In: Sixth International Conference on Difference Equations and Applications. Taylor & Francis, London (2001)
Andersen, E.S., Dong, M., Nielsen, M.M., Jahn, K., Subramani, R., Mamdouh, W., Golas, M.M., Sander, B., Stark, H., Oliveira, C.L.P., Pedersen, J.S., Birkedal, V., Besenbacher, F., Gothelf, K.V., Kjems, J.: Self-assembly of a nanoscale DNA box with a controllable lid. Nature 459(7243), 73–76 (2009)
Barish, R.D., Schulman, R., Rothemund, P.W., Winfree, E.: An information-bearing seed for nucleating algorithmic self-assembly. Proc. Natl. Acad. Sci. USA 106(15), 6054–6059 (2009)
Cheng, Q., Aggarwal, G., Goldwasser, M.H., Kao, M.-Y., Schweller, R.T., de Espanés, P.M.: Complexities for generalized models of self-assembly. SIAM J. Comput. 34, 1493–1515 (2005)
Cook, M., Fu, Y., Schweller, R.: Temperature 1 self-assembly: deterministic assembly in 3d and probabilistic assembly in 2d. In: Proceedings of the ACM-SIAM Symposium on Discrete Algorithms (SODA 2011), pp. 570–589 (2011)
Demaine, E.D., Demaine, M.L., Fekete, S.P., Ishaque, M., Rafalin, E., Schweller, R.T., Souvaine, D.L.: Staged self-assembly: nanomanufacture of arbitrary shapes with O(1) glues. Nat. Comput. 7(3), 347–370 (2008)
Doty, D., Kari, L., Masson, B.: Negative interactions in irreversible self-assembly. In: Proceedings of the Sixteenth International Meeting on DNA Computing and Molecular Programming (DNA 16). Lecture Notes in Computer Science, pp. 37–48. Springer, Berlin (2010)
Schweller, R.T., Demain, E.D., Patitz, M.J., Summers, S.M.: Self-assembly of arbitrary shapes using RNAse enzymes: meeting the Kolmogorov bound with small scale factor. Algorithmica (to appear). Preliminary version appeared in “DNA 2010” (2011)
Gu, H., Chao, J., Xiao, S.-J., Seeman, N.C.: A proximity-based programmable DNA nanoscale assembly line. Nature 465(7295), 202–205 (2010)
Hartgerink, J.D., Beniash, E., Stupp, S.I.: Self-assembly and mineralization of peptide-amphiphile nanofibers. Science 294(5547), 1684–1688 (2001)
Kalsin, A.M., Fialkowski, M., Paszewski, M., Smoukov, S.K., Bishop, K.J.M., Grzybowski, B.A.: Electrostatic self-assembly of binary nanoparticle crystals with a diamond-like lattice. Science 312(5772), 420–424 (2006)
Kao, M.-Y., Schweller, R.T.: Reducing tile complexity for self-assembly through temperature programming. In: Proceedings of the 17th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA 2006), Miami, Florida, Jan. 2006, pp. 571–580 (2007)
Lathrop, J.I., Lutz, J.H., Patitz, Ma.J., Summers, S.M.: Computability and complexity in self-assembly. Theory Comput. Syst. 48, 617–647 (2011)
Luhrs, C.: Polyomino-safe DNA self-assembly via block replacement. In: Goel, A., Simmel, F.C., Sosík, P. (eds.) Proceedings of the Fourteenth International Meeting on DNA Computing and Molecular Programming (DNA 14). Lecture Notes in Computer Science, vol. 5347, pp. 112–126. Springer, Berlin (2008)
Lund, K., Manzo, A.J., Dabby, N., Michelotti, N., Johnson-Buck, A., Nangreave, J., Taylor, S., Pei, R., Stojanovic, M.N., Walter, N.G., Winfree, E., Yan, H.: Molecular robots guided by prescriptive landscapes. Nature 465(7295), 206–210 (2010)
Majumder, U., LaBean, T.H., Reif, J.H.: Activatable tiles for compact error-resilient directional assembly. In: 13th International Meeting on DNA Computing (DNA 13), Memphis, Tennessee, June 4–8, 2007, (2007)
Reif, J.H., Sahu, S., Yin, P.: Rothemund, P.W.K.: Complexity of graph self-assembly in accretive systems and self-destructible systems. Theor. Comp. Sci. 412, 1592–1605 (2011)
Rothemund, P.W.K.: Folding DNA to create nanoscale shapes and patterns. Nature 440(7082), 297–302 (2006)
Rothemund, P.W.K., Winfree, E.: The program-size complexity of self-assembled squares (extended abstract). In: Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing (STOC 2000), New York, NY, USA, pp. 459–468. ACM, New York (2000)
Rothemund, P.W.K., Papadakis, N., Winfree, E.: Algorithmic self-assembly of DNA Sierpinski triangles. PLoS Biol. 2(12), 2041–2053 (2004)
Sahu, S., Yin, P., Reif, J.H.: A self assembly model of time-dependent glue strength. In: Proceedings of the Eleventh International Meeting on DNA Based Computers (DNA11). Lecture Notes in Computer Science, pp. 113–124. Springer, Berlin (2006)
Soloveichik, D., Winfree, E.: Complexity of self-assembled shapes. SIAM J. Comput. 36(6), 1544–1569 (2007)
Tang, Z., Zhang, Z., Wang, Y., Glotzer, S.C., Kotov, N.A.: Self-assembly of CdTe nanocrystals into free-floating sheets. Science 314(5797), 274–278 (2006)
Vitányi, P., Li, M.: An Introduction to Kolmogorov Complexity and Its Applications. Springer, Berlin (1997)
Winfree, E.: Algorithmic self-assembly of DNA. Ph.D. thesis, California Institute of Technology, June (1998)
Winfree, E.: Simulations of computing by self-assembly. Tech. report CaltechCSTR:1998.22, California Institute of Technology (1998)
Winfree, E.: Self-healing tile sets. In: Chen, J., Jonoska, N., Rozenberg, G. (eds.) Nanotechnology: Science and Computation. Natural Computing Series, pp. 55–78. Springer, Berlin (2006)
Winfree, E., Yang, X., Seeman, N.C.: Universal computation via self-assembly of DNA: some theory and experiments. DNA Based Computers II, volume 44 of DIMACS, pp. 191–213. Am. Math. Soc., Providence (1996)
Yan, H., Park, S.H., Finkelstein, G., Reif, J.H., LaBean, T.H.: DNA-templated self-assembly of protein arrays and highly conductive nanowires. Science 301(5641), 1882–1884 (2003)
Zeng, H., Li, J., Liu, J.P., Wang, Z.L., Sun, S.: Exchange-coupled nanocomposite magnets by nanoparticle self-assembly. Nature 420(6914), 395–398 (2002)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Patitz, M.J., Summers, S.M. Identifying Shapes Using Self-assembly. Algorithmica 64, 481–510 (2012). https://doi.org/10.1007/s00453-011-9549-7
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00453-011-9549-7