Abstract: DNA computing, a nontraditional computing mechanism, provides a feasible and effective method for solving NP-hard problems because of the vast parallelism and high-density storage of DNA molecules. Although DNA computing has been exploited to solve various intractable computational problems, such as the Hamiltonian path problem, SAT problem, and graph coloring problem, there has been little discussion of designing universal DNA computing-based models, which can solve a class of problems. In this paper, by leveraging the dynamic and enzyme-free properties of DNA strand displacement, we propose a universal model named DCMSubset for solving subset problems in graph theory. The model aims to find a minimum (or maximum) set satisfying given constraints. For each element x involved in a given problem, DCMSubset uses an exclusive single-stranded DNA molecule to model x as well as a specific DNA complex to model the relationship between x and other elements. Based on the proposed model, we conducted simulation and biochemical experiments on three kinds of subset problems, a minimum dominating set, maximum independent set, and minimum vertex cover. We observed that DCMSubset can also be used to solve the graph coloring problem. Moreover, we extended DCMSubset to a model for solving the SAT problem. The results of experiments showed the feasibility and university of the proposed method. Our results highlighted the potential for DNA strand displacement to act as a computation tool to solve NP-hard problems.

Plasmid Resolving the Satisfiability Problem with DNA Computing Models

DNA Computing Model for Satisfiability Problem Based on Hybridization Chain Reaction

A general resolution of intractable problems in polynomial time through DNA Computing

Computation in Chemistry: A Summary of the Development and Models of DNA Computing

DNA Computing Model of the Integer Linear Programming Problem Based on Molecular Beacon.

A Novel DNA Computing Model Based on RecA-mediated Triple-Stranded DNA Structure

Generalized molecular computational model for NP problems

A Computing Model Based on DNA Strand Replacement/Fluorescence Labeling for 0-1 Programming

Performing DNA Computation with RecA-mediated Triple-Stranded DNA Structure

A DNA computing model for the minimal covering by plasmids

Designing Dna Sequences Satisfing Combinational Constraints

A universal DNA computing model for solving NP-hard subset problems

DNA Computing Solves the 3-SAT Problem with a Small Solution Space

On the computational power of DNA

Dna Computation Model to Solve 0-1 Programming Problem

DNA Computing Model Based on Lab-on-a-chip and Its Application on Solving the Timetabling Problem

DNA Computer Principle,Advances and Difficulties (iii):The Structure and Character of “data” in DNA Computing

The DNA Computing Based on Triple Helix Nucleic Acid

Dna Computing Model Based on Self-Assembled Nanoparticle Probes for Sat Problem

DNA Computer Principle,Advances and Difficulties (iv):On the Models of DNA Computer

Solving the 3-SAT Problem Based on DNA Computing