WO2004068398A1 - Dnaコンピュータ及びそれを用いた計算方法 - Google Patents

Dnaコンピュータ及びそれを用いた計算方法 Download PDF

Info

Publication number
WO2004068398A1
WO2004068398A1 PCT/JP2003/000918 JP0300918W WO2004068398A1 WO 2004068398 A1 WO2004068398 A1 WO 2004068398A1 JP 0300918 W JP0300918 W JP 0300918W WO 2004068398 A1 WO2004068398 A1 WO 2004068398A1
Authority
WO
WIPO (PCT)
Prior art keywords
dna
solution
computer
partial
subproblems
Prior art date
Application number
PCT/JP2003/000918
Other languages
English (en)
French (fr)
Inventor
Fumiyoshi Sasagawa
Original Assignee
Fujitsu Limited
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Fujitsu Limited filed Critical Fujitsu Limited
Priority to JP2004567537A priority Critical patent/JPWO2004068398A1/ja
Priority to PCT/JP2003/000918 priority patent/WO2004068398A1/ja
Publication of WO2004068398A1 publication Critical patent/WO2004068398A1/ja
Priority to US11/064,027 priority patent/US7167847B2/en

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06NCOMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N3/00Computing arrangements based on biological models
    • G06N3/12Computing arrangements based on biological models using genetic models
    • G06N3/123DNA computing
    • BPERFORMING OPERATIONS; TRANSPORTING
    • B82NANOTECHNOLOGY
    • B82YSPECIFIC USES OR APPLICATIONS OF NANOSTRUCTURES; MEASUREMENT OR ANALYSIS OF NANOSTRUCTURES; MANUFACTURE OR TREATMENT OF NANOSTRUCTURES
    • B82Y10/00Nanotechnology for information processing, storage or transmission, e.g. quantum computing or single electron logic

