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.

Solving the Set Cover Problem and the Problem of Exact Cover by 3-Sets in the Adleman–Lipton Model

Towards Solution of the Set-Splitting Problem on Gel-Based DNA Computing

Solving the Set-Splitting Problem in Sticker-Based Model and the Lipton-Adelmann Model

Solving the Independent-Set Problem in A Dna-Based Supercomputer Model

Using Sticker to Solve the 3-Dimensional Matching Problem in Molecular Supercomputers.

Fast Parallel Solution for Set-Packing and Clique Problems by DNA-Based Computing.

Solving the 3-SAT Problem Based on DNA Computing

Solving The 3-Sat Based On A Dna Evolutionary Algorithm

Fast Parallel Bio-Molecular Solutions: the Set- Basis Problem

O(1.414n) volume molecular solutions for the subset-sum problem on DNA-based supercomputing

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

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

Solving Vertex Cover Problem Using DNA Tile Assembly Model

A Surface-Based DNA Algorithm for the Minimal Vertex Cover Problem

DNA Algorithm for Solving the Traveling Salesman Problem

Towards Solving NP-Complete Problems by Using a Molecular Supercomputer Model

Solving Minimum Spanning Tree Problem with DNA Computing

A novel Algorithm for Solving the Prize Collecting Traveling Salesman Problem based on DNA Computing

The Molecular Algorithm of the Matching Problem Based on Plasmid DNA

Quantum Algorithms and Mathematical Formulations of Biomolecular Solutions of the Vertex Cover Problem in the Finite-Dimensional Hilbert Space

DNA computing-based algorithm for assignment problems