Solving Knapsack Problems in a Sticker Based Model

  • Authors:
  • Mario J. Pérez-Jiménez;Fernando Sancho-Caparrini

  • Affiliations:
  • -;-

  • Venue:
  • DNA 7 Revised Papers from the 7th International Workshop on DNA-Based Computers: DNA Computing
  • Year:
  • 2001

Quantified Score

Hi-index 0.00

Visualization

Abstract

Our main goal in this paper is to give molecular solutions for two NP-complete problems, namely Subset-sum and Knapsack, in a sticker based model for DNA computations. In order to achieve this, we have used a finite set sorting subroutine together with the description of a procedure to formally verify the designed programs through the labeling of test tubes using inductive techniques.