Definitions

  • the present invention relates to a DNA computer and a calculation method using the same, and more particularly, to a DNA computer suitable for complicated calculations and a calculation method using the same.
  • the DNA computer is a computer that solves optimization problems with a very large solution search space at high speed using the molecular reaction of DNA.
  • the hardware of a DNA computer is a molecule called nucleotide that makes up DNA.
  • the nucleotide sequence of the DNA obtained by performing the basic operation of the DNA computer on the DNA is the output of the DNA computer.
  • This output represents a nucleotide sequence of DNA that is amplified using the polymerase chain reaction (PCR), which creates a large number of copies of the nucleotide sequence.
  • PCR polymerase chain reaction
  • genetic anoregorism is a technology that imitates the mechanism of transmission of organisms. This technology is applied to
  • FIG. 1 is a diagram showing an example of a generation of such a genetic algorithm.
  • the objective function of the optimization problem corresponds to the environment, and a fitness function that defines a larger level value as the objective function is optimized is defined for the chromosome.
  • Selection is an operation in which individuals having chromosomes with high fitness in the population are selected with a higher probability and become parents of the next generation.
  • FIG. 2 is a diagram illustrating an example of selection of a genetic algorithm. Crossover is the operation of exchanging parts of two chromosomes (parents) with each other to create a new individual (child).
  • FIG. 3 is a diagram illustrating an example of crossover of the transitive algorithm. Mutation is the operation of randomly replacing some genes on one chromosome.
  • FIG. 4 is a diagram illustrating an example of a mutation in a genetic algorithm.
  • a chromosome with a higher fitness can be obtained, that is, a solution that optimizes the objective function can be obtained.
  • a DNA computer is a biological computer as described in, for example, Kevin Bonsor, "How DNA computer will work, WWW, August, 2002 (http: 11 www. Howstuffworks. Com / dna-computer 1.htm).
  • Fig. 5 is a flow chart showing an example of the calculation process of the DNA computer, where step S1 is a problem to be solved by the calculation process.
  • step S2 hybridization is performed to generate a sufficient amount of DNA for catch-up.
  • screening of the candidate is performed by the DNA computer. Perform ng and select a solution from the solution candidates.
  • DNA is composed of deoxyliponucleic acid.
  • Deoxyribonucleic acid is composed of nucleotides. Nucleotides are composed of sugars, phosphate groups and bases. Sugar and phosphorus are common to deoxyribonucleic acids, but there are four types of adenine (A), guanine (G), cytosine (C), and thymine (T) due to differences in hydrochloride groups.
  • the 5,5 phosphorous nucleotide and another 3,3 water atom combine to form a covalent bond (phosphodiester bond) of the species.
  • the new nucleotide is Added to 3, «of DNA.
  • the donkey portion of a nucleotide is bonded to another nucleotide portion by a hydrogen bond. There is a restriction on the binding partner of the nucleotide base, and A and T and G and C forces can form S base pairs, which is called complementarity.
  • FIG. 6 is a diagram illustrating an example of coding of a solicitation for solving the effective Nomilne Pass problem.
  • seizure detection is described in, for example, Masami Ogiya and Tsurugi, "DNA Computer", Baifukan, and 2001.
  • the catches of the problem thus coded are injected into the test tube S with ⁇ , and the basic operation described later is performed.
  • the basic operation includes five operating forces S: “Amplify”, “Merge”, “Separation (Get)”, “Append” and “Detect”.
  • the 3 ⁇ 4 ⁇ : operation itself is described in, for example, Akira Suyama, “Experiment on Molecular Computer”, Mathematical Sciences, (445); 27-31, 2000.
  • “Amplification” is an operation that makes a copy of a test tube S containing DNA.
  • “Separation” is an operation in which DNA that satisfies (or does not satisfy) the conditions represented by the symbol sequence of nucleotides A, T, G, and C from tube S is injected into another tube.
  • “Addition” is an operation of adding a nucleotide sequence designated to satisfy the condition of the end of the DNA molecule of the test tube S.
  • “Detection” is an operation that returns “true” to a test tube S if the test tube S contains at least one DNA, and returns “false” otherwise.
  • the DNA computer combines the above five operations according to the problem to be solved, and obtains a solution from the solution DNA ⁇ of the DNA that was first sifted.
  • the calculation method of such a DNA computer is described in, for example, Leonard M. Adleman, "Molecular computation of solutions to combinational, problems'", SCIENCE, 266 (5187); 1021-1024, 1994. It is called "Dolman Paradigm”.
  • FIG. 7 is a diagram illustrating an example of screening when solving the effective Hamilnpath problem.
  • S 11 indicates the coding stage of the problem
  • S 12 indicates the hive.
  • S13 indicates the stage of screening.
  • the general object of the present invention is to provide a new and useful DNA computer which has solved the above-mentioned problems and a calculation method using the same.
  • a more specific object of the present invention is to enable easy calculation without increasing the amount of required DNA even when the calculation becomes mil, and to perform the calculation with a relatively small number of calculation steps.
  • An object of the present invention is to provide a DNA computer and a calculation method using the same, which can perform accurate calculations while suppressing the occurrence rate of solution errors to be low.
  • Another object of the present invention is a DNA computer that performs calculations using a DNA, and has a dividing means for dividing a problem to be solved into a plurality of subproblems, and a solution of ⁇ number of subproblems.
  • Another object of the present invention is to provide a DNA computer characterized by comprising an arithmetic means for obtaining a DNA sequence corresponding to a solution to the problem by combining corresponding DNA sequences. According to the DNA computer of the present invention, even if the calculation is complicated, the required amount of DNA is not so large, the calculation process can be easily performed, and the calculation step is relatively small. By performing calculations with numbers, accurate calculation can be performed with a low occurrence rate of solution errors.
  • Yet another object of the present invention is a calculation method using a DNA combi- ter that performs calculations using DNA, comprising: a division step for dividing a problem to be solved into a plurality of subproblems; It is another object of the present invention to provide a calculation method using a DNA computer, comprising a step of calculating a DNA sequence corresponding to the solution of the problem by combining the DNA sequences corresponding to the solution of the problem.
  • the calculation process can be easily performed without increasing the amount of required DNA even when the calculation becomes » and the calculation process is relatively small. By performing the calculation with the number of calculation steps, the occurrence of solution errors can be kept low and accurate calculations can be performed.
  • Figure 1 shows an example of a genetic algorithm generation
  • Figure 2 shows an example of the selection of a genetic algorithm.
  • Figure 3 shows an example of genetic algorithm crossover
  • FIG. 4 is a diagram showing an example of a mutation in a genetic algorithm.
  • Fig. 5 is a flowchart showing an example of the calculation process of the DNA computer.
  • Fig. 6 is a diagram showing an example of coding candidate solutions in the case of solving the effective Hamilton path problem.
  • FIG. 8 is a diagram showing an example of the screening in the case,
  • FIG. 8 is a block diagram showing the configuration of the DNA computer,
  • Figure 9 is a diagram illustrating the case where the problem is divided into subproblems by the serial partitioning method.
  • Figure 10 shows the operation of the DNA computer when the problem can be divided into subproblems by the serial partitioning method. Illustration to explain,
  • FIG. 11 is a diagram illustrating ⁇ that divides a problem into subproblems by a layered network type partitioning method
  • Fig. 12 is a diagram illustrating the operation of the DNA computer when the problem can be divided into subproblems by the layered network type partitioning method.
  • Figure 1 3 is a diagram showing 1 4 illustrating a control of the DNA computer by genetic algorithm, full port 1 ⁇ Teya 1 you want to explain the control of a DNA computer
  • Genetic Arugorizumu - 1 5 combines oligo Diagram showing the relationship between nucleotide (DNA fragment) length and GC content,
  • Figure 16 shows a constrained solution created from a constrained solution candidate DO using an evolutionary method. Diagram explaining the catching,
  • FIG. 17 is a diagram illustrating a constrained solution candidate created from the constrained solution D 1 using a progressive method
  • FIG. 18 is a diagram illustrating a constrained seizure created from the constrained seizure D 2 using an evolutionary method
  • FIG. 19 is a diagram illustrating a restricted solution candidate created from the restricted solution candidate D3 using the progressive method
  • FIG. 20 is a diagram illustrating a constrained solution candidate created from the constrained solution candidate D 4 using an evolutionary method
  • FIG. 21 is a flowchart illustrating a method of omitting useless operations using a progressive method.
  • FIG. 22 is a flowchart illustrating a method for speeding up the calculation by referring to a previous calculation result using an evolutionary method.
  • FIG. 23 is a diagram illustrating the GC content of a solution candidate
  • Figure 24 shows an effective graph showing the effective Nomilton path problem.
  • FIG. 25 is a diagram showing a partial problem of the problem shown in FIG. 24,
  • FIG. 26 shows a partial problem including the partial problem shown in FIG. 25,
  • FIG. 27 is a diagram showing a partial problem including the partial problem shown in FIG. 26,
  • FIG. 28 is a diagram showing a partial problem including the partial problem shown in FIG. 27,
  • FIG. 29 is a diagram showing a partial problem including the partial problem shown in FIG. 28,
  • Figure 30 is a diagram showing the coding method of the nodes of the effective Hamilton path problem.
  • Figure 31 is a diagram showing the coding method of the effective edge of the effective Nomilton path problem.
  • the error occurrence rate of the solution obtained by the DNA computer is reduced.
  • the problem to be calculated by the DNA computer is composed of partial problems
  • the solution of the entire problem can be obtained by combining the solutions of these partial problems.
  • the solution of the whole problem is logically independent of the order in which the partial problems are solved.
  • an unexpected error may occur because the sequence of the DNA differs depending on the order in which the ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ ⁇ partial problems of the DNA computer are solved. Therefore, in this embodiment, the error rate of the solution is reduced by optimizing the parameters of the DNA computer, such as the calculation order of the partial problems, by a genetic algorithm.
  • the coding method used to code the problem to be solved by computation into DNA is one variable X i and four types of DNA nucleotides representing its value (adenine (A), guanine (G), cytosine (C) And a combination of thymine (T)). That is, the problem to be solved is coded into a nucleotide sequence that represents the variable and a nucleotide sequence that represents the value of the variable (eg, “true” or “false”).
  • the problem catcher coded in this way is injected into a test tube S where the night is intense, and the basic computing power S is applied.
  • the basic operations include five operations: “Amplify”, “Merge” J, “Separation (Get)”, “Append”, and “Detect” J. “Amplification” Is represented by amplify (S, SI, ..., S i, 7) and the DN in test tube S
  • S l get (S, condition) and satisfies (or does not satisfy) a certain condition represented by the sequence of nucleotides 8, T, G, and C from the test tube S. This is an operation to take out DNA and inject it into another test tube S1.
  • “Addition” is an operation of adding a nucleotide sequence designated as SI-append (S, x), which is designated as satisfying a certain condition of the end of the DNA molecule in test tube S.
  • SI-append S, x
  • X indicates a nucleotide sequence to be added
  • S1 indicates a set of DNAs (test tubes) obtained by adding the nucleotide sequence X to the DNA in the test tube S.
  • Detection is an operation for checking whether or not the DN A is in the test tube S.
  • “detection” is an operation that returns “true J” to test tube S if test tube S contains at least one DNA, and “false” otherwise.
  • the DNA computer combines the above five operations according to the problem to be solved, and finds a solution from the first candidate DNA solution.
  • the length of DNA sequences tends to be longer.
  • One of the reasons for the increase in the length of the DNA sequence is such accumulation of genetic information.
  • the DNA of an organism can be interpreted as a collection of solutions to problems that have been solved in the process of evolution. Therefore, in this embodiment, the solution of the partial problem is similarly represented by a one-dimensional array, and the solution or the candidate solution of the original problem is combined with the solution of the partial problem to search for the solution of the original problem. Seeking, going forward Use a chemical method.
  • FIG. 8 is a block diagram showing a configuration of the DNA computer 11.
  • the DNA molecule chemical reaction section 1 consists of a test tube into which DNA has been injected.
  • the chemical reaction controller 2 injects enzymes, primers (DNA fragments), etc. into the DNA molecule chemical reactor 1.
  • the DNA encoding unit 3 prepares a DNA required for the setup of the DNA computer 11.
  • the DNA computer control unit 4 is a general-purpose computer that holds a program using the basic operation of the DNA computer 11 and instructs the chemical reaction control unit 2 and the DNA molecule reaction unit 1 to perform operations.
  • the detection unit 5 is a device that reads the output (DNA sequence) of the DNA computer 11 by electrophoresis or the like.
  • the above progressive method is applied to the DNA computer 11 shown in FIG. 8, and the solution of the partial problem is stored as the corresponding nucleotide sequence, and is used when solving the next partial problem.
  • the solution of the subproblem one prior to the solution of the subproblem that is finally found to fail by computer simulation is stored without controversy. This is because if it is available when finding the solution to another subproblem, it is used efficiently to find the solution.
  • the constrained solution «C k of the subproblem P k is either“ C k is a solution of the subproblem P k ”or“ Explicitly states that C k is not a part of the solution of the problem P V ⁇ An unexplained ray (it may be part of the solution to problem P) ".
  • the solution is always represented as a nucleotide sequence (one-dimensional sequence of A, ⁇ , G, C), so any constrained solution candidate C k of the partial problem P k is , When part of a constrained feature C k + 1 with +1. ] + + 1 includes], and the partial problem P k + 1 at this time includes the partial problem P k.
  • a computer simulation clarifies whether the constrained solution candidate of P k + 1 is an actual solution candidate, which is derived from a constrained solution candidate of the sub-problem P k
  • the computational efficiency of the DNA computer 11 can be improved by not performing the operation of the DNA computer 11 on the condition that the constrained solicitation of the partial problem P k + 1 is not an actual solution candidate. it can.
  • FIG. 9 is a diagram for explaining how a problem is divided into subproblems by a serial division method. This figure shows that the original problem P is divided into four subproblems P1 to P4 for convenience of explanation and connected by the arcs that make up the graph.
  • FIG. 10 shows the DNA compilation when the problem can be divided into subproblems by the serial decomposition method.
  • FIG. 3 is a diagram for explaining the operation of data 11;
  • the partial problem P 1 is solved by the DNA computer 11, and the solution C 1 is fed back to the DNA computer 11.
  • the partial problem P 2 is solved by the DNA computer 11 using the solution C 1, and the solution C 2 is fed back to the DNA computer 11.
  • the same operation is performed thereafter, and the solution C4 is output from the DNA computer 11 to complete the operation.
  • the solution of the partial problem P1 can be represented by the nucleotide sequence C1.
  • a marker indicating that this corner is a solution of the partial problem P1 is attached to the 3 terminal of the nucleotide sequence C1.
  • nucleotide sequence C1 which is a solution of the partial problem P2 is linked to the nucleotide sequence C1.
  • a marker indicating that this solution is a solution of the partial problem P2 is added to 3, in the nucleotide sequence C2, and the same operation is repeated thereafter.
  • a solution can be expressed by a combination of a nucleotide sequence indicating which partial problem is present and a nucleotide sequence indicating the solution.
  • a nucleotide sequence representing a solution to a partial problem can be placed at the center, and nucleotide sequences indicating which partial problem is a solution can be placed on both sides thereof.
  • nucleotide sequence representing a solution to a problem In order to synthesize a nucleotide sequence representing a solution to a problem from a nucleotide sequence representing a solution to a partial problem, a combination of nucleotide sequences representing a partial problem may be used as a primer. Note that the order of solving the ⁇ and partial problems of the serial division method may be changed. It is also possible to turn this problem into subproblems in an easy-to-solve order and find the solution in a short time.
  • FIG. 11 is a diagram illustrating a case where a problem is divided into partial problems by a layered network type division method.
  • the original problem P is a graph in which four subproblems P1 to P are connected by an arc, and a graph in which four subproblems P5 to P8 are connected by an arc. This shows that the two subproblems P9 to P12 are divided into graphs connected by arcs.
  • FIG. 12 is a diagram illustrating the operation of a DNA computer when a problem can be divided into subproblems by a layered network type partitioning method.
  • the partial problem P 1 is solved by the DNA computer 11, and the solution C 1 is feed-packed to the DNA computer 11.
  • the partial problem P 2 is solved by the DNA computer 11 using the solution C 1, and the solution C 2 is fed back to the DNA computer 11.
  • operations on the partial problems P 3 and P 4 are performed in the same manner, and the solution C 4 is output from the DNA computer 11 and fed back to the DNA computer 11.
  • the operation for the sub-problems P5 to P8 is performed in parallel and in the same manner as the operation for the subproblems P1 to P4.
  • the solution C8 is output from the DNA computer 11 and is sent to the DNA Feedback will be given.
  • the operations for the partial problems P9 to P12 are performed in parallel and in the same manner as the operations for the partial problems P1 to P4.
  • the solution C12 is output from the DNA computer 11 and the DNA computer 11 Feed-packed to 1.
  • the solutions C 4, C 8, and C 12 are output from the DNA computer 11 and fed back to the DNA computer 11, the operation ends.
  • the solution is a subproblem (generally, multiple subproblems) solved in the previous layer Mix with DNA.
  • By combining these angles ⁇ in the same manner as in the tandem type division method, it is possible to obtain a catch-all.
  • DNA expressing the solution of the subproblem corresponding to the node in the last layer is injected together into the same test tube, and the solution is selected from the solution candidates in this test tube .
  • a solution can be represented by a combination of a nucleotide sequence indicating which layer in which layer of a layered network corresponds to which partial problem and a nucleotide sequence representing the solution.
  • a nucleotide sequence representing a solution to a partial problem can be placed at the center, and nucleotide sequences indicating which partial problem of which layer of the layered network corresponds to which partial problem can be placed on both sides of the nucleotide sequence.
  • nucleotide sequence representing a solution to a problem In order to synthesize a nucleotide sequence representing a solution to a problem from a nucleotide sequence representing a solution to a partial problem, a combination of nucleotide sequences representing which partial problem in which layer of the layered network can be used as a primer.
  • ⁇ 8 ⁇ of the layered network type division method The order of keys may be changed. In this case, the order of the layers corresponds to the chromosomes.
  • the order in which the partial problems are solved can be entered using the serial partitioning method, it is desirable to solve the partial problems in the order that minimizes the error rate of the solution required by the DNA computer.
  • the order of solving such partial problems is determined by using a genetic algorithm (GA).
  • Chromosomal fitness f of genetic algorithm calculates the correct answer rate as CR, the solution error rate as ER, weighting coefficients as W1 to W4, constants as CV1, CV2, and DNA computer as one solution.
  • the calculation time required to calculate the solution by CT and the DNA molecular weight required by the DNA computer to calculate the solution by MQ the calculation is based on the error rate ER of the solution of the final problem. Defined as any of equations (1) to (3)
  • Equation (1) calculates the fitness f based on the error rate ER of the final solution.
  • Equation (2) calculates the fitness f based on the error occurrence rate ER of the final solution and the calculation time CT required for the DNA computer 11 to calculate the solution.
  • Equation (3) calculates the fitness f based on the error rate ER of the final solution and the DNA molecular weight MQ required for the DNA computer 11 to calculate the solution.
  • the fitness f may be an average value calculated based on at least two of the equations (1) to (3).
  • FIG. 13 is a diagram for explaining the control of the DNA computer by the genetic algorithm.
  • the fitness for solving partial problems Pl and P2 in this order is f1.
  • the subproblems P 2 and P 1 are solved in this order.
  • the fitness of 3 ⁇ 4 ⁇ is f 2.
  • the fitness for solving the partial problems P 11 and P 12 in this order is f 3.
  • PMX Partially Matched Crossover
  • PMX is a crossover method that consistently constructs child chromosomes based on the mapping between genes in chromosomal regions to be crossed over.
  • Partial problems that require a long DN A calculation time CT for the computer 1 1 to calculate the solution and those that require multiple levels of DN A molecular weight MQ for the computer 1 1 to calculate the solution
  • the region of the chromosome containing is selected as the target for crossover, and the fitness f can be effectively increased.
  • Mutations transform two genes with a certain probability. Mutations that do not satisfy the constraints are prohibited if the ⁇ of the mutation also has a constraint on the order in which the partial problems are solved. Furthermore, the region where the mutation occurs is divided into a partial problem that requires a long DNA calculation time CT for the DNA computer 11 to calculate the solution, and a DNA molecular weight that is large for the DNA computer 11 to calculate the solution. If the region of the chromosome contains a partial problem that requires MQ, the mutation f can effectively increase the fitness f.
  • FIG. 14 is a flowchart illustrating control of a DNA computer by a genetic algorithm.
  • steps S21 to S28 are executed by a general-purpose computer
  • steps S31 to S37 are executed by a DNA computer 11.
  • step S21 the problem to be solved is divided into the above-mentioned subproblems.
  • Step S22 creates an initial population of genetic algorithm (GA) solution candidates by randomizing the order of solving the subproblems.
  • step S23 an operation called crossover is performed on the initial group.
  • step S24 the initial group is mutated and checked, and in step S25, the order in which the partial problem is solved is passed to the DNA computer 11.
  • Step S 26 calculates the fitness f based on the information such as the correct answer rate CR from the DNA computer 11, and Step S 27 determines the order of solving the partial problem based on the fitness f Error rate of solution found by DNA computer 1 1 E Choose the order that minimizes R.
  • step S28 it is determined whether or not the solution of the partial problem in the selected order satisfies a certain criterion (constraint). If the answer is NO, the process returns to step S23. . On the other hand, if the decision result in the step S28 is YES, the processing of the general-purpose computer ends.
  • step S31 calculates the partial problem represented by the chromosome of each individual in the order in which the partial problems passed from step S25 are solved.
  • Step S33 finds a solution to the k-th subproblem.
  • step S34 if there is a DNA representing the solution of the k-1st partial problem, the DNA is combined with DNA representing the solution of the kth partial problem.
  • a step S36 decides whether or not the power has been calculated for all the partial problems. If the decision is NO, the process returns to the step S33.
  • step S37 is necessary for calculating the fitness f such as the correct answer rate CR (or error occurrence rate ER), the calculation time CT, the DNA molecular weight MQ, and the like.
  • the information is calculated based on the above equations (1) to (3) and passed to a general-purpose computer. Specifically, step S37 passes information necessary to calculate fitness f to step S26.
  • FIG. 15 is a diagram showing the relationship between the length of the oligonucleotide (DNA fragment) to be combined and the GC content.
  • the subproblems P1 to P3 are defined as follows.
  • the subproblem P1 is "Making a DNA less than 9 bases in length with one oligonucleotide”.
  • the subproblem P2 is “make DNA with 9 oligonucleotides or less in length with 2 oligonucleotides”.
  • the subproblem P3 is "to make a DNA of 9 or less in length with three oligonucleotides”.
  • the restricted solution candidate is a DNA having a length of 9 bases or less.
  • FIGS. 16 to 20 are diagram illustrating a constrained solicitation made from an oligonucleotide (constrained solution candidate) DO using an evolutionary method.
  • FIG. 17 is a diagram illustrating a restricted solution candidate created from the restricted solution candidate D1 by using the progressive method.
  • FIG. 18 is a diagram illustrating a restricted solution candidate created from the restricted solution candidate D2 by using an evolutionary method.
  • FIG. 19 is a diagram illustrating a constrained solicitation that is created from the constrained solution candidate D3 using an evolutionary method.
  • FIG. 20 is a diagram for explaining a restricted solution candidate created from the restricted solution candidate D4 by using an evolutionary method.
  • the DNA marked with "X" is not a constrained solution candidate, so no actual DNA is created.
  • the numbers in parentheses near the constrained solution candidates indicate the length of the base sequence of the constrained solution candidate, and the second number indicates the GC of the constrained solution candidate. Indicates content (arbitrary unit).
  • the constrained solution candidate of the subproblem P2 is obtained using the constrained solution candidates D0, D1, D2, D3, and D4 of the subproblem P1.
  • oligonucleotides D0_D1, D0-D2, D0-D3, 00-04 which are oligonucleotides (fragments of DNA) D0 plus oligonucleotides D1, D2, D3, and D4.
  • the oligonucleotides DO-Dl, DO-D2, D0-D3, D0-D4 are 6, 7, 9, and 8 bases in length, respectively, and have CG contents of 37, 40, 49, and 44, respectively.
  • the oligonucleotides DO-Dl, D0-D2, D0-D3, and DO-D4 are all less than or equal to 9 and are constrained solution candidates, so the DNA computer 11 is actually operated. To make the corresponding DNA.
  • the oligonucleotides D 1, D 2, D 1 -D 3 and D 1 -D 4 are similarly obtained by adding the oligonucleotides D 2, D 3, D 4 and D 0 to the oligonucleotide D 1.
  • D 1 -DO, Oligonucleotide D 2 and Oligonucleotides D 2, D 4, DO, D 1, Oligonucleotides D 2-D 3, D 2-D 4, D 2-D 0, D 2
  • D 1 year old Oligonucleotide D 4 to Oligonucleotide D 3 DO, Dl, D2 added oligonucleotides D3-D4, D4-DO, D4-D1, D4_D2, oligonucleotide D4 added oligonucleotides DO, D1, D2, D3 to oligonucleotide D 4—DO, D4-D1, D4—D2, D4-D3 can also be shown to be constrained weather catchers.
  • the constrained solution candidate of the subproblem P3 is obtained using the constrained solution of the subproblem P2.
  • oligonucleotides D 0 -D 1 -D 2 in which oligonucleotide D 2 is added to oligonucleotide DO-D 1. Since the length of the oligonucleotide D 0—D 1—D 2 is 9 or less, and it is a restricted solution candidate, the DNA computer 11 is actually operated to create the corresponding DNA.
  • the oligonucleotide D0-D1-D3 in which the oligonucleotide D3 is added to the oligonucleotide DO-D1 is considered.
  • the length of the oligonucleotide D 0— D 1— D 3 is 11 bases, not less than 9 bases, and not a constrained angle. It is not a candidate, so the actual DNA computer 11 is operated to create the corresponding DNA. I will not do it.
  • oligo nucleotide D 4 is added to genomic oligonucleotide D 0—D 1.
  • the partial problem P k by clarifying by computer simulation whether or not the constrained solution candidate of partial problem Pk + 1 derived from a restricted solution candidate with partial problem Pk becomes an actual solution candidate, the partial problem P k
  • the computational efficiency of the DNA computer 11 can be improved by not performing the operation of the DNA computer 11 on the ⁇ that the restricted solution candidate does not become an actual solution candidate.
  • FIG. 21 is a flowchart illustrating a method of omitting useless operations using the progressive method.
  • step S41 determines whether or not the length exceeds 9 bases when the oligonucleotide D3 is added to the oligonucleotide DO-D1, and if the determination result is NO, the length is determined. Since it is 9 bases or less, it is judged to be a restricted candidate. On the other hand, if the decision result in the step S41 is YES, the step S42 judges that the oligonucleotides D0—D1—D3 are not candidate solutions with restrictions. In step S43, the computation by the DNA computer 11 is not performed because the computation for the oligonucleotides DO-D1-D3 is broken in the middle.
  • oligonucleotide D 0—D 2 plus the oligonucleotide D 1 Consider 0—D2—D1.
  • Oligonucleotide DO—D 2—D 1 is 9 bases in length, and it is a constrained catcher, so the DNA computer 11 is actually operated to create the corresponding DNA.
  • oligonucleotide DO-D3 Since the length of oligonucleotide DO-D3 is already 93 ⁇ 43 ⁇ 4, we will not add any more oligonucleotides! Regarding the oligonucleotide DO-D4, the length exceeds 9 even if any of the oligonucleotides Dl, D2, and D3 is added. Therefore, no more oligonucleotides should be added.
  • the oligonucleotides D1-D2-D0 and D1-D2-D4 are 9 bases in length and are constrained solution candidates, but oligonucleotides D1-D2-D3 The length of is 10 bases and exceeds 9 bases, so it is not a restricted catcher. Oligonucleotides D 1. -D3-D0, D1-D3-D2, and D1-D3-D4 all have a length of 10 bases or more, and are not constrained solution candidates.
  • oligonucleotide D1-D4-D0 obtained by adding the oligonucleotide D0 to the oligonucleotide D1-D4.
  • Oligonucleotide D 1 _D 4 — D 0 has a length of 10, not less than 9 bases, and is not a constrained candidate. However, the previous constrained solution candidate D1—D4 is saved.
  • oligonucleotides D 1 _D 4 -D 2 can be obtained by adding oligonucleotides D 2 to solution candidates (oligonucleotides) D 1 -D 4 that have been stored. Since the length of this oligonucleotide D1-D4-D2 is 9 bases, it will be a restricted catcher, and the same procedure as above will be repeated.
  • FIG. 22 is a flowchart illustrating a method for speeding up the calculation by referring to the previous calculation result using the evolutionary method.
  • step 51 is performed, for example, with the addition of the oligonucleotide D2 to the oligonucleotide D1 to D4 with restrictions. It is determined whether or not it will be a catcher, and if the answer is YES, it is determined that the candidate is a restricted solution candidate. On the other hand, if the result of step S51 is NO, step S52 determines whether the solution one step before can not be used. In this case, the previous step is, for example, step S53.
  • the length of the oligonucleotide D1-D4 is 6 bases, and it is determined to be a restricted weather catcher.
  • the length of the oligonucleotide D1-D4-DO obtained by adding the oligonucleotide P0 to the oligonucleotide D1-D4 is more than 9 bases at 10 bases. I'm not sure.
  • step S52 shows that the solution one step before can be used
  • step S55 shows that oligonucleotide D 1 obtained by adding oligonucleotide D 2 to oligonucleotide D 1—D 4 — D 4—
  • the length of D 2 is 9 3 ⁇ 4S, and it is determined that the candidate is a restricted solution candidate.
  • the restricted solution candidates obtained for the first time from the restricted solution candidate D1 of the partial problem P1 are as shown in FIG.
  • the constrained solution candidate first obtained from the constrained solution candidate D2 of the subproblem P1 is as shown in FIG. 18, and the constraint obtained for the first time from the constrained solution candidate D3 of the subproblem P1
  • the candidate solution with constraints is as shown in FIG. 19, and the candidate solution with constraints obtained for the first time from the candidate solution D 4 with constraints of the partial problem P1 is as shown in FIG. 20.
  • the DNA sequence must be It is desirable that the GC content be uniform. By doing so, the DNA sequence with the highest GC content can provide a stable code as a DNA computer.
  • the DNA computer 11 operates correctly. To do so, it is necessary to prepare a primer that is a DNA fragment complementary to the DNA to be amplified by the PCR method. As a necessary condition for this, it is known that it is desirable that the DNA sequence has a uniform GC content. Assuming that the problem consists of three subproblems ⁇ , ⁇ , and ⁇ , the chromosomes ⁇ «, ⁇ , y), ⁇ , a, y ⁇ , ⁇ a, y , j3 ⁇ , etc. are the order in which the partial problems are solved. As described in the above reference 1, if an error occurs in the solution of the first partial problem, the error propagates to the subsequent calculations, which lowers the calculation accuracy of the DNA computer 11.
  • the fitness ⁇ of one chromosome is calculated as follows. For example, if the chromosome is (a, ⁇ ), the solution candidates for partial problem ⁇ ; are a 1 and a 2, the solution solutions for partial problem b 1 and b 2, and the solution solutions for partial problem T are c 1 and c 2 ,
  • the DNA of the candidate is also represented by the same symbol, and its GC content is represented by gc (a 1) or the like.
  • CV 3 indicates a constant.
  • FIG. 23 is a diagram for explaining the GC content (arbitrary unit) of the solution candidate.
  • the initial group of the genealogical algorithm consisting of the following four individuals [ ⁇ , ⁇ , ⁇ , ⁇ , a, y], ⁇ , ⁇ , a], ⁇ y, ⁇ , ⁇ ⁇ ].
  • CV3 100 in the above equation (4)
  • the fitness f is obtained as in the following equations (5) to (8).
  • f ⁇ ⁇ , ⁇ , 7 ⁇ ] 60 Equation (5)
  • f ⁇ ⁇ , a, y ⁇ ] 30 Equation (6)
  • f ⁇ ⁇ , y, a ⁇ ] 5 1 Equation (8)
  • Figure 24 is an effective graph showing the effective Hamilton path problem.
  • This figure consists of 14 nodes N1 to N14. From the start point of node N1 to the goal point of node N12, it is necessary to include each node (vertex) only once, and to determine whether there is a series of oriented edges. The effective Hamilton path problem to be judged is shown. As can be seen from this figure, this effective graph has a subgraph with the same structure. Using the regularity of this effective graph, consider the subgraphs shown in Figs.
  • Figure 25 is Figure 26 shows a partial problem with the partial problem shown in Figure 25, Figure 26 shows a partial problem with the partial problem shown in Figure 25, and Figure 27 shows a partial problem with the partial problem shown in Figure 26 FIG.
  • FIG. 28 is a diagram showing a partial problem including the partial problem shown in FIG. 27, and FIG. 29 is a diagram showing a partial problem including the partial problem shown in FIG. In FIGS. 25 to 29, the dashed arrow indicates the Hamiltonian path.
  • FIG. 30 is a diagram showing a code method of a node of an effective Nomilton path problem
  • FIG. 31 is a diagram showing a code method of an effective edge of an effective Hamilton path problem.
  • the DNA computer 11 solves the partial problem shown in FIG. 25 where the goal is the node N4.
  • the nodes N5, N6, N13, N14 which are used as shown in Fig. 26, and the effective edge 4 ⁇ 5, 4 ⁇ 6, 4 ⁇ 13, 5 ⁇ 6, 5 ⁇ 14, 13 ⁇ 5, 13 ⁇ 14, 1 4 ⁇
  • Put DNA as shown in Figures 30 and 31 corresponding to 6 in a test tube.
  • x ⁇ y indicates an effective edge connecting node N x and node N y.
  • the node N 6 is set as the goal point as shown in FIG.
  • the calculation time required for the DNA computer to calculate the solution and the DN ⁇ molecular weight required to calculate the solution are reduced, Calculation can be performed efficiently.
  • solution candidates can be generated effectively, and the solution of the problem can be searched efficiently.

