Skip to main content

2015 | OriginalPaper | Buchkapitel

Optimal Program-Size Complexity for Self-Assembly at Temperature 1 in 3D

verfasst von : David Furcy, Samuel Micka, Scott M. Summers

Erschienen in: DNA Computing and Molecular Programming

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Working in a three-dimensional variant of Winfree’s abstract Tile Assembly Model, we show that, for all \(N \in \mathbb {N}\), there is a tile set that uniquely self-assembles into an \(N \times N\) square shape at temperature 1 with optimal program-size complexity of \(O(\log N / \log \log N)\) (the program-size complexity, also known as tile complexity, of a shape is the minimum number of unique tile types required to uniquely self-assemble it). Moreover, our construction is “just barely” 3D in the sense that it works even when the placement of tiles is restricted to the \(z = 0\) and \(z = 1\) planes. This result affirmatively answers an open question from Cook, Fu, Schweller (SODA 2011). To achieve this result, we develop a general 3D temperature 1 optimal encoding construction, reminiscent of the 2D temperature 2 optimal encoding construction of Soloveichik and Winfree (SICOMP 2007), and perhaps of independent interest.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Technically, Rothemund and Winfree established the 2D self-assembly case, but their proof easily generalizes to 3D self-assembly.
 
2
One subtle difference between our 3D definition of K and the original 2D definition of the tile complexity of an \(N \times N\) square, given by Rothemund and Winfree in [7], is that they assume a fully-connected final structure, whereas we do not.
 
Literatur
1.
Zurück zum Zitat Adleman, L., Cheng, Q., Goel, A., Huang, M.D.: Running time and program size for self-assembled squares. In: STOC, Huang, pp. 740–748 (2001) Adleman, L., Cheng, Q., Goel, A., Huang, M.D.: Running time and program size for self-assembled squares. In: STOC, Huang, pp. 740–748 (2001)
2.
Zurück zum Zitat Cook, M., Fu, Y., Schweller, R.: Temperature 1 self-assembly: deterministic assembly in 3D and probabilistic assembly in 2D. In: SODA 2011: Proceedings of the 22nd Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM (2011) Cook, M., Fu, Y., Schweller, R.: Temperature 1 self-assembly: deterministic assembly in 3D and probabilistic assembly in 2D. In: SODA 2011: Proceedings of the 22nd Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM (2011)
3.
Zurück zum Zitat Doty, D., Patitz, M.J., Summers, S.M.: Limitations of self-assembly at temperature 1. Theor. Comput. Sci. 412, 145–158 (2011)MathSciNetCrossRef Doty, D., Patitz, M.J., Summers, S.M.: Limitations of self-assembly at temperature 1. Theor. Comput. Sci. 412, 145–158 (2011)MathSciNetCrossRef
4.
Zurück zum Zitat Li, M., Vitányi, P.: An Introduction to Kolmogorov Complexity and its Applications, 3rd edn. Springer, New York (2008)CrossRef Li, M., Vitányi, P.: An Introduction to Kolmogorov Complexity and its Applications, 3rd edn. Springer, New York (2008)CrossRef
5.
Zurück zum Zitat Manuch, J., Stacho, L., Stoll, C.: Two lower bounds for self-assemblies at temperature 1. J. Comput. Biol. 17(6), 841–852 (2010)MathSciNetCrossRef Manuch, J., Stacho, L., Stoll, C.: Two lower bounds for self-assemblies at temperature 1. J. Comput. Biol. 17(6), 841–852 (2010)MathSciNetCrossRef
6.
Zurück zum Zitat Presburger, Mojżesz: Über die vollständigkeit eines gewissen systems der arithmetik ganzer zahlen, welchem die addition als einzige operation hervortritt. In: Compte-Rendus du Premier Congrès des Mathématiciens des Pays Slaves, Warsaw, pp. 92–101 (1930) Presburger, Mojżesz: Über die vollständigkeit eines gewissen systems der arithmetik ganzer zahlen, welchem die addition als einzige operation hervortritt. In: Compte-Rendus du Premier Congrès des Mathématiciens des Pays Slaves, Warsaw, pp. 92–101 (1930)
7.
Zurück zum Zitat Rothemund, P. W., Winfree, E.: The program-size complexity of self-assembled squares (extended abstract). In: STOC 2000: Proceedings of the Thirty-second Annual ACM Symposium on Theory of Computing, pp. 459–468 (2000) Rothemund, P. W., Winfree, E.: The program-size complexity of self-assembled squares (extended abstract). In: STOC 2000: Proceedings of the Thirty-second Annual ACM Symposium on Theory of Computing, pp. 459–468 (2000)
8.
9.
Zurück zum Zitat Wang, H.: Proving theorems by pattern recognition - II. Bell Syst. Tech. J. XL 40(1), 1–41 (1961)CrossRef Wang, H.: Proving theorems by pattern recognition - II. Bell Syst. Tech. J. XL 40(1), 1–41 (1961)CrossRef
10.
Zurück zum Zitat Winfree, E.: Algorithmic self-assembly of DNA. Ph.D. thesis, California Institute of Technology, June 1998 Winfree, E.: Algorithmic self-assembly of DNA. Ph.D. thesis, California Institute of Technology, June 1998
Metadaten
Titel
Optimal Program-Size Complexity for Self-Assembly at Temperature 1 in 3D
verfasst von
David Furcy
Samuel Micka
Scott M. Summers
Copyright-Jahr
2015
DOI
https://doi.org/10.1007/978-3-319-21999-8_5