Skip to main content
Erschienen in: Natural Computing 2/2015

01.06.2015

Staged self-assembly and polyomino context-free grammars

verfasst von: Andrew Winslow

Erschienen in: Natural Computing | Ausgabe 2/2015

Einloggen

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

search-config
loading …

Abstract

Previous work by Demaine et al. (Nat Comput 6937:100–114, 2012) developed a strong connection between smallest context-free grammars and staged self-assembly systems for one-dimensional strings and assemblies. We extend this work to two-dimensional polyominoes and assemblies, comparing staged self-assembly systems to a natural generalization of context-free grammars we call polyomino context-free grammars (PCFGs). We achieve nearly optimal bounds on the largest ratios of the smallest PCFG and staged self-assembly system for a given polyomino with \(n\) cells. For the ratio of PCFGs over assembly systems, we show that the smallest PCFG can be an \(\varOmega (n/\log ^3{n})\)-factor larger than the smallest staged assembly system, even when restricted to square polyominoes. For the ratio of assembly systems over PCFGs, we show that the smallest staged assembly system is never more than a \(O(\log {n})\)-factor larger than the smallest PCFG and is sometimes an \(\varOmega (\log {n}/\log \log {n})\)-factor larger.

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!

Literatur
Zurück zum Zitat Adleman L, Cheng Q, Goel A, Huang M-D (2001) Running time and program size for self-assembled squares. In: Proceedings of symposium on theory of computing (STOC) Adleman L, Cheng Q, Goel A, Huang M-D (2001) Running time and program size for self-assembled squares. In: Proceedings of symposium on theory of computing (STOC)
Zurück zum Zitat Cannon S, Demaine ED, Demaine ML, Eisenstat S, Patitz MJ, Schweller RT, Summers SM, Winslow A (2013) Two hands are better than one (up to constant factors): self-assembly in the 2HAM vs. aTAM. In: Proceedings of International symposium on theoretical aspects of computer science (STACS), LIPIcs, vol 20, pp 172–184 Cannon S, Demaine ED, Demaine ML, Eisenstat S, Patitz MJ, Schweller RT, Summers SM, Winslow A (2013) Two hands are better than one (up to constant factors): self-assembly in the 2HAM vs. aTAM. In: Proceedings of International symposium on theoretical aspects of computer science (STACS), LIPIcs, vol 20, pp 172–184
Zurück zum Zitat Charikar M, Lehman E, Lehman A, Liu D, Panigrahy R, Prabhakaran M, Sahai A, shelat a (2005) The smallest grammar problem. IEEE Trans Inf Theory 51(7):2554–2576CrossRefMATHMathSciNet Charikar M, Lehman E, Lehman A, Liu D, Panigrahy R, Prabhakaran M, Sahai A, shelat a (2005) The smallest grammar problem. IEEE Trans Inf Theory 51(7):2554–2576CrossRefMATHMathSciNet
Zurück zum Zitat Chen HL, Doty D (2012) Parallelism and time in hierarchical self-assembly. In: Proceedings of ACM-SIAM symposium on discrete algorithms (SODA) Chen HL, Doty D (2012) Parallelism and time in hierarchical self-assembly. In: Proceedings of ACM-SIAM symposium on discrete algorithms (SODA)
Zurück zum Zitat Cook M, Fu Y, Schweller R (2011) Temperature 1 self-assembly: determinstic assembly in 3D and probabilistic assembly in 2D. In: Proceedings of ACM-SIAM symposium on discrete algorithms (SODA) Cook M, Fu Y, Schweller R (2011) Temperature 1 self-assembly: determinstic assembly in 3D and probabilistic assembly in 2D. In: Proceedings of ACM-SIAM symposium on discrete algorithms (SODA)
Zurück zum Zitat Demaine ED, Demaine ML, Fekete S, Ishaque M, Rafalin E, Schweller R, Souvaine D (2008) Staged self-assembly: nanomanufacture of arbitrary shapes with \({O}(1)\) glues. Nat Comput 7(3):347–370CrossRefMATHMathSciNet Demaine ED, Demaine ML, Fekete S, Ishaque M, Rafalin E, Schweller R, Souvaine D (2008) Staged self-assembly: nanomanufacture of arbitrary shapes with \({O}(1)\) glues. Nat Comput 7(3):347–370CrossRefMATHMathSciNet
Zurück zum Zitat Demaine ED, Eisenstat S, Ishaque M, Winslow A (2012) One-dimensional staged self-assembly. Nat Comput 6937:100–114 Demaine ED, Eisenstat S, Ishaque M, Winslow A (2012) One-dimensional staged self-assembly. Nat Comput 6937:100–114
Zurück zum Zitat Doty D, Lutz JH, Patitz MJ, Schweller RT, Summers SM, Woods D (2010) Intrinsic universality in self-assembly. In: Proceedings of symposium on theoretical aspects of computer science (STACS), LIPIcs, vol 5, pp 275–286 Doty D, Lutz JH, Patitz MJ, Schweller RT, Summers SM, Woods D (2010) Intrinsic universality in self-assembly. In: Proceedings of symposium on theoretical aspects of computer science (STACS), LIPIcs, vol 5, pp 275–286
Zurück zum Zitat Doty D, Lutz JH, Patitz MJ, Schweller RT, Summers SM, Woods D (2012) The tile assembly model is intrinsically universal. In: Proceedings of foundations of computer science (FOCS), pp 302–310 Doty D, Lutz JH, Patitz MJ, Schweller RT, Summers SM, Woods D (2012) The tile assembly model is intrinsically universal. In: Proceedings of foundations of computer science (FOCS), pp 302–310
Zurück zum Zitat Jeż A (2013) Approximation of grammar-based compression via recompression. Technical report, arXiv Jeż A (2013) Approximation of grammar-based compression via recompression. Technical report, arXiv
Zurück zum Zitat Lehman E (2002) Approximation algorithms for grammar-based data compression. PhD thesis, MIT Lehman E (2002) Approximation algorithms for grammar-based data compression. PhD thesis, MIT
Zurück zum Zitat Rothemund PWK, Winfree E (2000) The program-size complexity of self-assembled squares. In: Proceedings of symposium on theory of computing (STOC), pp 459–468 Rothemund PWK, Winfree E (2000) The program-size complexity of self-assembled squares. In: Proceedings of symposium on theory of computing (STOC), pp 459–468
Zurück zum Zitat Soloveichik D, Winfree E (2005) Complexity of self-assembled shapes. In: Ferretti C, Mauri G, Zandron C (eds) DNA 11, LNCS, vol 3384. Springer, Berlin, pp 344–354 Soloveichik D, Winfree E (2005) Complexity of self-assembled shapes. In: Ferretti C, Mauri G, Zandron C (eds) DNA 11, LNCS, vol 3384. Springer, Berlin, pp 344–354
Zurück zum Zitat Winfree E (1998) Algorithmic self-assembly of DNA. PhD thesis, Caltech Winfree E (1998) Algorithmic self-assembly of DNA. PhD thesis, Caltech
Metadaten
Titel
Staged self-assembly and polyomino context-free grammars
verfasst von
Andrew Winslow
Publikationsdatum
01.06.2015
Verlag
Springer Netherlands
Erschienen in
Natural Computing / Ausgabe 2/2015
Print ISSN: 1567-7818
Elektronische ISSN: 1572-9796
DOI
https://doi.org/10.1007/s11047-014-9423-z

Weitere Artikel der Ausgabe 2/2015

Natural Computing 2/2015 Zur Ausgabe

EditorialNotes

Preface