Landscapes

  • Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Life Sciences & Earth Sciences (AREA)
  • Biophysics (AREA)
  • Theoretical Computer Science (AREA)
  • Bioinformatics & Cheminformatics (AREA)
  • Bioinformatics & Computational Biology (AREA)
  • Evolutionary Biology (AREA)
  • Health & Medical Sciences (AREA)
  • Nanotechnology (AREA)
  • Chemical & Material Sciences (AREA)
  • Mathematical Physics (AREA)
  • Data Mining & Analysis (AREA)
  • Computational Linguistics (AREA)
  • General Health & Medical Sciences (AREA)
  • Molecular Biology (AREA)
  • Computing Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Evolutionary Computation (AREA)
  • Software Systems (AREA)
  • Biomedical Technology (AREA)
  • Artificial Intelligence (AREA)
  • Crystallography & Structural Chemistry (AREA)
  • Genetics & Genomics (AREA)
  • Measuring Or Testing Involving Enzymes Or Micro-Organisms (AREA)

Abstract

DNAを利用して計算を実行するDNAコンピュータは、解くべき問題を複数の部分問題に分割する分割部と、前記複数の部分問題の解に対応するDNA配列を組み合わせることで、前記問題の解に対応するDNA配列を求める演算部とを備えるように構成されている。

Description

