Here note that ACTT
is considered as the first name and GCAG
is considered as the surname.
2. The Edges defined as GCAGTCGG
where the first 4 char GCAG
is the ATLANTA's first name and the last four char TCGG
is the BOSTON's second name
3. Polymerases step; this gene produces the complimentary copies.
4. Ligases step; Ligases bonds the strand of DNA's together ( normally repairs DNA).
4. Polymerase Chain Reaction; used to remove all pathpaths not starting from starting node and not ending with the end node.
5. Gel-Electrophoresis, when current is applied the negatively charged DNA molecules start to movesmove to the anode. The interesting part; the longer the DNA strand the slower it moves. So separation by length.
6. DNA synthesis. The DNA info was extracted.
As one can see, the process is completely biological, except Gel-Electrophoresis which is not a part of the DNA process in nature.
This is almost the view of the step from bird fly of the article of Adleman in Scientific American. A moreMore detail can be found here.
- Build a non-deterministic polynomial-time turingTuring machine; given an $n$ and $k$ accepts if there exists some $m$ where $1<m<k$ and m dividesdivide n, or rejects otherwise.
- For each query (n,k)$(n,k)$, by the Cook/Levin reduction toCook/Levin reduction to construct a boolean circuit which is satisfiable iff the Turing machine accepts (n,k)$(n,k)$.
- Reduction from Circuit-SAT to 3-SAT.
- Reduction 3-SAT to Hamiltonian Path.
- Solve the Hamiltonian Path problem with DNA.
Even in the case of factoring, if every path in a superpolynomial computation is assigned a molecule, then a superpolynomial number of molecules will be needed. Merely fitting these molecules into a polynomial volume is an impossible task, but a necessary one: if the molecules are going to have enough time to mix and react, then light must be able to pass from one side of the test tube to the other within polynomialtimepolynomial-time. This impossible task does, fortunately, expose new avenues for further research, leaving open the question of whether black-hole algorithms for factoring exist.
Any other algorithm, with current knowledge, must have to fallowfollow the same reduction step to the Hamiltonian Path problem and will face the same impossible task
.