메뉴 건너뛰기




Volumn 38, Issue 6, 2009, Pages 2356-2381

The undecidability of the infinite ribbon problem: Implications for computing by self-assembly

Author keywords

DNA computing; Molecular computing; Self assembly; Tiling; Undecidability

Indexed keywords

APERIODIC TILINGS; COMPLEX STRUCTURE; DNA COMPUTING; FILLING PROPERTIES; FINITE SET; INDIVIDUAL COMPONENTS; INFINITE SUPPLY; LARGE STRUCTURES; MOLECULAR COMPUTING; OPEN PROBLEMS; PHYSICAL WORLD; ROBINSON; SELF-ASSEMBLED; SELF-CROSSING; SYSTEMATIC STUDY; TILING; TWO-DIMENSIONAL PLANES; UNDECIDABILITY;

EID: 65949092334     PISSN: 00975397     EISSN: None     Source Type: Journal    
DOI: 10.1137/080723971     Document Type: Article
Times cited : (20)

References (53)
  • 2
    • 0028114541 scopus 로고
    • Molecular computation of solutions to combinatorial problems
    • L. ADLEMAN, Molecular computation of solutions to combinatorial problems, Science, 266 (1994), pp. 1021-1024.
    • (1994) Science , vol.266 , pp. 1021-1024
    • ADLEMAN, L.1
  • 3
    • 0004053757 scopus 로고    scopus 로고
    • Towards a Mathematical Theory of Self-Assembly
    • Technical report 00-722, Department of Computer Science, University of Southern California, Los Angeles, CA
    • L. ADLEMAN, Towards a Mathematical Theory of Self-Assembly, Technical report 00-722, Department of Computer Science, University of Southern California, Los Angeles, CA, 2000.
    • (2000)
    • ADLEMAN, L.1
  • 8
    • 30644470156 scopus 로고    scopus 로고
    • Two computational primitives for algorithmic self-assembly: Copying and counting
    • R. BARISH, P. ROTHEMUND, AND E. WINFREE, Two computational primitives for algorithmic self-assembly: Copying and counting, NanoLetters, 5 (2005), pp. 2586-2592.
    • (2005) NanoLetters , vol.5 , pp. 2586-2592
    • BARISH, R.1    ROTHEMUND, P.2    WINFREE, E.3
  • 9
    • 22744435502 scopus 로고    scopus 로고
    • A free-running DNA motor powered by a nicking enzyme
    • J. BATH, S. GREEN, AND A. Turberfield, A free-running DNA motor powered by a nicking enzyme, Angew. Chem. Int. Edn., 44 (2005), pp. 4358-4361.
    • (2005) Angew. Chem. Int. Edn , vol.44 , pp. 4358-4361
    • BATH, J.1    GREEN, S.2    Turberfield, A.3
  • 10
    • 0035936116 scopus 로고    scopus 로고
    • Programmable and autonomous computing machines made of biomolecules
    • Y. BENENSON, T. PAZ-ELIZUR, R. ADAR, E. KEINAN, Z. LIVNEH, AND E. SHAPIRO, Programmable and autonomous computing machines made of biomolecules, Nature, 414 (2001), pp. 430-434.
    • (2001) Nature , vol.414 , pp. 430-434
    • BENENSON, Y.1    PAZ-ELIZUR, T.2    ADAR, R.3    KEINAN, E.4    LIVNEH, Z.5    SHAPIRO, E.6
  • 11
    • 0003359740 scopus 로고
    • The undecidability of the domino problem
    • R. BERGER, The undecidability of the domino problem, Mem. Amer. Math. Soc. 66 (1966), pp. 1-72.
    • (1966) Mem. Amer. Math. Soc , vol.66 , pp. 1-72
    • BERGER, R.1
  • 12
    • 65949103966 scopus 로고    scopus 로고
    • Self-assembling tile systems that heal from small fragments
    • M. Garzon and H. Yan, eds
    • H. CHEN, A. GOEL, C. LUHRS, AND E. WINFREE, Self-assembling tile systems that heal from small fragments, in Preliminary Proceedings of DNA Computing 13, M. Garzon and H. Yan, eds., 2007, pp. 30-46.
    • (2007) Preliminary Proceedings of DNA Computing , vol.13 , pp. 30-46
    • CHEN, H.1    GOEL, A.2    LUHRS, C.3    WINFREE, E.4
  • 13
    • 35048830893 scopus 로고    scopus 로고
    • M. COOK, P. ROTHEMUND, AND E. WINFREE, Self-assembled circuit patterns, in Proceedings of DNA Computing 9, Lecture Notes in Comput. Sci. 2943, J. Chen and J. Reif, eds., Springer, Berlin, 2004, pp. 91-107.
    • M. COOK, P. ROTHEMUND, AND E. WINFREE, Self-assembled circuit patterns, in Proceedings of DNA Computing 9, Lecture Notes in Comput. Sci. 2943, J. Chen and J. Reif, eds., Springer, Berlin, 2004, pp. 91-107.
  • 15
    • 60649095691 scopus 로고
    • Domino threads and complexity
    • Computation Theory and Logic, E. Borger, ed, Springer, Berlin
    • H. EBBINGHAUS, Domino threads and complexity, in Computation Theory and Logic, Lecture Notes in Comput. Sci. 270, E. Borger, ed., Springer, Berlin, 1987, pp. 131-142.
    • (1987) Lecture Notes in Comput. Sci , vol.270 , pp. 131-142
    • EBBINGHAUS, H.1
  • 16
    • 4244180725 scopus 로고
    • M. Sc. thesis, Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot, Israel
    • Y. ETZION, On the Solvability of Domino Snake Problems, M. Sc. thesis, Department of Applied Mathematics and Computer Science, The Weizmann Institute of Science, Rehovot, Israel, 1991.
    • (1991) On the Solvability of Domino Snake Problems
    • ETZION, Y.1
  • 18
    • 53149118265 scopus 로고    scopus 로고
    • Toward reliable algorithmic self-assembly of DNA tiles: A fixed-width cellular automaton pattern
    • K. FUJIBAYASHI, R. HARIADI, S. PARK, E. WINFREE, AND S. MURATA, Toward reliable algorithmic self-assembly of DNA tiles: A fixed-width cellular automaton pattern, NanoLetters, 8 (2008), pp. 1791-1797.
    • (2008) NanoLetters , vol.8 , pp. 1791-1797
    • FUJIBAYASHI, K.1    HARIADI, R.2    PARK, S.3    WINFREE, E.4    MURATA, S.5
  • 19
    • 49949088536 scopus 로고    scopus 로고
    • Towards minimum size self-assembled counters
    • Proceedings of DNA Computing, M. Garzon and H. Yan, eds, 4848, Springer, Berlin
    • A. GOEL AND P. MOISSET DE ESPANES, Towards minimum size self-assembled counters, in Proceedings of DNA Computing 13, M. Garzon and H. Yan, eds., Lecture Notes in Comput. Sci. 4848, Springer, Berlin, 2008, pp. 46-53.
    • (2008) Lecture Notes in Comput. Sci , vol.13 , pp. 46-53
    • GOEL, A.1    MOISSET DE ESPANES, P.2
  • 20
    • 0030232772 scopus 로고    scopus 로고
    • The art and science of self-assembling molecular machines
    • M. GOMEZ-LOPEZ, J. PREECE, AND J. STODDART, The art and science of self-assembling molecular machines, Nanotechnology, 7 (1996), pp. 183-192.
    • (1996) Nanotechnology , vol.7 , pp. 183-192
    • GOMEZ-LOPEZ, M.1    PREECE, J.2    STODDART, J.3
  • 21
    • 28844463033 scopus 로고    scopus 로고
    • Rapid chiral assembly of rigid DNA building blocks for molecular nanofabrication
    • R. GOODMAN, I. SCHAAP, C. TARDIN, C. ERBEN, R. BERRY, C. SCHMIDT, AND A. TURBERFIELD, Rapid chiral assembly of rigid DNA building blocks for molecular nanofabrication, Science, 310 (2005), pp. 1661-1665.
    • (2005) Science , vol.310 , pp. 1661-1665
    • GOODMAN, R.1    SCHAAP, I.2    TARDIN, C.3    ERBEN, C.4    BERRY, R.5    SCHMIDT, C.6    TURBERFIELD, A.7
  • 22
    • 0034682874 scopus 로고    scopus 로고
    • Forming electrical networks in three dimensions by self-assembly
    • D. GRACIAS, J. TIEN, T. BREEN, C. HSU, AND G. WHITESIDES, Forming electrical networks in three dimensions by self-assembly, Science, 289 (2000), pp. 1170-1173.
    • (2000) Science , vol.289 , pp. 1170-1173
    • GRACIAS, D.1    TIEN, J.2    BREEN, T.3    HSU, C.4    WHITESIDES, G.5
  • 23
    • 33749510645 scopus 로고    scopus 로고
    • DNA hairpins: Fuel for autonomous DNA devices
    • S. GREEN, L. LUBRICH, AND A. TURBERFIELD, DNA hairpins: Fuel for autonomous DNA devices, Biophys. J., 91 (2006), pp. 2966-2975.
    • (2006) Biophys. J , vol.91 , pp. 2966-2975
    • GREEN, S.1    LUBRICH, L.2    TURBERFIELD, A.3
  • 24
    • 33846316938 scopus 로고
    • Über die stetige Abbildung einer Linie auf ein Flächtenstück
    • D. HILBERT, Über die stetige Abbildung einer Linie auf ein Flächtenstück, Math. Ann., 38 (1891), pp. 459-460.
    • (1891) Math. Ann , vol.38 , pp. 459-460
    • HILBERT, D.1
  • 26
    • 44949288975 scopus 로고
    • Reversibility of 2D cellular automata is undecidable
    • J. KARI, Reversibility of 2D cellular automata is undecidable, Phys. D, 45 (1990), pp. 379-385.
    • (1990) Phys. D , vol.45 , pp. 379-385
    • KARI, J.1
  • 27
    • 0028368814 scopus 로고
    • Reversibility and surjectivity problems of cellular automata
    • J. KARI, Reversibility and surjectivity problems of cellular automata, J. Comput. System Sci., 48 (1994), pp. 149-182.
    • (1994) J. Comput. System Sci , vol.48 , pp. 149-182
    • KARI, J.1
  • 28
    • 0001193545 scopus 로고
    • Über eine Schlussweise aus dem Endlichen ins Unendliche
    • Szeged
    • D. KÖNIG, Über eine Schlussweise aus dem Endlichen ins Unendliche, Acta Litt. Sci. Szeged, 3 (1927), pp. 121-130.
    • (1927) Acta Litt. Sci , vol.3 , pp. 121-130
    • KÖNIG, D.1
  • 29
    • 0012619462 scopus 로고    scopus 로고
    • 2D DNA self-assembly for satisfiability
    • DNA Based Computers V, 54, E. Winfree and D. Gifford, eds, AMS, Providence, RI
    • M. LAGOUDAKIS AND T. LABEAN, 2D DNA self-assembly for satisfiability, in DNA Based Computers V, DIMACS Ser. Discrete Math. Theoret. Comput. Sci. 54, E. Winfree and D. Gifford, eds., AMS, Providence, RI, 2000, pp. 141-154.
    • (2000) Ser. Discrete Math. Theoret. Comput. Sci , vol.DIMACS , pp. 141-154
    • LAGOUDAKIS, M.1    LABEAN, T.2
  • 30
    • 27544503005 scopus 로고    scopus 로고
    • Switching the conformation of a DNA molecule with a chemical oscillator
    • T. LIEDL AND F. SIMMEL, Switching the conformation of a DNA molecule with a chemical oscillator, NanoLetters, 5 (2005), pp. 1894-1898.
    • (2005) NanoLetters , vol.5 , pp. 1894-1898
    • LIEDL, T.1    SIMMEL, F.2
  • 31
    • 0034612575 scopus 로고    scopus 로고
    • Self-directed growth of molecular nano-structures on silicon
    • G. LOPINSKI, D. WAYNER, AND R. WOLKOW, Self-directed growth of molecular nano-structures on silicon, Nature, 406 (2000), pp. 48-51.
    • (2000) Nature , vol.406 , pp. 48-51
    • LOPINSKI, G.1    WAYNER, D.2    WOLKOW, R.3
  • 32
    • 0034727072 scopus 로고    scopus 로고
    • Logical computation using algorithmic selfassembly of DNA triple-crossover molecules
    • C. MAO, T. LABEAN, J. REIF, AND N. SEEMAN, Logical computation using algorithmic selfassembly of DNA triple-crossover molecules, Nature, 407 (2000), pp. 493-496.
    • (2000) Nature , vol.407 , pp. 493-496
    • MAO, C.1    LABEAN, T.2    REIF, J.3    SEEMAN, N.4
  • 33
    • 33846374382 scopus 로고    scopus 로고
    • Single-pair FRET characterization of DNA tweezers
    • B. MULLER, A. REUTER, F. SIMMEL, AND D. LAMB, Single-pair FRET characterization of DNA tweezers, NanoLetters, 6 (2006), pp. 2814-2820.
    • (2006) NanoLetters , vol.6 , pp. 2814-2820
    • MULLER, B.1    REUTER, A.2    SIMMEL, F.3    LAMB, D.4
  • 34
    • 25544431959 scopus 로고
    • Decidability of the tiling connectivity problem, abstract 79T-E42
    • D. MYERS, Decidability of the tiling connectivity problem, abstract 79T-E42, Notices Amer. Math. Soc., 195 (1979), A-441.
    • (1979) Notices Amer. Math. Soc , vol.195
    • MYERS, D.1
  • 35
    • 0035974797 scopus 로고    scopus 로고
    • Nanostructures: Self-assembled domain patterns
    • R. PLASS, J. LAST, N. BARTELT, AND G. KELLOGG, Nanostructures: Self-assembled domain patterns, Nature, 412 (2001), p. 875.
    • (2001) Nature , vol.412 , pp. 875
    • PLASS, R.1    LAST, J.2    BARTELT, N.3    KELLOGG, G.4
  • 36
    • 0000091522 scopus 로고    scopus 로고
    • Local parallel biomolecular computation
    • DNA Based Computers III, H. Rubin and D. Wood, eds, AMS, Providence, RI
    • J. REIF, Local parallel biomolecular computation, in DNA Based Computers III, DIMACS Ser. Discrete. Math. Theoret. Comput. Sci. 48, H. Rubin and D. Wood, eds., AMS, Providence, RI, 1999, pp. 217-254.
    • (1999) DIMACS Ser. Discrete. Math. Theoret. Comput. Sci , vol.48 , pp. 217-254
    • REIF, J.1
  • 37
    • 0000536874 scopus 로고
    • Undecidability and nonperiodicity for tilings of the plane
    • R. ROBINSON, Undecidability and nonperiodicity for tilings of the plane, Invent. Math., 12 (1971), pp. 177-209.
    • (1971) Invent. Math , vol.12 , pp. 177-209
    • ROBINSON, R.1
  • 38
    • 0033971729 scopus 로고    scopus 로고
    • Using lateral capillary forces to compute by self-assembly
    • P. ROTHEMUND, Using lateral capillary forces to compute by self-assembly, Proc. Natl. Acad. Sci. USA, 97 (2000), pp. 984-989.
    • (2000) Proc. Natl. Acad. Sci. USA , vol.97 , pp. 984-989
    • ROTHEMUND, P.1
  • 40
    • 33645028600 scopus 로고    scopus 로고
    • Folding DNA to create nanoscale shapes and patterns
    • P. ROTHEMUND, Folding DNA to create nanoscale shapes and patterns, Nature, 440 (2006), pp. 297-302.
    • (2006) Nature , vol.440 , pp. 297-302
    • ROTHEMUND, P.1
  • 41
    • 14044251445 scopus 로고    scopus 로고
    • Algorithmic self-assembly of DNA Sierpinski triangles
    • P. ROTHEMUND, N. PAPADAKIS, AND E. WINFREE, Algorithmic self-assembly of DNA Sierpinski triangles, PLoS Biol., 2 (2004), e424.
    • (2004) PLoS Biol , vol.2
    • ROTHEMUND, P.1    PAPADAKIS, N.2    WINFREE, E.3
  • 43
    • 0035909264 scopus 로고    scopus 로고
    • Self-assembled monolayer organic field-effect transistors
    • J. SCHÖN, H. MENG, AND Z. BAO, Self-assembled monolayer organic field-effect transistors, Nature, 413 (2000), pp. 713-715.
    • (2000) Nature , vol.413 , pp. 713-715
    • SCHÖN, J.1    MENG, H.2    BAO, Z.3
  • 44
    • 4143142965 scopus 로고    scopus 로고
    • A precisely controlled DNA biped walking device
    • W. SHERMAN AND N. SEEMAN, A precisely controlled DNA biped walking device, NanoLetters, 4 (2004), pp. 1203-1207.
    • (2004) NanoLetters , vol.4 , pp. 1203-1207
    • SHERMAN, W.1    SEEMAN, N.2
  • 45
    • 1342325559 scopus 로고    scopus 로고
    • A 1.7-kilobase single-stranded DNA that folds into a nanoscale octahedron
    • W. SHIH, J. QUISPE, AND G. JOYCE, A 1.7-kilobase single-stranded DNA that folds into a nanoscale octahedron, Nature, 427 (2004), pp. 618-621.
    • (2004) Nature , vol.427 , pp. 618-621
    • SHIH, W.1    QUISPE, J.2    JOYCE, G.3
  • 46
    • 34948823969 scopus 로고    scopus 로고
    • Complexity of self-assembled shapes
    • D. SOLOVEICHIK AND E. WINFREE, Complexity of self-assembled shapes, SIAM J. Comput., 36 (2007), pp. 1544-1569.
    • (2007) SIAM J. Comput , vol.36 , pp. 1544-1569
    • SOLOVEICHIK, D.1    WINFREE, E.2
  • 47
    • 22744435354 scopus 로고    scopus 로고
    • A DNA enzyme that walks processively and autonomously along a one-dimensional track
    • Y. TIAN, Y. He, Y. PENG, AND C. MAO, A DNA enzyme that walks processively and autonomously along a one-dimensional track, Angew. Chem. Int. Edn., 44 (2005), pp. 4355-4358.
    • (2005) Angew. Chem. Int. Edn , vol.44 , pp. 4355-4358
    • TIAN, Y.1    He, Y.2    PENG, Y.3    MAO, C.4
  • 48
    • 0002922352 scopus 로고
    • Proving theorems by pattern recognition
    • H. WANG, Proving theorems by pattern recognition, Bell System Tech. J., 40 (1961), pp. 1-42.
    • (1961) Bell System Tech. J , vol.40 , pp. 1-42
    • WANG, H.1
  • 49
    • 0026433721 scopus 로고
    • Molecular self-assembly and nanochemistry: A chemical strategy for the synthesis of nanostructures
    • G. WHITESIDES, J. MATHIAS, AND C. SETO, Molecular self-assembly and nanochemistry: A chemical strategy for the synthesis of nanostructures, Science, 254 (1991), pp. 1312-1319.
    • (1991) Science , vol.254 , pp. 1312-1319
    • WHITESIDES, G.1    MATHIAS, J.2    SETO, C.3
  • 50
    • 0003546918 scopus 로고    scopus 로고
    • Ph.D. thesis, California Institute of Technology, Pasadena, CA
    • E. WINFREE, Algorithmic Self-Assembly of DNA, Ph.D. thesis, California Institute of Technology, Pasadena, CA, 1998.
    • (1998) Algorithmic Self-Assembly of DNA
    • WINFREE, E.1
  • 51
    • 0032490948 scopus 로고    scopus 로고
    • Design and self-assembly of twodimensional DNA crystals
    • E. WINFREE, F. LIU, L. WENZLER, AND N. SEEMAN, Design and self-assembly of twodimensional DNA crystals, Nature, 394 (1998), pp. 539-544.
    • (1998) Nature , vol.394 , pp. 539-544
    • WINFREE, E.1    LIU, F.2    WENZLER, L.3    SEEMAN, N.4
  • 52
    • 0000223418 scopus 로고    scopus 로고
    • Universal computation via self-assembly of DNA: Some theory and experiments
    • DNA Based Computers II, L. Landweber and E. Baum, eds, AMS, Providence, RI
    • E. WINFREE, X. YANG, AND N. SEEMAN, Universal computation via self-assembly of DNA: Some theory and experiments, in DNA Based Computers II, DIMACS Ser. Discrete Math. Theoret. Comput. Sci. 44, L. Landweber and E. Baum, eds., AMS, Providence, RI, 1999, pp. 191-213.
    • (1999) DIMACS Ser. Discrete Math. Theoret. Comput. Sci , vol.44 , pp. 191-213
    • WINFREE, E.1    YANG, X.2    SEEMAN, N.3


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.