DN Aコンピュータ及びそれを用いた計算方法 技術分野
本発明は、 DN Aコンピュータ及びそれを用いた計算方法に係り、 特に複雑な 計算に適した DNAコンピュータ及びそれを用いた計算方法に関する。
DN Aコンピュータは、 解の探索空間が非常に大きな最適化問題等を DN Aの 分子反応を利用して高速に解くコンピュータである。 DNAコンピュータのハー ドウエアは、 DN Aを構成するヌクレオチドと呼ばれる分子である。 DNAに、 DNAコンピュータの基本演算を施して得られる DNAのヌクレオチド配列が、 DNAコンピュータの出力となる。 この出力を表す DN Aのヌクレオチド酉己列は 、 ヌクレオチド配列のコピーを大量に作成するポリメラーゼ連鎖反応 (P C R) を使用して増幅する。 ヌクレオチドの分子量の違いを利用して DN Aのヌクレオ チド配列を電気泳動法により決定することで、 D N Aコンピュータの出力が読み 取られる。 背景技術
1 . 1 遣伝的アルゴリズム:
遺伝的ァノレゴリズムとは、例えば D. Goldberg, "Genetic Algorithms in Search, Optimization, and Machine Learning", Addison - Wesley, 1989等で説明されて いるように、 生物の遣伝の機構を模倣して工学的に応用する技術である。
生物の進化の過程では、 既存の個体 (親) から新たな個体 (子) が生まれる際 に、 個体の持つ染色体同士の交叉、 染色体上の遺伝子の突然変異等が起こる。 環 境に適応しない個体は淘汰され、 環境により適応した個体が生き延びて新たな親 となり、 更に新たな子孫を作つて行く。
このようにして、 環境に適応した個体の集団が生き延びて行く。 各個体同士が どの程度環境に適応するかは、 染色体 (遺伝子の一次元ストリング) により決定 される。 遣伝的アルゴリズムでは、 最適化問題の解候補を遺伝子の一次元ストリ ングである染色体として表現し、 解候捕の集団に対して選択 (Selection) , 自己 (Reproduction)、交叉 (Crossover)、突然変異 (Mutation)等の操作を繰り 返し施すことにより、 最適解の探索を行う。 図 1は、 このような遺伝的アルゴリ ズムの世代の一例を示す図である。
最適化問題の目的関数が環境に相当し、 目的関数を最適にするもの程大きレヽ値 を取るような適応度関数が染色体に対して定義される。 選択 (又は自己観) と は、集団の中で適応度の高い染色体を持つ個体をより高い確率で選択して次世代 の親とする操作である。 図 2は、 遺伝的アルゴリズムの選択の一例を示す図であ る。 交叉とは、 2つの染色体 (親) の一部を互いに入れ換えて新たな個体 (子) を作り出す操作である。 図 3は、 遣伝的アルゴリズムの交叉の一例を示す図であ る。 突然変異とは、 1つの染色体の一部の遺伝子をランダムに置き換える操作で ある。 図 4は、 遺伝的アルゴリズムの突然変異の一例を示す図である。
これらの如き操作を繰り返すことにより、適応度 (Fitness) のより高い染色体 、 即ち、 目的関数をより最適化する解が得られる。
1 . 2 DNAコンピュータ:
D NAコンピュータとは、 例えば Kevin Bonsor, "How DNA computer will work , WWW, August, 2002 (http: 11 www. howstuffworks. com/ dna - computer 1. htm)等 で説明されているように、 生物の遺伝情報である D N Aを利用して計算を行うコ ンピュータである。 図 5は、 DNAコンピュータの計算処理の一例を示すフロー チャートである。 同図中、 ステップ S 1は、 計算処理により解くべき問題を DN Aにコード化する。 ステップ S 2は、 十分な量の解候捕の D N Aを作成するハイ ブリダィゼイシヨンを行う。 ステップ S 3は、 DN Aコンピュータにより、 解候 補のスクリ一二ングを行レ、、 解候補から解を選び出す。
D NAは、 デォキシリポ核酸で構成されている。 デォキシリボ核酸は、 ヌクレ ォチドから構成されている。 ヌクレオチドは、 糖、 リン酸基及び塩基から構成さ れている。 糖及ぴリン は、 デォキシリボ核酸で共通であるが、 塩酸基の違い でアデニン (A)、 グァニン (G)、 シトシン (C) 及ぴチミン (T) の 4種類が ある。 ヌクレオチドの 5, リン^ ¾と別のヌクレオチドの 3, 水^ ¾が結合して —種の共有結合 (ホスホジエステル結合) を形成する。 新しいヌクレオチドは、 D NAの 3, «に付加される。 ヌクレオチドの驢部分は、 他のヌクレオチド の 部分と水素結合により結合する。 ヌクレオチドの塩基部分の結合の相手に は制約があり、 Aと T、 Gと C力 S塩基対を形成でき、 これを相補性と言う。
DNAコンピュータは、 与えられ問題の解候捕を 4種類のヌクレオチド A, Τ , G, Cで図 6に示すようにコード化する。 図 6は、 有効ノヽミルンパス問題を解 く の解候捕のコ一ド化の一例を示す図である。 このような解候捕のコ一ド化 は、 例えば荻谷昌己及び鶴貴、 「DNAコンピュータ」、 培風館、 2 0 0 1等で 説明されている。
このようにしてコードィ匕された問題の解候捕は、 赚の入つた試験管 Sに注入 され、後述する基本演算が施される。基本演算には、 「増幅(Amplify)」、 「合体 ( Merge)」、 「分離 (Get)」、 「付加 (Append)」 及ぴ 「検知 (Detect)」 の 5つの操作 力 S含まれる。 尚、 このような ¾φ:演算自体は、例えば陶山明、 「分子コンピュータ の実験」、 数理科学、 ( 4 4 5 ) ; 2 7— 3 1、 2 0 0 0等で説明されている。
「増幅」は、 DNAの入った試験管 S中のコピーを作る操作である。 「合体」は 、 DNAの入った 2つの試験管 S 1と S 2を 1つの試験管 S = S 1 U S 2に合わ せる操作である。 「分離」 は、試験管 Sからヌクレオチド A, T, G, Cの記号列 で表現される条件を満足する (或いは、 満足しない) DNAを分 »出して別の 試験管に注入する操作である。 「付加」は、試験管 Sの D N A分子の末端がある条 件を満足する に指定されたヌクレオチド配列を付加する操作である。 「検知」 は、 試験管 Sに対して、 試験管 Sが少なくとも 1つの D N Aを含むと 「真」 を返 し、 そうでないと 「偽」 を返す操作である。
DNAコンピュータは、 上記の如き 5つの操作を、 解くべき問題に応じて組み 合わせることにより、 最初に 蓆された DNAの解 ί^Ιから解を求める。 このよ うな D NAコンピュータの計算方法は、 例えば Leonard M. Adleman, "Molecular computation of solutions to combinational, problems'" , SCIENCE, 266 (5187); 1021-1024, 1994等で説明されており、 「エードルマンパラダイム (Adleman Paradigm)」 と呼ばれる。
図 7は、 有効ハミルンパス問題を解く場合のスクリ一二ングの一例を示す図で ある。 同図中、 S 1 1は問題のコードィ匕 (Coding) 段階を示し、 S 1 2はハイブ リダィゼイシヨン (Hybridization) 段階を示し、 S 1 3はスクリーニング ( Screening) 段階を示す。
しかし、 従来の DNAコンピュータでは、 計算が になるにつれて必要とな る DNAの量が増大してしまい、 計算処理を実際に行うことが困難になると共に 、 計算ステップ数が非常に多いために解のエラーの発生率が高くなつて正確な計 算が困難になるという問題があった。 発明の開示
本発明は、 上記の問題を解決した新規、 且つ、 有用な DN Aコンピュータ及ぴ それを用いた計算方法を樹共することを概括的目的とする。
本発明のより具体的な目的は、 計算が milになっても必要となる DN Aの量が 増大せずに計算処理を容易に行うことがきると共に、 比較的少ない計算ステップ 数で計算処理を行うことで解のエラーの発生率を低く抑えて正確な計算が行える DN Aコンピュータ及びそれを用いた計算方法を することにある。
本発明の他の目的は、 DN Aを利用して計算を実行する DN Aコンピュータで あって、 解くべき問題を複数の部分問題に分割する分割手段と、 ^^数の部分問 題の解に対応する D N A配列を組み合わせることで、 該問題の解に対応する D N A配列を求める演算手段とを備えたことを特徴とする D N Aコンピュータを « することにある。 本発明になる DNAコンピュータによれば、 計算が複雑になつ ても必要となる DN Aの量が增大せずに計算処理を容易に行うことができると共 に、 比較的少なレ、計算ステップ数で計算処理を行うことで解のェラーの発生率を 低く抑えて正確な計算が行える。
本 明の更に他の目的は、 D N Aを利用して計算を実行する DNAコンビユー タを用いた計算方法であって、 解くべき問題を複数の部分問題に分割する分割ス テツプと、 該複数の部分問題の解に対応する D N A配列を組み合わせることで、 該問題の解に対応する D N A配列を求める演算ステップとを含むことを特徴とす る DNAコンピュータを用いた計算方法を ¾することにある。 本発明になる D NAコンピュータを用いた計算方法によれば、 計算が »になっても必要となる DN Aの量が増大せずに計算処理を容易に行うことがきると共に、 比較的少ない 計算ステツプ数で計算処理を行うことで解のェラーの発生率を低く抑えて正確な 計算が行える。
本発明の更に他の目的及び特長は、 以下図面と共に述べる説明より明らカゝとな ろう。 図面の簡単な説明
図 1は、 遺伝的アルゴリズムの世代の一例を示す図、
図 2は、 遺伝的アルゴリズムの選択の一例を示す図、
図 3は、 遺伝的アルゴリズムの交叉の一例を示す図、
図 4は、 遺伝的ァルゴリズムの突然変異の一例を示す図、
図 5は、 DN Aコンピュータの計算処理の一例を示すフローチヤ一ト、 図 6は、 有効ハミルンパス問題を解く場合の解候補のコ一ド化の一例を示す図 図 Ίは、 有効ハミルンパス問題を解く場合のスクリ一-ングの一例を示す図、 図 8は、 DN Aコンピュータの構成を示すブロック図、
図 9は、 直列型分割法で問題を部分問題に分割する場合を説明する図、 図 1 0は、 問題を直列型分割法で部分問題に分割可能な場合の DN Aコンビュ ータの動作を説明する図、
図 1 1は、 レイヤードネットワーク型分割法で問題を部分問題に分割する^^ を説明する図、
図.1 2は、 問題をレイヤードネットワーク型分割法で部分問題に分割可能な場 合の DNAコンピュータの動作を説明する図、
図 1 3は、 遺伝的アルゴリズムによる DNAコンピュータの制御を説明する図 図 1 4は、 遺伝的ァルゴリズムによる D N Aコンピュータの制御を説明するフ 口1 ~~テャ1 ~ト- 図 1 5は、 組み合わせるオリゴヌクレオチド (DNAの断片) の長さと G C含 量の関係を示す図、
図 1 6は、 制約付き解候補 D Oから進化的方法を利用して作られる制約付き解 候捕を説明する図、
図 1 7は、 制約付き解侯捕 D 1から進ィヒ的方法を利用して作られる制約付き解 候補を説明する図、
図 1 8は、 制約付き解候捕 D 2から進化的方法を利用して作られる制約付き解 候捕を説明する図、
図 1 9は、 制約付き解候補 D 3から進ィ匕的方法を利用して作られる制約付き解 候補を説明する図、
図 2 0は、 制約付き解候補 D 4から進化的方法を利用して作られる制約付き解 候補を説明する図、
図 2 1は、 進ィ匕的方法を用いて無駄な演算を省略する方法を説明するフローチ ヤー卜、
図 2 2は、 進化的方法を用いて前の計算結果を参照して計算を高速化する方法 を説明するフローチャート、
図 2 3は、 解候補の G C含量を説明する図、
図 2 4は、 有効ノヽミルトンパス問題を示す有効グラフ、
図 2 5は、 図 2 4に示す問題の部分問題を示す図、
図 2 6は、 図 2 5に示す部分問題を含む部分問題を示す図、
図 2 7は、 図 2 6に示す部分問題を含む部分問題を示す図、
図 2 8は、 図 2 7に示す部分問題を含む部分問題を示す図、
図 2 9は、 図 2 8に示す部分問題を含む部分問題を示す図、
図 3 0は、 有効ハミルトンパス問題のノードのコード法を示す図、
図 3 1は、 有効ノヽミルトンパス問題の有効辺のコード法を示す図である。 発明を実施するための最良の形態
以下、 本発明になる DNAコンピュータ及びそれを用いた計算方法の実施例を 、 図 8以降と共に説明する。 先ず、 本実施例の動作原理を説明する。
2. 1 動作原理
生物は、 進化の過程で獲得した遺伝情報を捨て去ることなく保持している。 こ のため、 例えば生物の体節構造に関係した遺伝子の DN A配列は、 広範囲の種に 渡って類似している。 原核生物から真核生物、 単細胞生物から哺乳類へ進化する につれて DN A配列の長さが増加してきた理由の 1つは、 このような遣伝情報の 蓄積である。 遺伝情報を問題に対する解とみなすと、 生物の DNAは進化の過程 で解決してきた問題の解の集まりと解釈することができる。 生物自体が解決しよ うとしている究極の問題自体は、 自己増殖以外は現在のところは不明であるが、 DNAコンピュータは、 このようなプロセスを利用して問題を解くことができる コンピュータである。
D N Aコンピュータが複雑な問題を解く場合には、 必要となる D N Aの量が増 大してしまい、 計算処理を実際に行うことが困難になってしまう。 このため、 本 実施例では、 DNAコンピュータにより計算を実行したい問題が、 部分問題から 構成されてレ、ると考え、 この部分問題の解を組み合わせることで、 問題全体の解 を得る。 このようにして、 進化的手法を DNAコンピュータで使用することで、 必要となる DN Aの量が増大することを抑制し、 計算速度を向上させることがで さる。
又、 DNAコンピュータのパラメータを後述する遺伝的アルゴリズムで調整す ることにより、 DNAコンピュータが求める解のエラー発生率を低下させる。 こ の^、 DNAコンピュータで計算を実行するべき問題が部分問題から構成され ているものとすると、 この部分問題の解を組み合わせて問題全体の解が得られる 。 問題全体の解は、 論理的には部分問題を解く順番に依存しないものとする。 し かし、 DN Aコンピュータの ¾\ 部分問題を解く順番によって DN A配列が異 なるため、 予期できないエラーが発生する可能性がある。 そこで、 本実施例では 、 部分問題の計算順序といった DNAコンピュータのパラメータを、 遣伝的アル ゴリズムにより最適化することで、 解のエラ一発生率を低下させる。
2. 1 DNAコンピュータの構成
計算処理により解くべき問題を DNAにコード化する際に用いるコード法は、 1つの変数 X iとその値を表す DNAの 4種類のヌクレオチド (アデニン (A) 、 グァニン (G)、 シトシン (C) 及ぴチミン (T)) の組み合わせを使用する。 即ち、 解くべき問題は、 変数を表すヌクレオチド配列と、 変数の値 (例えば 「真 」 又は 「偽」) を表すヌクレオチド配列とにコードィ匕される。 このようにしてコード化された問題の解候捕は、激夜の入った試験管 Sに注入さ れ、基本演算力 S施される。基本演算には、 「增幅(AmpHfy)」、 「合体 (Merge) J , 「 分離 (Get)」、 「付加 (Append)」 及ぴ 「検知 (Detect) J の 5つの操作が含まれる 「増幅」 は、 amplify (S, S I,..., S i,...) で表され、試験管 S中の DN
Aである条件を満足する DNAの部 合を増幅して別の試験管 S iに分注する 操作である。
「合体」 は、 S=merge (S l, S 2,...) で表され、 DN Aの入った 2つ以上 の試験管 S l, S 2,... を 1つの試験管 Sに合わせる操作である。
「分離」 は、 S l=get (S, condition) で表され、試験管 Sからヌクレオチ ド八, T, G, Cの記号列で表現されるある条件を満足する (或いは、 満足しな い) DNAを分謹出して別の試験管 S 1に注入する操作である。
「付加」 は、 SI -append (S, x) で表され、 試験管 Sの DNA分子の末端 がある条件を満足する に指定されたヌクレオチド配列を付加する操作である 。 ここで、 Xは付加するヌクレオチド配列を示し、 S 1は試験管 S中の DNAに ヌクレオチド配列 Xを付加した DNAの集合 (試験管) を示す。
「検知」は、試験管 Sに DN Aがある力否かを廳する操作である。つまり、 「 検知」 は、 試験管 Sに対して、 試験管 Sが少なくとも 1つの DN Aを含むと 「真 J を返し、 そうでないと 「偽」 を返す操作である。
DNAコンピュータは、 上記の如き 5つの操作を、 解くべき問題に応じて組み 合わせることにより、 最初に «Iされた DNAの解候補から解を求める。
2. 3 DN Aコンピュータの制御法 (アルゴリズム)
生物が単純な原核生物から真核生物、 単細胞生物から哺乳類へ進化するような 長い時間スケールで進化を捉えると、 D N A配列の長さはより長くなる傾向があ る。 DN A配列の長さが増加してきた理由の 1つは、 このような遺伝情報の蓄積 である。 上記の如く、 遺伝情報を問題に対する解とみなすと、 生物の DNAは進 化の過程で解決してきた問題の解の集まりと解釈することができる。 そこで、 本 実施例では、 同様にして部分問題の解を一次元配列で表現し、 元の問題の解又は 解候補を、 部分問題の解を結合させて元の問題の解を検索することで求める、 進 化的手法を用いる。
図 8は、 DNAコンピュータ 1 1の構成を示すブロック図である。 同図中、 D NA分子化学反応部 1は、 碰中に DNAが注入された試験管からなる。 化学反 応制御部 2は、 DN A分子化学反応部 1への酵素、 プライマー (DNA断片) 等 の注入を行う。 DNAエンコード部 3は、 DNAコンピュータ 1 1のセットアツ プに必要な DN Aを準備する。 DNAコンピュータ制御部 4は、 DNAコンビュ ータ 1 1の基本演算を利用したプログラムを保持し、 化学反応制御部 2及び D N A分子反応部 1に操作を指示する汎用のコンピュータからなる。 検知部 5は、 D NAコンピュータ 1 1の出力 (DNA配列) を、 電気泳動法等により読み取る装 置からなる。
本実施例では、 上記進ィ匕的手法を図 8に示す DNAコンピュータ 1 1に適用し て、 部分問題の解を対応するヌクレオチド配列として保存し、 次の部分問題を解 く際に利用する。 この時、 コンピュータシミュレーションによって部分問題の解 が元の問題の解の一部分になる可能性があるカゝ否かを判定し、 可能性がある には DNAコンピュータ 1 1の演算を行い、 可能性がない場合には DNAコンビ ユータ 1 1の演算を行わない。 又、 最終的に破綻することがコンピュータシミュ レーシヨンによって明らかになった部分問題の解より 1つ前の部分問題の解は、 破献ずに保存しておく。 これは、 別の部分問題の解を求める時に利用可能であ れば利用して、 効率的に解を求めるためである。
次に、 ある問題 Pの部分問題 P kが定義できる場合を考える。 部分問題 P kの 制約付き解 «C kとは、 「C kが部分問題 P kの解である」、或いは、 「C kが問 題 Pの解の一部分ではな Vヽことを明示的に示せなレヽ (問題 Pの解の一部分である 可能性がある)」 Φ として定義する。 DNAコンピュータ 1 1の場合、解は常に ヌクレオチド配列 (A, Τ, G, Cの一次元配列) として表されるので、 部分問 題 P kの任意の制約付き解候補 C kが部分問題 P k + 1のある制約付き侯捕 C k + 1の一部分である時、 。]£ + 1が ] を含むものとし、 この時の部分問題 P k + 1は部分問題 P kを含むものとする。
部分問題 P kのある制約付き解候補から導力れる部分問題 P k + 1の制約付き 解候補が実際の解候補になるか否かをコンピュータシミュレーションで明確にす ることで、 部分問題 P k + 1の制約付き解候捕が実際の解候補とならなレヽ に は DNAコンピュータ 1 1の演算を行わないことで、 DNAコンピュータ 1 1の 計算効率 向上することができる。
又、 部分問題 P kの解候捕 k + 1 (制約付き解候補でなくても可) が問題 P の解にならないことがコンピュータシミュレーションにより明確になつた^^、 1つ前の部分問題 P kの制約付き解候補 C kから解候補 γ k + 1とは異なる解候 補を作り部分問題 P k + 1の制約付き解候補を見つける手法を用いることで、 D NAコンピュータ 1 1の計算効率を向上することができる。
部分問題 Ρ 1, Ρ 2,. · ·, Ρ Νをこの順番で解くことで得られる制約付き解候 補の中から、 問題 Ρの制約条件を満足する問題 Ρの解を選択する。 このような部 分問題の系列では、 生物の進ィ匕の方法と同様に、 部分問題 P i ( i = 2,…, N ) は 1つ前の部分問題の解候補を使用して解候補を構成する。
2. 4 問題の部分問題への分割法
エードルマンパラダイムでは、 予め解候補を全て用意しておき、 その中かち解 を選択することで計算時間を する。 しかし、 大規模な問題では、 解候補の総 数が非常に大きくなり、 現実的な解法ではなくなつてしまう。 そこで、 本実施例 では、 問題がいくつかの部分問題に分割可能な には、 DNAコンピュータ 1 1で部分問題を順番に解くことにより、 大規模な問題に対する現実的な解法を実 現する。 問題が分割可能な^に適用できる DNAコンピュータ 1 1のアルゴリ ズムには、 以下に説明する如き直列型分割法とレイヤードネットワーク型分割法 とがある。
2. 4. 1 直列型分割法:
直列型分割法の場合、 部分問題 P kの解が部分問題 P k + 1を解く際の入力の 一部として使用される。 ここで、 k = l , 2,· . ·, Nである。 このような関係を 、 部分問題 P kと部分問題 P k + 1をノードとしてこれらのノード間をアークで 結ぶグラフで表現する。 図9は、 直列型分割法で問題を部分問題に分割する を説明する図である。 同図は、 説明の便宜上、 元の問題 Pが 4つの部分問題 P 1 〜P 4に分割されて、 グラフを構成するアークで結ばれる を示す。
図 1 0は、 問題を直列型分割法で部分問題に分割可能な場合の DN Aコンビュ ータ 1 1の動作を説明する図である。 同図中、 部分問題 P 1は、 DNAコンビュ ータ 1 1により解力れ、 解 C 1が DNAコンピュータ 1 1にフィードバックされ る。 部分問題 P 2は、 解 C 1を用いて DNAコンピュータ 1 1により解力れ、 解 C 2が DNAコンピュータ 1 1にフィードバックされる。 以下同様にして演算が 行われ、 DNAコンピュータ 1 1より解 C 4が出力されて演算が終了する。 例えば、 部分問題 P 1の解をヌクレオチド配列 C 1で表すことができるものと する。 この 、 ヌクレオチド配列 C 1の 3, 末端に、 この角?が部分問題 P 1の 解であることを示すマーカーを付ける。 このヌクレオチド配列 C 1を使用して、 部分問題 P 2の解であるヌクレオチド配列 C 2を、 ヌクレオチド配列 C 1に結合 させる。 ヌクレオチド配列 C 2の 3, には、 この解が部分問題 P 2の解であ ることを示すマーカーを付け、 以下同様の操作を繰り返す。 このようにして、 部 分問題の解のコ一ド法として、 どの部分問題であるかを示すヌクレオチド配列と 解を表すヌクレオチド配列の組み合わせで解を表現することができる。 又、 部分 問題の解を表すヌクレオチド配列を中央に置き、 その両側にどの部分問題の解で あるかを示すヌクレオチド配列を置くことができる。 部分問題の解を表すヌクレ ォチド配列から問題の解を表すヌクレオチド配列を合成するために、 部分問題を 表すヌクレオチド配列の組み合わせをプライマーとして利用することもできる。 尚、 直列型分割法の^^、 部分問題を解く順序を入れ換える もある。 この ^、 問題を解き易い順序で部分問題に^^し、 解を短時間で求めるようにして も良い。
2. 4. 2 レイヤードネットワーク型分割法:
レイヤードネットワーク型分割法の場合、 部分問題の解が他の 1以上の部分間 題を解く際の入力の一部として使用され、 且つ、 部分問題をノードとしてこれら のノード間をアークとするグラフがレイヤードネットワークで表現される。 図 1 1は、 レイヤードネットワーク型分割法で問題を部分問題に分割する場合を説明 する図である。 同図は、 説明の便宜上、 元の問題 Pが、 4つの部分問題 P 1〜P がアークで結ばれたダラフと、 4つの部分問題 P 5〜 P 8がアークで結ばれた グラフと、 4つの部分問題 P 9〜P 1 2がアークで結ばれたグラフとに分割され る を示す。 同図の^、 レイヤードネットワークは 3レイヤからなる。 図 1 2は、 問題をレイヤードネットワーク型分割法で部分問題に分割可能な場 合の DNAコンピュータの動作を説明する図である。 同図中、 部分問題 P 1は、 DNAコンピュータ 1 1により解力れ、 解 C 1が DNAコンピュータ 1 1にフィ ードパックされる。 部分問題 P 2は、 解 C 1を用いて DNAコンピュータ 1 1に より解力れ、 解 C 2が DNAコンピュータ 1 1にフィードパックされる。 以下同 様にして部分問題 P 3, P 4に対する演算が行われ、 DNAコンピュータ 1 1よ り解 C 4が出力されて DNAコンピュータ 1 1にフィードバックされる。 部分問 題 P 5〜P 8に対する演算は、 部分問題 P 1〜P 4に対する演算と並行に、 且つ 、 同様に行われ、 DNAコンピュータ 1 1より解 C 8が出力されて DNAコンビ ユータ 1 1にフィードバックされる。 部分問題 P 9〜P 1 2に対する演算も、 部 分問題 P 1〜P 4に対する演算と並行に、 且つ、 同様に行われ、 DNAコンビュ ータ 1 1より解 C 1 2が出力されて DNAコンピュータ 1 1にフィードパックさ れる。 DNAコンピュータ 1 1より解 C 4, C 8 , C 1 2が出力されて DNAコ ンピュータ 1 1にフィードバックされると、 演算は終了する。
例えば、 あるレイヤに属するノードに対応する部分問題を解くための DNAが 入った試験管には、 1つ前のレイヤで解力れた部分問題 (一般には複数の部分問 題) の解である DNAと混ぜ合わせる。 これらの角军を、 直列型分割法の と同 様に結合することにより、 解候捕を得ることができる。 最終的な解を得るには、 最後のレイヤのノードに対応する部分問題の解を表現している DNAをまとめて 同じ試験管に注入し、 この試験管の中の解候補から解を選別する。
このようにして、 部分問題の解のコ一ド法として、 レイヤードネットワークの どのレイヤのどの部分問題であるかを示すヌクレオチド配列と解を表すヌクレオ チド配列の組み合わせで解を表現することができる。 又、 部分問題の解を表すヌ クレオチド配列を中央に置き、 その両側にレイヤードネットワークのどのレイャ のどの部分問題の解であるかを示すヌクレオチド配列を置くことができる。 部分 問題の解を表すヌクレオチド配列から問題の解を表すヌクレオチド配列を合成す るために、 レイヤードネットワークのどのレイヤのどの部分問題であるかを表す ヌクレオチド配列の組み合わせをプライマーとして利用することもできる。 尚、 レイヤードネットワーク型分割法の^ 8\ レイヤードネットワークのレイ ャの順序を入れ換える もある。 この 、 レイヤの順序が染色体に対応する ことになる。
2. 5 解のエラー発生率の抑制
直列型分割法を用いる 、 部分問題を解く順番を入; えることができる間 題については、 DNAコンピュータが求める解のエラー発生率が最も少なくなる 順序で部分問題を解くことが望ましい。 このような部分問題を解く順序は、 遺伝 的アルゴリズム (GA: Genetic Algorithm) を用いることで求める。 遺伝的ァルゴ リズムの染色体の適応度(Fitness) f は、正解率を CR、解のエラー発生率を E R、 重み付け係数を W1〜W4、 定数を CV1, CV2、 DNAコンピュータ 1 1カ解を計算するのに必要な計算時間を CT、 DNAコンピュータが解を計算す るのに必要な D N A分子量を MQで表すと、 最終的な問題の解のェラ一発生率 E Rに基づいて計算され、 以下の式 (1) 〜式 (3) のいずれかの如く定義される
f =CR=100-ER 式 (1) f =W1 X (100— ER) +W2 X (CV1-CT) 式 (2) f =W3 X (100— ER) +W4 X (CV2-MQ) 式 (3) 式 (1) は、 適応度 f を最終的な解のエラー発生率 ERに基づいて計算する。 式 (2) は、 最終的な解のエラー発生率 ERに加え、 DNAコンピュータ 11が 解を計算するのに必要な計算時間 CTに基づいて適応度 f を計算する。 又、 式 ( 3) は、 最終的な解のエラー 生率 ERに加え、 DNAコンピュータ 11が解を 計算するのに必要な DNA分子量 MQに基づいて適応度 f を計算する。 尚、 適応 度 f は、 式 (1) 〜式 (3) のうち、 少なくとも 2つに基づいて計算したものの 平均値等を用いても良い。
図 13は、 遣伝的アルゴリズムによる DNAコンピュータの制御を説明する図 である。 同図中、 部分問題 Pl, P 2をこの順序で解く場合の適応度は f 1であ り、 部分問題 P 2, P 1をこの順序で解く ¾ ^の適応度は f 2である。 又、 部分 間題 P 1 1, P 1 2をこの順序で解く の適応度は f 3である。
染色体の交叉には、 PMX (Partially Matched Crossover) を用いる。 PMX は、 交叉の対象となる染色体の領域にある遺伝子間のマッビングを元に子供の染 色体を矛盾なく構成する交叉法の 1つである。 ただし、 部分問題を解く順序に制 約があり、 子供の染色体がその制約を満足しない には、 子供を作らない。 D NAコンピュータ 1 1が解を計算するのに長い DN A計算時間 C Tを必要とする 部分問題や、 DN Aコンピュータ 1 1が解を計算するのに多レヽ DN A分子量 MQ を必要とする部分問題を含む染色体の領域を交叉の対象として選択して、 適応度 f を効果的に増加させることができる。
突然変異は、 2つの遺伝子をある定められた確率で変換する。 突然変異の^^ も、 部分問題を解く順序に制約がある^には、 制約を満足しない突然変異は禁 止される。 更に、 突然変異を起こす領域を、 D NAコンピュータ 1 1が解を計算 するのに長い D NA計算時間 C Tを必要とする部分問題や、 D NAコンピュータ 1 1が解を計算するのに多い DNA分子量 MQを必要とする部分問題を含む染色 体の領域とすると、 突然変異によって適応度 f を効果的に增加させることができ る。
図 1 4は、 遺伝的アルゴリズムによる DNAコンピュータの制御を説明するフ ローチャートである。 同図中、 ステップ S 2 1〜S 2 8は、 汎用コンピュータに より実行され、 ステップ S 3 1〜S 3 7は、 DNAコンピュータ 1 1により実行 される。
図 1 4において、 ステップ S 2 1は、 解くべき問題を上記の如き部分問題に分 割する。 ステップ S 2 2は、 部分問題を解く順序をランダムにして遺伝的ァルゴ リズム (GA) の解候補の初期集団を作る。 ステップ S 2 3は、 初期集団に対し て、 交叉という操作を行う。 ステップ S 2 4は、 初期集団に対して、 突然変異と レ、う操作を行い、 ステップ S 2 5は、 DN Aコンピュータ 1 1へ部分問題を解く 順序を渡す。 ステップ S 2 6は、 DNAコンピュータ 1 1からの正解率 C R等の 情報に基づいて適応度 f を計算し、 ステップ S 2 7は、 適応度 f に基づいて、 部 分問題を解く順序のうち、 DNAコンピュータ 1 1が求める解のエラー発生率 E Rが最も少なくなる順序を選択する。 ステップ S 28は、 選択された順序で か れた部分問題の解がある基準 (制約) を満たしている力否かを判定し、 判^果 が NOであると、 処理はステップ S 23へ戻る。 他方、 ステップ S 28の判定結 果が YESであると、 汎用コンピュータの処理は終了する。
他方、 DNAコンピュータ 11において、 ステップ S31は、 上記ステップ S 25から渡される部分問題を解く順序で、 各個体の染色体が表す部分問題を計算 する。 ステップ S32は、 部分問題の番目 kを k = 0に設定する。 ステップ S3 3は、 k番目の部分問題の解を求める。 ステップ S34は、 k— 1番目の部分問 題の解を表す DN Aがあれば、 k番目の部分問題の解を表す DNAと結合する。 ステップ S 35は、 kを k = k+lにインクリメントする。 ステップ S36は、 全ての部分問題について解を計算した力否かを判定し、 判 果が NOであると 、 処理はステップ S 33へ戻る。 他方、 ステップ S 36の判定結果が YESであ ると、 ステップ S37は、 正解率 CR (又はエラー発生率 ER)、 計算時間 CT、 DNA分子量MQ等の、 適応度 f を計算するのに必要な情報を上記式 (1) 〜式 (3) に基づいて計算し、 汎用コンピュータへ渡す。 具体的には、 ステップ S3 7は、 適応度 f を計算するのに必要な情報を、 上記ステップ S 26へ渡す。
次に、 異なる 4種類のオリゴヌクレオチド (DNAの断片) DO, Dl, D2 , D 3, D 4を組み合わせて D N Aの配列長が決まつた長さである 9塩基以下で 、 且つ、 G, Cの含量 (以下、 単に GC含量と言う) が大きい DNAを合成する という元の問題 Pを考える。つまり、 この問題 Pは、 「長さが 9塩基以下の DN A で GC含量が最大のものを求めよ」 ということである。 図 15は、 組み合わせる オリゴヌクレオチド (DNAの断片) の長さと GC含量の関係を示す図である。 このも の部分問題 P 1〜P 3は、次のように定義される。部分問題 P 1は、 「 1つのォリゴヌクレオチドで長さが 9塩基以下の D N Aを作る」 である。 部分問 題 P 2は、 Γ 2つのォリゴヌクレオチドで長さが 9塩基以下の D N Aを作る」であ る。又、部分問題 P 3は、 「3つのォリゴヌクレオチドで長さが 9 以下の D N Aを作る」 である。 この場合、 制約付き解候補は、 長さが 9塩基以下の DNAで あ 。
最初、 試験管には 4種類のオリゴヌクレオチド (DNAの断片) DO, Dl, D2, D3, D 4が入っているものとする。 この齢、 オリゴヌクレオチド DO , D 1, D2, D3, D 4の長さはいずれも 9 以下なので、 図 16〜図 20 からわかるように、 これらのオリゴヌクレオチド DO, D 1, D2, D3, D4 はいずれも部分問題 P 1の制約付き解候補である。 図 1 6は、 オリゴヌクレオチ ド (制約付き解候補) DOから進化的方法を利用して作られる制約付き解候捕を 説明する図である。 図 1 7は、 制約付き解候補 D 1から進ィ匕的方法を利用して作 られる制約付き解候補を説明する図である。 図 18は、 制約付き解候補 D 2から 進化的方法を利用して作られる制約付き解候補を説明する図である。 図 1 9は、 制約付き解候補 D 3から進化的方法を利用して作られる制約付き解候捕を説明す る図である。 図 20は、 制約付き解候補 D 4から進化的方法を利用して作られる 制約付き解候補を説明する図である。 図 16〜図 20中、 「X」 印の付けられた DNAは、 制約付き解候補ではないので、 実際の DNAは作られない。 又、 制約 付き解候補の近傍に示された括弧内の数字は、 最初 (1番目) の数字が制約付き 解候補の塩基配列の長さを示し、 2番目の数字が制約付き解候補の GC含量 (任 意単位) を示す。
部分問題 P 2の制約付き解候補は、 上記部分問題 P 1の制約付き解候補 D 0, D 1, D2, D3, D 4を使って求める。 先ず、 オリゴヌクレオチド (DNAの 断片) D 0にオリゴヌクレオチド D 1, D 2, D3, D 4をィ寸カ Qしたオリゴヌク レオチド D0_D 1, D0-D2, D0-D3, 00—04を考ぇる。 オリゴヌ クレオチド DO— Dl, DO— D2, D0—D3, D 0— D 4は、 長さが夫々 6 , 7, 9, 8塩基であり、 C G含量が夫々 37, 40, 49, 44である。 つま り、 オリゴヌクレオチド DO— Dl, D0-D2, D0-D3, DO— D4は、 いずれも長さが 9 以下であり、 制約付き解候補であるので、 実際に DNAコ ンピュータ 1 1を動作させて対応する DNAを作る。 図 16からわかるように、 以下同様にして、 オリゴヌクレオチド D 1にォリゴヌクレオチド D 2, D3, D 4, D 0を付加したォリゴヌクレオチド D 1— D 2, D1-D3, D 1—D4, D 1 -DO, オリゴヌクレオチド D 2にォリゴヌクレオチド D 3, D4, DO, D 1を付加したォリゴヌクレオチド D 2— D 3, D 2— D4, D2—D0, D 2 一 D 1才リゴヌクレオチド、 オリゴヌクレオチド D 3にォリゴヌクレオチド D 4 , DO, D l, D2を付加したオリゴヌクレオチド D3— D4, D4— DO, D 4-D 1, D4_D2、 オリゴヌクレオチド D 4にオリゴヌクレオチド DO, D 1, D2, D 3を付加したオリゴヌクレオチド D 4— DO, D4-D 1, D4— D2, D4-D3も制約付き解候捕であることが示せる。
次に、 部分問題 P 3の制約付き解候補は、 上記部分問題 P 2の制約付き解候捕 を使って求める。 先ず、 オリゴヌクレオチド DO— D1にオリゴヌクレオチド D 2を付加したオリゴヌクレオチド D 0-D 1-D2を考える。 オリゴヌクレオチ ド D 0— D 1— D 2の長さは 9 以下であり、制約付き解候補であるので、 実 際に DNAコンピュータ 1 1を動作させて対応する DNAを作る。
次に、 オリゴヌクレオチド DO— D 1にォリゴヌクレオチド D 3を付加したォ リゴヌクレオチド D 0-D 1-D3を考える。 才リゴヌクレオチド D 0— D 1— D 3の長さは 1 1塩基であり 9塩基以下ではなく、 制約付き角 ¥候補ではないので 、 実際に DNAコンピュータ 1 1を動作させて対応する DNAを作ることはしな い。 才リゴヌクレオチド D 0— D 1にォリゴヌクレオチド D 4を付加する場合も 同様である。 つまり、 部分問題 Pkのある制約付き解候補から導力れる部分問題 Pk+1の制約付き解候補が実際の解候補になる力否かをコンピュータシミュレ ーションで明確にすることで、 部分問題 P kの制約付き解候補が実際の解候補と ならない^^には DNAコンピュータ 1 1の演算を行わないことで、 DNAコン ピュータ 1 1の計算効率を向上することができる。
図 21は、 このように、 進ィ匕的方法を用いて無駄な演算を省略する方法を説明 するフローチヤ一トである。 同図中、 ステップ S 41は、 例えばオリゴヌクレオ チド DO— D 1にオリゴヌクレオチド D 3を付加すると長さが 9塩基を超えるか 否かを判定し、 判定結果が NOであると、 長さが 9塩基以下なので制約付き解候 補であると判断する。 他方、 ステップ S 41の判定結果が Y E Sであると、 ステ ップ S 42は、 オリゴヌクレオチド D 0— D 1— D 3は制約付き解候補ではなレヽ と判断する。 又、 ステップ S 43は、 オリゴヌクレオチド DO— D1—D 3につ いては演算が途中で破綻するので、 DNAコンピュータ 1 1による演算は行わな い。
次に、 才リゴヌクレオチド D 0— D 2にォリゴヌクレオチド D 1を付加した D 0— D2— D 1を考える。 オリゴヌクレオチド DO— D 2— D 1の長さは 9塩基 であり、 制約付き解候捕であるので、 実際に DNAコンピュータ 11を動作させ て対応する DN Aを作る。
オリゴヌクレオチド DO—D 3の長さは既に 9¾¾になっているので、 これ以 上オリゴヌクレオチドを付 ¾!しない。 オリゴヌクレオチド DO— D 4についても 、 オリゴヌクレオチド Dl, D2, D 3のいずれを付加しても長さが 9 を超 えてしまうので、 これ以上ォリゴヌクレオチドを付加しなレ、。
才リゴヌクレオチド D 1一 D2の場合、 オリゴヌクレオチド D 1-D2-D0 , D1— D2—D4の長さは 9塩基であり、 制約付き解候補となるが、 オリゴヌ クレオチド D1—D 2—D 3の長さは 10塩基であり 9塩基を超えるので、 制約 付き解候捕とはならない。 又、 オリゴヌクレオチド D 1. -D3-D0, D1-D 3-D2, D 1— D3—D4はいずれも長さが 10塩基以上となるため、 制約付 き解候補とはならない。
次に、 才リゴヌクレオチド Dl— D4にオリゴヌクレオチド D 0を付加したォ リゴヌクレオチド D 1— D 4— D 0を考える。 オリゴヌクレオチド D 1 _D 4— D 0の長さは 10 であり 9塩基以下ではなく、 制約付き角早候補とはならな 、 。 しかし、 1つ前の制約付き解候補 D1—D 4は保存しておく。 これにより、 保 存しておレ、た解候補 (ォリゴヌクレオチド) D 1— D4にオリゴヌクレオチド D 2を付加することで、 オリゴヌクレオチド D 1 _ D 4— D 2が得られる。 このォ リゴヌクレオチド D1— D 4—D 2の長さは 9塩基なので、 制約付き解候捕とな り、 以下上記と同様の手順を繰り返す。
つまり、 部分問題 P kの解候補 γ k + 1 (制約付き解候補でなくても可) が問 題 Pの解にならないことがコンピュータシミュレーションにより明確になった場 合、 1つ前の部分問題 P kの制約付き解候補 C kから解候補; k + 1とは異なる 解候補を作り部分問題 P k + 1の制約付き解候補を見つける手法を用いることで 、 DNAコンピュータ 11の計算効率を向上することができる。
図 22は、 このように、 進化的方法を用いて前の計算結果を参照して計算を高 速化する方法を説明するフローチャートである。 同図中、 ステップ 51は、 例え ばォリゴヌクレオチド D2を付加したォリゴヌクレオチド D 1 _ D 4は制約付き 解候捕になるカゝ否かを判定し、 判 ^果が Y E Sであると制約付き解候補である と判断する。 他方、 ステップ S 51の判雄果が NOであると、 ステップ S 52 は、 1ステップ前の解が使えないかを ¾ ^する。 この場合、 1ステップ前のステ ップとは、 例えばステップ S 53である。 このステップ S 53は、 オリゴヌタレ ォチド D 1— D 4の長さが 6塩基であり制約付き解候捕であると判断している。 又、 ステップ S 54は、 オリゴヌクレオチド D1— D 4にオリゴヌクレオチド P 0を付加したオリゴヌクレオチド D1— D 4— DOの長さは 10塩基で 9塩基を 超えているので、 制約付き解候捕ではないと判断している。 従って、 この^^、 ステップ S 52は 1ステップ前の解が使えることを 、し、 ステップ S 55は、 オリゴヌクレオチド D 1— D 4にォリゴヌクレオチド D 2をィ寸カ Πしたォリゴヌク レオチド D 1— D 4— D 2の長さは 9 ¾Sであり、 制約付き解候補であると判断 する。
部分問題 P 1の制約付き解候補 D 1から初めて得られる制約付き解候補は、 図 17に示す如くとなる。 同様にして、 部分問題 P 1の制約付き解候補 D 2から初 めて得られる制約付き解候補は、 図 18に示す如くとなり、 部分問題 P 1の制約 付き解候補 D 3から初めて得られる制約付き解候補は、 図 19に示す如くとなり 、 部分問題 P1の制約付き解候補 D 4から初めて得られる制約付き解候補は、 図 20に示す^!くとなる。
DNAコンピュータ 11から GC含量が最大の DN A配列を取り出すと、 長さ が 9塩基で GC含量が 58の解として、 D1—D2—D4, D 1-D4-D2, D2-D 1 -D4, D2-D4-D 1, D4-D1-D2, D4— D2— D1が 得られる。
上述の荻谷昌己及び横森貴、 「DNAコンピュータ」、 培風館、 2001 (以下 、 単に 「文献 1」 と言う) に記載されているように、 DNAコンピュータが正常 に動作するためには、 DN A配列の GC含量が揃っていることが望ましい。 そう することで、 GC含量が最大の DN A配列により、 DNAコンピュータのコード として安定したものを得ることができる。
2. 6 遺伝的アルゴリズムの適用
上記文献 1に記載されているように、 DNAコンピュータ 11を正確に動作さ せるには、 P C R法で増幅 の D N Aと相補的な D N A断片であるプライマー の溶解 を揃えておく必要がある。 このための必要条件として、 D N A配列の GC含量が揃っていることが望ましいことが知られている。 問題が 3つの部分問 題 α, β, γで構成されていると仮定すると共に、 この時の遺伝的アルゴリズム の染色体 {«, β, y), {β, a, y}, {a, y, j3 } 等を部分問題を解く順番 であるものとする。 上記文献 1に記載されているように、 初めの部分問題の解で 誤りが発生すると、誤りが後の計算に伝播し、 DNAコンピュータ 1 1の計算精 度を低下させてしまう。
1つの染色体の適応度 ίは、 次のようにして計算する。 例えば、 染色体が {a , γ, の場合、 部分問題 α;の解候補が a 1, a 2、 部分問題 の解候補が b 1, b 2、 部分問題 Tの解候補が c 1, c 2であると、 解侯補の D N Aも同じ記 号で表して、 その GC含量を g c (a 1) 等で表すものとする。 次式 (4) 中、 CV 3は定数を示す。 又、 図 23は、 解候補の GC含量 (任意単位) を説明する 図である。 f =CV3- [2s {(* g c α-g c (a 1)) 2+ (* g c α-g c (a 2) ) 2} +22 {(* g c y— g c (c 1)) 2+ (* g c y-g c (c 2)) 2} + 2 {* g c β-g c (b 1)) 2+ (* g c 3— g c (b 2)) 2}] 式 (4) 上記式 (4) 中、 * 。 は解候補3 1, a 2の GC含量の平均値を示し、 * g c yは解候補 c 1, c 2の G C含量の平均値を示し、 * g c は解候補 b 1, b 2の G C含量の平均値を示す。 式 (4) からもわかるように、 初めに解くべき 部分問題の解の GC含量のばらつきが少なければ少ない程、 適応度 f は大きくな る。
ここで、 次のような 4個体から構成された遣伝的ァルゴリズムの初期集団 [ { , β, γ}, {β, a, y], {β, γ, a], {y, β, α}] を ¾|する。 上記式 (4) において定数 CV3 = 1 00であるものとすると、 適応度 f は次式 (5) 〜式 (8) のように求まる。 f ί{α, β, 7}] =60 式 (5) f ί{β, a, y}] =30 式 (6) f ί{β, y, a}] -27 式 (7) f [{7, i3, a}] = 5 1 式 (8)
{a, β, y] と {γ, β, a} を交叉させると、 親の個体と同じものが得-ら れる。 2番目と 3番目の遺伝子を交換する突然変異を {α, β, γ), {y, β, a) に施すと、 {α, γ, β], {y, α, β} が得られ、適応度 f は次式(9), ( 1 0) のようになる。 f ί{α, γ, i3}] =72 式 (9) f [{7, , j3}] =66 式 (1 0) 従って、 この は適応度 fが最も大きな解候補 { , y, J3} が最適解を与 えることになる。
2. 7 有効ハミルトンパス問題への適用
与えられた問題を部分問題へ分割する一般的なアルゴリズムを見つけるのは難 しいが、 与えられた問題にある の規則性がある には、 この規則性を利用 して問題を部分問題に分割することができる。
図 24は、 有効ハミルトンパス問題を示す有効グラフである。 同図は、 14個 のノード N1〜N14からなり、 ノード N 1のスタート地点からノード N1 2の ゴール地点まで各ノード (頂点) を必ず 1回のみ含み向きのある辺の系列がある 否かを判定する有効ハミルトンパス問題を示す。 同図からもわかるように、 こ の有効グラフには、 同じ構造の部分グラフが存在する。 この有効グラフの規則性 を利用して、 図 25〜図 29に示す如き部分グラフを考える。 図 25は、 図 24 に示す問題の部分問題を示す図、 図 2 6は、 図 2 5に示す部分問題を含む部分問 題を示す図、 図 2 7は、 図 2 6に示す部分問題を含む部分問題を示す図、 図 2 8 は、 図 2 7に示す部分問題を含む部分問題を示す図、 図 2 9は、 図 2 8に示す部 分問題を含む部分問題を示す図である。 図 2 5〜図 2 9中、 破線で示す矢印がハ ミルトンパスを示す。 又、 部分グラフが上記部分問題 P k (k = l , 2, 3 , 4 , 5) に対応している。
有効ハミルトンパス問題を解くための D N Aコンピュータ自体は、 上述の Leonard M. Aaleman, Molecular computation of solutions to combinational problems", SCIENCE, 266(5187); 1021 - 1024, 1994 (以下、 単に 「文献 2」 と言 う) にて既に提案されている。 そこで、 1 4個のノード N 1〜N 1 4と 2 5個の 有効辺を図 3 0及ぴ図 3 1のようにコード化することで、 上記文献 2で提案され ている DNAコンピュータを DNAコンピュータ 1 1として用いて図 2 4に示す 有効ハミルトンパス問題を解くことができる。 図 3 0は、 有効ノヽミルトンパス問 題のノードのコード法を示す図、 図 3 1は、 有効ハミルトンパス問題の有効辺の コード法を示す図である。
この^、 部分問題を次のように逐次解くことで、 DNAコンピュータ 1 1が 解を計算するのに必要な計算時間 C Tと、 DNAコンピュータが解を計算するの に必要な DN A分子量 MQを減少させることができる。 つまり、 図 2 5に示す部 分問題に関係したノードと有効辺をコ一ド化した D N Aを利用して上記文献 2に 提案された方法で解候捕を求める。 この:^、 ノード N 2 , N 3 , N 4のうちど のノードをゴール地点とするべきかが問題となる。 本実施例では、 DNAコンビ ユータ 1 1を使用する前に、 コンピュータシミュレーションによりノード N 2及 ぴノード N 3をゴール地点として選択した場合の解がなレ、ことを予め知ることが できるので、 そのようなゴール地点を有する部分問題は予め排除しておくことで 、 DNAコンピュータ 1 1を効率良く使用することができる。
又、 ノード N 4をゴール地点とする図 2 5に示す部分問題を D N Aコンピュー タ 1 1に解力せる。 次に、 この部分問題の解候補を表す DN Aが入っている試験 管に、 図 2 6に示され新たに使われるノード N 5, N 6 , N 1 3 , N 1 4と有効 辺 4→5, 4→6 , 4→1 3 , 5→6 , 5→1 4 , 1 3→5 , 1 3→1 4 , 1 4 → 6に対応した図 3 0及ぴ図 3 1に示す如き D NAを試験管に入れる。 ここで、 x→yは、 ノード N xとノード N yとを結ぶ有効辺を示すものとする。 そして、 上記と同様の方法で、 図 2 6に示すよう〖こノード N 6をゴール地点に設定し、 上 記文献 2に提案された方法で解 βを求める。 以下同様の操作を図 2 9に示す部 分問題まで繰り返すことで、 上記文献 2に提案されている方法より効率的に有効 ノヽミルトンパス問題を DNAコンピュータ 1 1で解くことができる。
上述の如く、 本発明では、 DNAコンピュータと進化的方法を組み合わせるこ とで、 DNAコンピュータが解を計算するのに必要な計算時間と解を計算するの に必要な DN Α分子量を減少させて、 計算を効率的に行うことができる。 又、 D N Aコンピュータが极う問題を部分問題に分割することで、 解候補を効果的に発 生させ、 問題の解を効率的に探索することができる。 更に、 DN Aコンピュータ と遺伝的アルゴリズムを組む合わせることにより、 DNAコンピュータが計算す る解のエラー発生率を抑えて計算を効率的に行うこともできる。
尚、 本発明は、 上記実施例に限定されるものではなく、 本発明の範囲内で種々 の改良及び変更が可能であることは、 言うまでもない。

