Skip to main content
Erschienen in: Natural Computing 1/2011

01.03.2011

Optimization of supply diversity for the self-assembly of simple objects in two and three dimensions

verfasst von: Fabio R. J. Vieira, Valmir C. Barbosa

Erschienen in: Natural Computing | Ausgabe 1/2011

Einloggen

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

search-config
loading …

Abstract

The field of algorithmic self-assembly is concerned with the design and analysis of self-assembly systems from a computational perspective, that is, from the perspective of mathematical problems whose study may give insight into the natural processes through which elementary objects self-assemble into more complex ones. One of the main problems of algorithmic self-assembly is the minimum tile set problem, which in the extended formulation we consider, here referred to as MTSP, asks for a collection of types of elementary objects (called tiles) to be found for the self-assembly of an object having a pre-established shape. Such a collection is to be as concise as possible, thus minimizing supply diversity, while satisfying a set of stringent constraints having to do with important properties of the self-assembly process from its tile types. We present a study of what, to the best of our knowledge, is the first practical approach to MTSP. Our study starts with the introduction of an evolutionary heuristic to tackle MTSP and includes selected results from extensive experimentation with the heuristic on the self-assembly of simple objects in two and three dimensions, including the possibility of tile rotation. The heuristic we introduce combines classic elements from the field of evolutionary computation with a problem-specific variant of Pareto dominance into a multi-objective approach to MTSP.

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
One that proceeds through generations, as opposed to the so-called steady-state approaches (De Jong 2006).
 
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 the 33rd annual ACM symposium on theory of computing, pp 740–748 Adleman L, Cheng Q, Goel A, Huang M-D (2001) Running time and program size for self-assembled squares. In: Proceedings of the 33rd annual ACM symposium on theory of computing, pp 740–748
Zurück zum Zitat Adleman L, Cheng Q, Goel A, Huang M-D, Kempe D, de Espanés PM, Rothemund PWK (2002) Combinatorial optimization problems in self-assembly. In: Proceedings of 34th annual ACM symposium on theory of computing, pp 23–32 Adleman L, Cheng Q, Goel A, Huang M-D, Kempe D, de Espanés PM, Rothemund PWK (2002) Combinatorial optimization problems in self-assembly. In: Proceedings of 34th annual ACM symposium on theory of computing, pp 23–32
Zurück zum Zitat Aggarwal G, Cheng Q, Goldwasser MH, Kao M-Y, de Espanés PM, Schweller RT (2005) Complexities for generalized models of self-assembly. SIAM J Comput 34:1493–1515MathSciNetMATHCrossRef Aggarwal G, Cheng Q, Goldwasser MH, Kao M-Y, de Espanés PM, Schweller RT (2005) Complexities for generalized models of self-assembly. SIAM J Comput 34:1493–1515MathSciNetMATHCrossRef
Zurück zum Zitat Angelov S, Khanna S, Visontai M (2006). On the complexity of graph self-assembly in accretive systems. In: Mao C, Yokomori T (eds) DNA computing, vol 4287 of Lecture notes in computer science. Springer, Berlin, pp 95–110 Angelov S, Khanna S, Visontai M (2006). On the complexity of graph self-assembly in accretive systems. In: Mao C, Yokomori T (eds) DNA computing, vol 4287 of Lecture notes in computer science. Springer, Berlin, pp 95–110
Zurück zum Zitat Back T, Hoffmeister F, Schwefel H-P (1991) A survey of evolution strategies. In: Proceedings of the 4th international conference on genetic algorithms, pp 2–9 Back T, Hoffmeister F, Schwefel H-P (1991) A survey of evolution strategies. In: Proceedings of the 4th international conference on genetic algorithms, pp 2–9
Zurück zum Zitat Barbosa VC, Campos LCD (2004) A novel evolutionary formulation of the maximum independent set problem. J Comb Optim 8:419–437MathSciNetMATHCrossRef Barbosa VC, Campos LCD (2004) A novel evolutionary formulation of the maximum independent set problem. J Comb Optim 8:419–437MathSciNetMATHCrossRef
Zurück zum Zitat Barbosa VC, Assis CAG, do Nascimento JO (2004) Two novel evolutionary formulations of the graph coloring problem. J Comb Optim 8:41–63MathSciNetMATHCrossRef Barbosa VC, Assis CAG, do Nascimento JO (2004) Two novel evolutionary formulations of the graph coloring problem. J Comb Optim 8:41–63MathSciNetMATHCrossRef
Zurück zum Zitat Baryshnikov Y, Coffman E, Momcilovic P (2004) Self assembly times in DNA-based computation. SIGMETRICS Perform Eval Rev 32:35–37MathSciNetCrossRef Baryshnikov Y, Coffman E, Momcilovic P (2004) Self assembly times in DNA-based computation. SIGMETRICS Perform Eval Rev 32:35–37MathSciNetCrossRef
Zurück zum Zitat Becker F, Rémila E, Schabanel N (2009) Time optimal self-assembly for 2D and 3D shapes: the case of squares and cubes. In: Goel A, Simmel FC, Sosík P (eds) DNA computing, vol 5347 of Lecture notes in computer science. Springer, Berlin, pp 144–155 Becker F, Rémila E, Schabanel N (2009) Time optimal self-assembly for 2D and 3D shapes: the case of squares and cubes. In: Goel A, Simmel FC, Sosík P (eds) DNA computing, vol 5347 of Lecture notes in computer science. Springer, Berlin, pp 144–155
Zurück zum Zitat Brun Y (2007) Adding and multiplying in the tile assembly model. In: Proceedings of the 4th foundations of nanoscience: self-assembled architectures and devices Brun Y (2007) Adding and multiplying in the tile assembly model. In: Proceedings of the 4th foundations of nanoscience: self-assembled architectures and devices
Zurück zum Zitat Chen H-L, Cheng Q, Goel A, Huang M-D, de Espanés PM (2004) Invadable self-assembly: combining robustness with efficiency. In: Proceedings of the 15th annual ACM-SIAM symposium on discrete algorithms, pp 890–899 Chen H-L, Cheng Q, Goel A, Huang M-D, de Espanés PM (2004) Invadable self-assembly: combining robustness with efficiency. In: Proceedings of the 15th annual ACM-SIAM symposium on discrete algorithms, pp 890–899
Zurück zum Zitat Cooper GM, Hausman RE (2003) The cell: a molecular approach, 2nd edn. ASM Press and Sinauer Associates, Washington Cooper GM, Hausman RE (2003) The cell: a molecular approach, 2nd edn. ASM Press and Sinauer Associates, Washington
Zurück zum Zitat De Jong KA (2006) Evolutionary computation: a unified approach. The MIT Press, CambridgeMATH De Jong KA (2006) Evolutionary computation: a unified approach. The MIT Press, CambridgeMATH
Zurück zum Zitat Ellabaan MMH (2007) Activation energy-based simulation for self-assembly of multi-shape tiles. In: Proceedings of the genetic and evolutionary computation conference, pp 2462–2467 Ellabaan MMH (2007) Activation energy-based simulation for self-assembly of multi-shape tiles. In: Proceedings of the genetic and evolutionary computation conference, pp 2462–2467
Zurück zum Zitat Goel A, de Espanés PM (2008) Toward minimum size self-assembled counters. In: Garzon MH, Yan H (eds) DNA computing, vol 4848 of Lecture notes in computer science. Springer, Berlin, pp 46–53 Goel A, de Espanés PM (2008) Toward minimum size self-assembled counters. In: Garzon MH, Yan H (eds) DNA computing, vol 4848 of Lecture notes in computer science. Springer, Berlin, pp 46–53
Zurück zum Zitat Goldberg DE (1989) Genetic algorithms in search, optimization, and machine learning. Addison-Wesley, ReadingMATH Goldberg DE (1989) Genetic algorithms in search, optimization, and machine learning. Addison-Wesley, ReadingMATH
Zurück zum Zitat Hogberg B, Olin H (2006) Programmable self-assembly—unique structures and bond uniqueness. J Comput Theor Nanosci 3:391–397 Hogberg B, Olin H (2006) Programmable self-assembly—unique structures and bond uniqueness. J Comput Theor Nanosci 3:391–397
Zurück zum Zitat Koza JR (1992) Genetic programming: on the programming of computers by means of natural selection. The MIT Press, CambridgeMATH Koza JR (1992) Genetic programming: on the programming of computers by means of natural selection. The MIT Press, CambridgeMATH
Zurück zum Zitat Li M, Vitányi P (1997) An introduction to Kolmogorov complexity and its applications, 2nd edn. Springer, New YorkMATH Li M, Vitányi P (1997) An introduction to Kolmogorov complexity and its applications, 2nd edn. Springer, New YorkMATH
Zurück zum Zitat Majumder DD, Ulrichs C, Majumder D, Mewis I, Thakur AR, Brahmachary RL, Banerjee R, Rahman A, Debnath N, Seth D, Das S, Roy I, Ghosh A, Sagar P, Schulz C, Linh NQ, Goswami A (2007) Current status and future trends of nanoscale technology and its impact on modern computing, biology, medicine and agricultural biotechnology. In: Proceedings of the international conference on computing: theory and applications, pp 563–573 Majumder DD, Ulrichs C, Majumder D, Mewis I, Thakur AR, Brahmachary RL, Banerjee R, Rahman A, Debnath N, Seth D, Das S, Roy I, Ghosh A, Sagar P, Schulz C, Linh NQ, Goswami A (2007) Current status and future trends of nanoscale technology and its impact on modern computing, biology, medicine and agricultural biotechnology. In: Proceedings of the international conference on computing: theory and applications, pp 563–573
Zurück zum Zitat Nagayama K (1996) Two-dimensional self-assembly of colloids in thin liquid films. Colloids Surf A 109:363–374CrossRef Nagayama K (1996) Two-dimensional self-assembly of colloids in thin liquid films. Colloids Surf A 109:363–374CrossRef
Zurück zum Zitat Pistol C, Dwyer C (2007) Scalable, low-cost, hierarchical assembly of programmable DNA nanostructures. Nanotechnology 18:125305–125309CrossRef Pistol C, Dwyer C (2007) Scalable, low-cost, hierarchical assembly of programmable DNA nanostructures. Nanotechnology 18:125305–125309CrossRef
Zurück zum Zitat Pistol C, Lebeck AR, Dwyer C (2006) Design automation for DNA self-assembled nanostructures. In: Proceedings of the 43rd annual conference on design automation, pp 919–924 Pistol C, Lebeck AR, Dwyer C (2006) Design automation for DNA self-assembled nanostructures. In: Proceedings of the 43rd annual conference on design automation, pp 919–924
Zurück zum Zitat Reif JH (2002) The emerging discipline of biomolecular computation in the US. New Gener Comput 20:217–236MATHCrossRef Reif JH (2002) The emerging discipline of biomolecular computation in the US. New Gener Comput 20:217–236MATHCrossRef
Zurück zum Zitat Reif JH, Sahu S, Yin P (2006) Complexity of graph self-assembly in accretive systems and self-destructible systems. In: Carbone A, Pierce NA (eds) DNA computing, vol 3892 of Lecture notes in computer science. Springer, Berlin, pp 257–274 Reif JH, Sahu S, Yin P (2006) Complexity of graph self-assembly in accretive systems and self-destructible systems. In: Carbone A, Pierce NA (eds) DNA computing, vol 3892 of Lecture notes in computer science. Springer, Berlin, pp 257–274
Zurück zum Zitat Requicha A, Arbuckle D (2006) CAD/CAM for nanoscale self-assembly. IEEE Comput Graph Appl 26:88–91CrossRef Requicha A, Arbuckle D (2006) CAD/CAM for nanoscale self-assembly. IEEE Comput Graph Appl 26:88–91CrossRef
Zurück zum Zitat Rothemund PWK (2006) Folding DNA to create nanoscale shapes and patterns. Nature 440:297–302CrossRef Rothemund PWK (2006) Folding DNA to create nanoscale shapes and patterns. Nature 440:297–302CrossRef
Zurück zum Zitat Rothemund PWK, Winfree E (2000) The program-size complexity of self-assembled squares (extended abstract). In: Proceedings of the 32nd annual ACM symposium on theory of computing, pp 459–468 Rothemund PWK, Winfree E (2000) The program-size complexity of self-assembled squares (extended abstract). In: Proceedings of the 32nd annual ACM symposium on theory of computing, pp 459–468
Zurück zum Zitat Sahu S, Yin P, Reif JH (2006) A self-assembly model of time-dependent glue strength. In: Carbone A, Pierce NA (eds) DNA computing, vol 3892 of Lecture notes in computer science. Springer, Berlin, pp 290–304 Sahu S, Yin P, Reif JH (2006) A self-assembly model of time-dependent glue strength. In: Carbone A, Pierce NA (eds) DNA computing, vol 3892 of Lecture notes in computer science. Springer, Berlin, pp 290–304
Zurück zum Zitat Sastry K, Goldberg D, Kendall G (2005) Genetic algorithms. In: Burke EK, Kendall G (eds) Search methodologies. Springer, New York, pp 97–125CrossRef Sastry K, Goldberg D, Kendall G (2005) Genetic algorithms. In: Burke EK, Kendall G (eds) Search methodologies. Springer, New York, pp 97–125CrossRef
Zurück zum Zitat Srinivas M, Patnaik LM (1994) Adaptive probabilities of crossover and mutation in genetic algorithms. IEEE Trans Syst Man Cybern 24:656–667CrossRef Srinivas M, Patnaik LM (1994) Adaptive probabilities of crossover and mutation in genetic algorithms. IEEE Trans Syst Man Cybern 24:656–667CrossRef
Zurück zum Zitat Terada Y, Murata S (2004) Automatic assembly system for a large-scale modular structure—hardware design of module and assembler robot. In: Proceedings of the IEEE/RSJ international conference on intelligent robots and systems, vol 3, pp 2349–2355 Terada Y, Murata S (2004) Automatic assembly system for a large-scale modular structure—hardware design of module and assembler robot. In: Proceedings of the IEEE/RSJ international conference on intelligent robots and systems, vol 3, pp 2349–2355
Zurück zum Zitat Terrazas G, Gheorghe M, Kendall G, Krasnogor N (2007) Evolving tiles for automated self-assembly design. In: Proceedings of the IEEE congress on evolutionary computation, pp 2001–2008 Terrazas G, Gheorghe M, Kendall G, Krasnogor N (2007) Evolving tiles for automated self-assembly design. In: Proceedings of the IEEE congress on evolutionary computation, pp 2001–2008
Zurück zum Zitat Tuci E, Gross R, Trianni V, Mondada F, Bonani M, Dorigo M (2006) Cooperation through self-assembly in multi-robot systems. ACM Trans Auton Adapt Syst 1:115–150CrossRef Tuci E, Gross R, Trianni V, Mondada F, Bonani M, Dorigo M (2006) Cooperation through self-assembly in multi-robot systems. ACM Trans Auton Adapt Syst 1:115–150CrossRef
Zurück zum Zitat Wang H (1961) Proving theorems by pattern recognition—II. Bell Syst Tech J 40:1–42 Wang H (1961) Proving theorems by pattern recognition—II. Bell Syst Tech J 40:1–42
Zurück zum Zitat Werfel J, Bar-Yam Y, Rus D, Nagpal R (2006) Distributed construction by mobile robots with enhanced building blocks. In: Proceedings of the IEEE international conference on robotics and automation, pp 2787–2794 Werfel J, Bar-Yam Y, Rus D, Nagpal R (2006) Distributed construction by mobile robots with enhanced building blocks. In: Proceedings of the IEEE international conference on robotics and automation, pp 2787–2794
Zurück zum Zitat Winfree E (1996) On the computational power of DNA annealing and ligation. In: Lipton RJ, Baum EB (eds) DNA based computers, vol 27 of DIMACS series in discrete mathematics and theoretical computer science. American Mathematical Society, Providence, pp 199–221 Winfree E (1996) On the computational power of DNA annealing and ligation. In: Lipton RJ, Baum EB (eds) DNA based computers, vol 27 of DIMACS series in discrete mathematics and theoretical computer science. American Mathematical Society, Providence, pp 199–221
Zurück zum Zitat Winfree E (1998) Algorithmic self-assembly of DNA. PhD thesis, California Institute of Technology, Pasadena Winfree E (1998) Algorithmic self-assembly of DNA. PhD thesis, California Institute of Technology, Pasadena
Zurück zum Zitat Winfree E (2006) Self-healing tile sets. In: Chen J, Janoska N, Rozenberg G (eds) Nanotechnology: science and computation. Springer, Berlin, pp 55–78CrossRef Winfree E (2006) Self-healing tile sets. In: Chen J, Janoska N, Rozenberg G (eds) Nanotechnology: science and computation. Springer, Berlin, pp 55–78CrossRef
Zurück zum Zitat Winfree E, Liu F, Wenzler LA, Seeman NC (1998) Design and self-assembly of two-dimensional DNA crystals. Nature 394:539–544CrossRef Winfree E, Liu F, Wenzler LA, Seeman NC (1998) Design and self-assembly of two-dimensional DNA crystals. Nature 394:539–544CrossRef
Zurück zum Zitat Yi H, Nisar S, Lee SY, Powers MA, Bentley WE, Payne GF, Ghodssi R, Rubloff GW, Harris MT, Culver JN (2005) Patterned assembly of genetically modified viral nanotemplates via nucleic acid hybridization. Nano Letters 5:1931–1936CrossRef Yi H, Nisar S, Lee SY, Powers MA, Bentley WE, Payne GF, Ghodssi R, Rubloff GW, Harris MT, Culver JN (2005) Patterned assembly of genetically modified viral nanotemplates via nucleic acid hybridization. Nano Letters 5:1931–1936CrossRef
Metadaten
Titel
Optimization of supply diversity for the self-assembly of simple objects in two and three dimensions
verfasst von
Fabio R. J. Vieira
Valmir C. Barbosa
Publikationsdatum
01.03.2011
Verlag
Springer Netherlands
Erschienen in
Natural Computing / Ausgabe 1/2011
Print ISSN: 1567-7818
Elektronische ISSN: 1572-9796
DOI
https://doi.org/10.1007/s11047-010-9209-x

Weitere Artikel der Ausgabe 1/2011

Natural Computing 1/2011 Zur Ausgabe

Premium Partner