Solution of Satisfiability Problem on a Gel-Based DNA computer
Thread Rating:
  • 0 Vote(s) - 0 Average
  • 1
  • 2
  • 3
  • 4
  • 5
Active In SP

Posts: 1,124
Joined: Jun 2010
04-10-2010, 04:51 PM

.ppt   Gel-based.ppt (Size: 444 KB / Downloads: 30)
.ppt   Satisfiability_Problem.ppt (Size: 219 KB / Downloads: 35)
This article is presented by:
Ji Yoon Park
Dept. of Biochem
Hanyang University


1. Succeeded in solving an instance of a 6-variable 11-
clause 3-SAT problem on a gel-based DNA computer

2. Separation were performed using probes covalently
bound to polyacrylamide gel

3. During the entire computation, DNA was retained
within a single gel and moved via electrophoresis

4. To be readily automatable and should be suitable for
problems of a significantly larger size

I. Introduction

 = (x1∨¬ x2∨¬ x3)∧(x2∨¬ x3∨¬ x4)∧(x3∨¬ x4∨x5) ∧
(x4∨¬ x5∨¬ x6)∧(x5∨¬x6∨¬x1)∧(x6∨¬x1∨¬x2) ∧
(x1∨x2∨x3)∧(x1∨x2∨¬x3)∧ (¬x1∨x2 ∨x3)∧
(¬x1∨x2∨¬x3) ∧(x1∨¬x2∨x3)

 has a unique solution: x1 = x2 = … x6 = true

◈ To represent all possible variable assignments for the chosen 6-variable SAT problem, a Lipton encoding was used
- For each of the 6 variables x1, x2, · · · , x6
- two distinct 15 base value sequences were designed
: true (T) XkT , false(F) XkF
- Each of the 26 truth assignments was represented by a library sequence of 90 bases consisting of the concatenation of one value sequence for each variable.
- DNA molecules with library sequences are termed library strand
- Combinatorial pool containing library strands is termed a library
- The probes used for separating the library strands have sequences complementary to the value sequences
- Errors in the separation of the library strands are errors in the computation
- Sequences must be designed to ensure that library strands have little secondary structure which might inhibit intended probe-library hybridization


Important Note..!

If you are not satisfied with above reply ,..Please


So that we will collect data for you and will made reply to the request....OR try below "QUICK REPLY" box to add a reply to this page

Quick Reply
Type your reply to this message here.

Image Verification
Please enter the text contained within the image into the text box below it. This process is used to prevent automated spam bots.
Image Verification
(case insensitive)

Possibly Related Threads...
Thread Author Replies Views Last Post
  Computer Memory Based on the Protein Bacteriorhodopsin seminar projects crazy 16 9,050 06-09-2015, 04:54 PM
Last Post: Larbaski
  essay about computer in tamil jaseelati 0 333 26-02-2015, 04:30 PM
Last Post: jaseelati
  seminar topics for computer networking with ppt jaseelati 0 295 18-02-2015, 02:37 PM
Last Post: jaseelati
  assembling and disassembling of computer ppt jaseelati 0 281 17-02-2015, 02:51 PM
Last Post: jaseelati
  computer oriented numerical methods ppt jaseelati 0 249 13-02-2015, 01:15 PM
Last Post: jaseelati
  basic computer knowledge pdf in marathi jaseelati 0 318 11-02-2015, 01:21 PM
Last Post: jaseelati
  basic computer knowledge pdf in marathi jaseelati 0 268 07-02-2015, 02:23 PM
Last Post: jaseelati
  advantages and disadvantages of computer in tamil language jaseelati 0 395 05-02-2015, 04:51 PM
Last Post: jaseelati
  computer science project topics and materials pdf jaseelati 0 330 05-02-2015, 01:23 PM
Last Post: jaseelati
  computer forencis jaseelati 0 238 22-01-2015, 01:41 PM
Last Post: jaseelati