Claims

請求の範囲
1 . DNAを利用して計算を実行する DNAコンピュータであって、 解くべき問題を複数の部分問題に分割する分割手段と、
該複数の部分問題の解に対応する D N A配列を組み合わせることで、 該問題の 解に対応する DN A配列を求める演算手段とを備えたことを特徴とする、 DNA コンピュータ。
2. 前記 DN Aコンピュータのパラメータを、 遺伝的アルゴリズムにより最 適化する最適化手段を更に備えたことを特徴とする、 請求の範囲第 1項記載の D
NAコンピュータ。
3 . 前記パラメータは、 前記演算手段が前記部分問題を解く計算順序である ことを特徴とする、 請求の範囲第 2項記載の D NAコンピュータ。
4 . 前記遺伝的アルゴリズムの染色体の適応度は、 嫌己 DNAコンピュータ による前記問題の解の正解率、 前記問題の解を計算するのに必要な計算時間、 前 記問題の角军を計算するのに必要な D N A分子量及び前記解の G。含量のうち、 少 なくとも 1つに基づレヽていることを特徴とする、 請求の範囲第 2項又は第 3項記 載の DNAコンピュータ。
5 . 編己分割手段は、 部分問題 P kの解を部分問題 P k + 1を解く際の入力 の一部として使用する直列型分割法を用いることを特徴とする、 請求の範囲第 1 項〜第 4項の!/、ずれか 1項記載の D NAコンピュータ。
6 . 前記演算手段は、 前記複数の部分問題の解のコード法として、 どの部分 問題であるかを示す D N A配列と解を表す D N A配列の組み合わせで解を表現す ることを特徴とする、 請求の範囲第 5項記載の DNAコンピュータ。
7. 編己演算手段は、 各部分問題の解を表す DNA配列を中央に置き、 その 両側にどの部分問題の解であるかを示す DNA配列を置くことを特徴とする、 請 求の範囲第 6項記載の D N Aコンピュータ。 8. 前記演算手段は、 嫌己複数の部分問題の解を表す DNA配列から問題の 解を表す DNA配列を合成するために、 数の部分問題を表す DN A配列の組 み合わせをプライマーとして利用することを特徴とする、 請求の範囲第 5項記載 の DNAコンピュータ。 9. 前記分割手段は、 問題を解き易い順序で部分問題に ^军することを特徴 とする、 請求の範囲第 5項記載の DN Aコンピュータ。
1 0. 廳己演算手段は、 嫌己複数の部分問題を解く順序を入れ換えることを 特徴とする、 請求の範囲第 5項記載の D N Aコンピュータ。
1 1 . 前記分割手段は、 各部分問題の解が他の 1以上の部分問題を解く際の 入力の一部として使用され、 且つ、 前記複数の部分問題をノードとしてこれらの ノード間をアークとするグラフがレイヤードネットワークで表現されるレイヤー ドネットワーク型分割法を用いることを特徴とする、 請求の範囲第 1項〜第 4項 のいずれか 1項記載の DNAコンピュータ。
1 2. fifE演算手段は、 漏己複数の部分問題の解のコード法として、 編己レ ィヤードネットワークのどのレイャのどの部分問題であるかを示す D N A配列と 解を表す DN A配列の組み合わせで解を表現することを糊 とする、 請求の範囲 第 1 1項記載の DNAコンピュータ。
1 3. 前記演算手段は、 各部分問題の解を表す DNA配列を中央に置き、 そ の両側に前記レイヤードネットワークのどのレイャのどの部分問題の解であるか を示す DNA配列を置くことを特徴とする、 請求の範囲第 1 2項記載の DNAコ ンピュータ。
1 4. 嫌己演算手段は、 嫌己複数の部分問題の解を表す DNA配列から問題 の解を表す D N A配列を合成するために、 該複数の部分問題を表す D N A配列の 組み合わせをプライマーとして利用することを特徴とする、 請求の範囲第 1 1項 記 の DNAコンピュータ。
1 5 . コンピュータシミュレーションにより各部分問題の解が前記問題の解 の一部分になる可能性があるカゝ否かを判定する判定手段を更に備え、
前記演算手段は、 各部分問題の解が ΙίίΐΒ問題の解の一部分になる可能性がある ί には演算を行い、 可能性がなレヽ場合には演算を行わないことを特徴とする、 請求の範囲第 1項〜第 1 4項のいずれか 1項記載の DN Αコンピュータ。
1 6 . 最終的に破綻することが前記コンピュータシミュレーションにより判 定された部分問題の解より 1つ前の部分問題の解を、 別の部分問題の解を求める 時に利用可能に保存する保存手段を更に備えたことを特徴とする、 請求の範囲第 1項〜第 1 5項のいずれか 1項記載の DN Aコンピュータ。
1 7. DNAを利用して計算を実行する DNAコンピュータを用いた計算方 法であって、
解くべき問題を複数の部分問題に分割する分割ステツプと、
复数の部分問題の解に対応する D N A配列を組み合わせることで、 該問題の 解に対応する DN A配列を求める演算ステップとを含むことを特徴とする、 DN
Aコンピュータを用いた計算方法。
1 8. 爾己 DNAコンピュータのパラメータを、 遺伝的アルゴリズムにより 最適化する纖化ステップを更に含むことを特徴とする、 請求の範囲第 1 7項記 載の DN Aコンピュータを用いた計算方法。
1 9. ttilH分割ステップは、 部分問題 P kの解を部分問題 P k + 1を解く際 の入力の一部として使用する直列型分割法を用いることを特徴とする、 請求の範 囲第 1 7項又は第 1 8項記載の DNAコンピュータを用いた計算方法。 2 0. 前記分割ステップは、 各部分問題の解が他の 1以上の部分問題を解く 際の入力の一部として使用され、 且つ、 編己複数の部分問題をノードとしてこれ らのノード間をアークとするグラフがレイヤードネットワークで表現されるレイ ヤードネットワーク型分割法を用いることを特徴とする、 請求の範囲第 1 7項又 は 1 8項記載の DN Aコンピュータを用いた計算方法。
PCT/JP2003/000918 2003-01-30 2003-01-30 Dnaコンピュータ及びそれを用いた計算方法 WO2004068398A1 (ja)

