Abstract
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 f such that a set A⊆ℤ+ is computably enumerable if and only if the set X A ={(f(n),0)∣n∈A}—a simple representation of A as 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 not self-assemble in Winfree’s sense.
Our first main theorem is established by an explicit translation of an arbitrary Turing machine M to a modular tile assembly system \(\mathcal{T}_{M}\), together with a proof that \(\mathcal{T}_{M}\) carries out concurrent simulations of M on all positive integer inputs.
Similar content being viewed by others
References
Adleman, L.: Towards a mathematical theory of self-assembly. Tech. Report, University of Southern California (2000)
Bachrach, J., Beal, J.: Building spatial computers. Tech. Report, MIT CSAIL (2007)
Beal, J., Sussman, G.: Biologically-inspired robust spatial programming. Tech. Report, MIT (2005)
Cheng, Q., Goel, A., Moisset de Espanés, P.: Optimal self-assembly of counters at temperature two. In: Proceedings of the First Conference on Foundations of Nanoscience: Self-assembled Architectures and Devices (2004)
Hartmanis, J., Stearns, R.E.: On the computational complexity of algorithms. Trans. Am. Math. Soc. 117, 285–306 (1965)
Irani, S., Naor, M., Rubinfeld, R.: On the time and space complexity of computation using write-once memories, or Is pen really much worse than pencil? Theory Comput. Syst. 25, 141–159 (1992)
Lathrop, J.I., Lutz, J.H., Summers, S.M.: Strict self-assembly of discrete Sierpinski triangles. Theor. Comput. Sci. 410, 384–405 (2009)
Reif, J.H.: Molecular assembly and computation: from theory to experimental demonstrations. In: Proceedings of the Twenty-Ninth International Colloquium on Automata, Languages and Programming, pp. 1–21 (2002)
Rothemund, P.W.K.: Theory and experiments in algorithmic self-assembly. Ph.D. Thesis, University of Southern California, December 2001
Rothemund, P.W.K., Winfree, E.: The program-size complexity of self-assembled squares (extended abstract). In: STOC’00: Proceedings of the Thirty-Second Annual ACM Symposium on Theory of Computing, New York, NY, USA, pp. 459–468. ACM, New York (2000)
Seeman, N.C.: Nucleic-acid junctions and lattices. J. Theor. Biol. 99, 237–247 (1982)
Soloveichik, D., Winfree, E.: Complexity of self-assembled shapes. SIAM J. Comput. 36(6), 1544–1569 (2007)
Wang, H.: Proving theorems by pattern recognition—II. Bell Syst. Tech. J. XL(1), 1–41 (1961)
Wang, H.: Dominoes and the AEA case of the decision problem. In: Proceedings of the Symposium on Mathematical Theory of Automata, New York, 1962, pp. 23–55. Polytechnic Inst. of Brooklyn, Brooklyn (1963)
Winfree, E.: Algorithmic self-assembly of DNA. Ph.D. Thesis, California Institute of Technology, June 1998
Author information
Authors and Affiliations
Corresponding author
Additional information
The research of J.H. Lutz was supported in part by National Science Foundation Grants 0344187, 0652569 and 0728806 and by Spanish Government MEC Project TIN 2005-08832-C03-02.
The research of S.M. Summers was supported in part by NSF-IGERT Training Project in Computational Molecular Biology Grant number DGE-0504304.
Rights and permissions
About this article
Cite this article
Lathrop, J.I., Lutz, J.H., Patitz, M.J. et al. Computability and Complexity in Self-assembly. Theory Comput Syst 48, 617–647 (2011). https://doi.org/10.1007/s00224-010-9252-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-010-9252-0