Priority Applications (3)

Application Number Priority Date Filing Date Title
JP2004567537A JPWO2004068398A1 (ja) 2003-01-30 2003-01-30 Dnaコンピュータ及びそれを用いた計算方法
PCT/JP2003/000918 WO2004068398A1 (ja) 2003-01-30 2003-01-30 Dnaコンピュータ及びそれを用いた計算方法
US11/064,027 US7167847B2 (en) 2003-01-30 2005-02-23 DNA computer and a computation method using the same

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
PCT/JP2003/000918 WO2004068398A1 (ja) 2003-01-30 2003-01-30 Dnaコンピュータ及びそれを用いた計算方法

Related Child Applications (1)

Application Number Title Priority Date Filing Date
US11/064,027 Continuation US7167847B2 (en) 2003-01-30 2005-02-23 DNA computer and a computation method using the same

Publications (1)

Publication Number Publication Date
WO2004068398A1 true WO2004068398A1 (ja) 2004-08-12

Family

ID=32800825

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/JP2003/000918 WO2004068398A1 (ja) 2003-01-30 2003-01-30 Dnaコンピュータ及びそれを用いた計算方法

Country Status (3)

Country Link
US (1) US7167847B2 (ja)
JP (1) JPWO2004068398A1 (ja)
WO (1) WO2004068398A1 (ja)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2006060955A1 (fr) * 2004-12-06 2006-06-15 Dalian Institute Of Chemical Physics Ordinateur a molecules d'adn avec microcircuit de commande microfluide

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPWO2004068398A1 (ja) * 2003-01-30 2006-05-25 富士通株式会社 Dnaコンピュータ及びそれを用いた計算方法
US8577825B2 (en) * 2008-01-29 2013-11-05 Clayton Gillespie System, method and device for solving problems in NP without hyper-polynomial cost
US10528868B2 (en) 2010-06-25 2020-01-07 Clayton Gillespie Solving NP-complete problems without hyper polynomial cost
CN102063643B (zh) * 2010-12-13 2014-07-30 北京航空航天大学 一种基于dna计算的智能优化仿真方法
US10388404B2 (en) * 2015-10-27 2019-08-20 International Business Machines Corporation Using machine-learning to perform linear regression on a DNA-computing platform
CN105488569B (zh) * 2015-12-01 2017-12-29 大连大学 基于改进pcr计算模型求解最大团问题的方法

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO1997007440A1 (en) * 1995-08-21 1997-02-27 University Of Southern California Molecular computer
JP2002318992A (ja) * 2000-12-27 2002-10-31 Olympus Optical Co Ltd 分子計算装置、分子計算計画設計装置、分子計算方法及び分子計算プログラム及び分子計算結果解析プログラム

Family Cites Families (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7076472B2 (en) * 2002-08-05 2006-07-11 Edwin Addison Knowledge-based methods for genetic network analysis and the whole cell computer system based thereon
JPWO2004068398A1 (ja) * 2003-01-30 2006-05-25 富士通株式会社 Dnaコンピュータ及びそれを用いた計算方法

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO1997007440A1 (en) * 1995-08-21 1997-02-27 University Of Southern California Molecular computer
JP2002318992A (ja) * 2000-12-27 2002-10-31 Olympus Optical Co Ltd 分子計算装置、分子計算計画設計装置、分子計算方法及び分子計算プログラム及び分子計算結果解析プログラム

Non-Patent Citations (8)

* Cited by examiner, † Cited by third party
Title
Baum, E.B. et al., "Running Dynamic Programming Algorithms On a DNA computer", Proc. of DIMACS workshop: DNA Based Computers II, 1999, pages 77 - 85, ISBM:0-8218-0756-0 *
Edited by Hiroaki KITANO, "Idenshi Algorithm 4", first edition, Sangyo Tosho Kabushiki Kaisha, 30 August, 2000, pages 3 - 15, ISBN: 4-7828-5149-9 *
Edited by Information Processing Society of Japan "Shinpan Joho Sori Handbook", first edition, Ohmsha, Ltd., 25 November, 1995, pages 34 - 36, ISBN:4-274-07832-9 *
Jian-Bo Yang, GA-based discrete dynamic programming approach for scheduling in FMS environments, IEEE Transactions on Systems. Man and Cybernetics, Part b, October 2001, Vol. 31, pages 824 - 835, ISSN:1083-4419 *
Masaki HAGITANI et al., "DNA Computer", first edition, Baifukan Co., Ltd., 26 December, 2001, pages 87 - 95, ISBN.4-563-01549-0 *
MORIMOTO, N. et al., "Solid Phase DNA Solution to the Hamiltonian Path Problem", Proc. of DIMACS workshop:DNA Based Computers III, 1999, pages 193 - 206, ISBN:0-8218-0842-7 *
Ryosuke UKAI et al., "Joho Sosa o Mochiita DNA Keisan ni okeru Hamilton Keiro Mondai no Kaiho ni tsuite", The Institute of Electronics, Information and Communication Engineers Gijutsu Kenkyu Hokoku, 17 May, 2002, Vol. 102, No. 90, pages 33 - 40 *
Yoshida, H. et al., "Solution to 3-SAT by Breadth First Search", Proc. of DIMACS workshop: DNA Based Computers V, 2000, pages 9 - 22, ISBN:0-8218-2053-2 *

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2006060955A1 (fr) * 2004-12-06 2006-06-15 Dalian Institute Of Chemical Physics Ordinateur a molecules d'adn avec microcircuit de commande microfluide

Also Published As

Publication number Publication date
US20060121493A1 (en) 2006-06-08
JPWO2004068398A1 (ja) 2006-05-25
US7167847B2 (en) 2007-01-23

Similar Documents

Publication Publication Date Title
Giegerich et al. Abstract shapes of RNA
Dowell et al. Evaluation of several lightweight stochastic context-free grammars for RNA secondary structure prediction
Seemann et al. Unifying evolutionary and thermodynamic information for RNA folding of multiple alignments
Orengo et al. Bioinformatics: genes, proteins and computers
Brejová et al. Vector seeds: An extension to spaced seeds
WJ Anderson et al. Evolving stochastic context-free grammars for RNA secondary structure prediction
US7167847B2 (en) DNA computer and a computation method using the same
Allen et al. Assessing the state of substitution models describing noncoding RNA evolution
Akdemir Selection of training populations (and other subset selection problems) with an accelerated genetic algorithm (STPGA: an R-package for selection of training populations with a genetic algorithm)
Tsang et al. SARNA-predict: accuracy improvement of RNA secondary structure prediction using permutation-based simulated annealing
Crouse et al. Inferring the allelic series at QTL in multiparental populations
Lamiable et al. An algorithmic game-theory approach for coarse-grain prediction of RNA 3D structure
Gebert et al. Analyzing and optimizing genetic network structure via path-finding
Balvert et al. Ogre: overlap graph-based metagenomic read clustEring
Sun et al. HS-MMGKG: a fast multi-objective harmony search algorithm for two-locus model detection in GWAS
Montaseri et al. Evolutionary algorithm for RNA secondary structure prediction based on simulated SHAPE data
Garzon et al. In search of optimal codes for DNA computing
Thompson et al. Genetic algorithm learning as a robust approach to RNA editing site prediction
Fernandes et al. Microarray synthesis through multiple-use PCR primer design
CN116705142A (zh) 基于二进制量子粒子群优化算法与通量平衡分析混合算法的代谢产物优化方法
Tieng et al. A Hitchhiker's guide to RNA–RNA structure and interaction prediction tools
US20030236629A1 (en) Method and apparatus for calculating optimized solution of amino acid sequences of multiple-mutated proteins and storage medium storing program for executing the method
Opuu et al. RAFFT: Efficient prediction of RNA folding pathways using the fast Fourier transform
Onokpasa et al. RNA secondary structures: from ab initio prediction to better compression, and back
Ritchie et al. Inferring the number and position of changes in selective regime in a non-equilibrium mutation-selection framework

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A1

Designated state(s): JP US

WWE Wipo information: entry into national phase

Ref document number: 2004567537

Country of ref document: JP

WWE Wipo information: entry into national phase

Ref document number: 11064027

Country of ref document: US

WWP Wipo information: published in national office

Ref document number: 11064027

Country of ref document: US