Research Article  Open Access
Hassan Taghipour, Mahdi Rezaei, Heydar Ali Esmaili, "Solving the 0/1 Knapsack Problem by a Biomolecular DNA Computer", Advances in Bioinformatics, vol. 2013, Article ID 341419, 6 pages, 2013. https://doi.org/10.1155/2013/341419
Solving the 0/1 Knapsack Problem by a Biomolecular DNA Computer
Abstract
Solving some mathematical problems such as NPcomplete problems by conventional siliconbased computers is problematic and takes so long time. DNA computing is an alternative method of computing which uses DNA molecules for computing purposes. DNA computers have massive degrees of parallel processing capability. The massive parallel processing characteristic of DNA computers is of particular interest in solving NPcomplete and hard combinatorial problems. NPcomplete problems such as knapsack problem and other hard combinatorial problems can be easily solved by DNA computers in a very short period of time comparing to conventional siliconbased computers. Stickerbased DNA computing is one of the methods of DNA computing. In this paper, the sticker based DNA computing was used for solving the 0/1 knapsack problem. At first, a biomolecular solution space was constructed by using appropriate DNA memory complexes. Then, by the application of a stickerbased parallel algorithm using biological operations, knapsack problem was resolved in polynomial time.
1. Introduction
DNA encodes the genetic information of cellular organisms. The unique and specific structure of DNA makes it one of the favorite candidates for computing purposes. In comparison with conventional siliconbased computers, DNA computers have massive degrees of miniaturization and parallelism. By recent technology, about 10^{18} DNA molecules can be produced and placed in a mediumsized laboratory test tube. Each of these DNA molecules could act as a small processor. Biological operations such as hybridization, separation, setting, and clearing can be performed simultaneously on all of these DNA strands. Thus, in an in vitro assay, we could handle about 10^{18} DNA molecules or we can say that 10^{18} data processors can be executed in parallel.
In 1994, Adleman introduced the DNA computing as a new method of parallel computing [1]. Adleman succeeded in solving sevenpoint Hamiltonian path problem solely by manipulating DNA molecules and suggested that DNA could be used to solve complex mathematical problems.
In 1999, a new model of DNA computing (sticker model) was introduced by Roweis et al. [2]. This model has a kind of random access memory that requires no strand extension, uses no enzymes, and its materials are reusable. Stickerbased DNA computing has potential capability for being a universal method in DNA computing. Roweis et al. [2] also proposed specific machine architecture for implementing the sticker model as a microprocessorcontrolled parallel robotic workstation. Thus, the operations used in sticker model can be performed on fully automated devices, which is helpful in reducing the error rates of operations.
In this paper, we applied sticker model for solving the knapsack problem which is one of the NPcomplete problems.
The paper is organized as follows. Section 2 introduces the DNA structure and various DNA computing models and discusses about the sticker based DNA computing and biological operations which are used in sticker model. Section 3 introduces a DNAbased algorithm for solving the knapsack problem in sticker model.
2. Basics of DNA Computing
2.1. Structure of DNA and DNA Computing Models
DNA is a polymeric and a doublestranded molecule which is composed of monomers called nucleotides. Nucleotides are building blocks of DNA, and each of them contains three components: sugar, phosphate group, and nitrogenous base. There are four different nitrogenous bases which contribute in DNA structure: Thymine (T) and Cytosine (C) which are called pyrimidines and Adenine (A) and Guanine (G) which are called purines. Because nitrogenous bases are variable components of nucleotides, different neucleotides are distinguished by nitrogenous bases which contribute in their structure. For this reason, the name of the bases are used to refer to the neucleotides, and the neucleotides are simply represented as A, G, C, and T. The nucleotides are linked together by phosphodiester bonds and form a singlestranded DNA (ssDNA). A ssDNA molecule can be likened to a string consisting of a combination of four different symbols, A, G, C, and T. Mathematically, this means that we have a fourletter alphabet to encode information. Two ssDNA molecules join together to form a doublestranded DNA (DsDNA) based on complementary rule: “A” always pairs with “T,” and likewise “C” pairs with “G.” In Figure 1, a schematic picture of DNA is shown.
DNA computing was initially developed by Adleman in 1994. Adleman resolved an instance of Hamiltonian path problem just by handling the DNA molecules [1]. In 1995, Lipton presented a method for solving the satisfiability (SAT) problem [3]. AdlemanLipton model can be used to solve different NPcomplete problems. In AdlemanLipton model, DNA splints are used for the construction of solution space. Adleman [4, 5] also presented a molecular algorithm for solving the 3coloring problem. Chang and Guo [6–8] showed that the DNA operations in AdelmanLipton model could be used for developing DNA algorithms to resolve the dominating set problem, the vertex cover problem, the maximal clique problem, and the independent set problem.
In 1999, Roweis et al. [2] introduced the Sticker based DNA computing model and applied it in solving the minimal set cover problem, and this model also was applied for breaking the Data Encryption Standard (DES) [9]. In our previous work, we also applied sticker based model for solving the independent set problem [10].
Other than AdlemanLipton and Sticker based models, other various models are also proposed in DNA computing by researchers. Quyang et al. [11] solved the maximal clique problem using DNA molecules and restriction endonuclease enzymes. Amos et al. [12, 13] described a DNA computation model using restriction endonuclease enzymes instead of successive cycles of separation by DNA hybridization, which can reduce the error rate of computation. Hagiya et al. [14] proposed a new method of DNA computing that involves a selfacting DNA molecule containing both the input, program, and working memory. In this method, a singlestranded DNA molecule consists of an input segment on the 5′ end, followed by a formula (program) segment, followed by a spacer, and finally with a “head” on the 3′ end that moves and performs the computation. Another method for DNA computation is “computation by selfassembly.” Winfree et al. [15–17] introduced a linear and 2dimensional selfassembly model.
The surfacebased model was introduced by Liu et al. [18]. This model uses DNA molecules attached to a solid surface, instead of DNA molecules floating in a solution. The surfacebased model was used by Taghipour et al. for solving the dominating set problem [19]. The computing by blocking was introduced by Rozenberg and Spaink [20]. This model uses a novel approach to filter the DNA molecules. Instead of separating the DNA strands to distinct tubes, or destroying and removing the DNA molecules that do not contribute to finding a solution, it blocks (inactivates) them in a way that the blocked strands can be considered as nonexistent during the subsequent steps of computation.
2.2. StickerBased DNA Computation
The sticker model was introduced by Roweis et al. [2]. In this model, there is a memory strand with bases in length subdivided into nonoverlapping regions each bases long (). can be, for example, 20. The substrands (bit regions) are significantly different from each other. One sticker is designed for each subregion; each sticker has bases long and is complementary to one and only one of the memory regions. If a sticker is annealed to its corresponding region on memory strand, then the particular region is said to be on. If no sticker is annealed to a region, then the corresponding bit is off. Each memory strand along with its annealed stickers is called memory complex. In sticker model, a tube is a collection of memory complexes, composed of large number of identical memory strands each of which has stickers annealed only at the required bit positions. This method of representation of information differs from other methods in which the presence or absence of a particular subsequence in a strand corresponded to a particular bit being on or off. In sticker model, each possible bit string is represented by a unique association of memory strands and stickers. This model has a kind of random access memory that requires no strand extension and uses no enzymes [2]. Indeed, in the sticker model, memory strands are used as registers, and stickers are used to write and erase information in the registers.
Another conception in sticker model is (, ) library. Each (, ) library contains memory complexes with bit regions, the first bit regions are either on or off, in all possible ways, whereas the remaining  bit regions are off. The last  bit regions can be used for intermediate data storage. In every (, ) library, there are at least memory complexes. In Figure 2, a memory complex with 7 bit regions representing the binary number 1100101 is shown.
2.3. Biological Operations in Sticker Model
There are four principal operations in sticker model: combination, separation, setting, and clearing [2]. We also defined a new operation called “divide” which is used in the construction of solution space [10]. Here, we briefly discuss about these operations.(1)Combine , and . The memory complexes from the tubes and are combined to form a new tube, , simply the contents of and are poured into the tube . ().(2)Separate . This operation creates two new tubes and ; contains the memory complexes having the bit on (), and contains the memory complexes having the bit off ().(3)Set . The bit region on every memory complex in tube is set to 1 or turned on.(4)Clear . The bit region on every memory complex in tube is set to 0 or turned off.(5)Divide (, and ). By this operation, the contents of tube is divided into two equal portions and poured into the tubes and .
3. Solving the 0/1 Knapsack Problem in StickerBased DNA Computers
3.1. Definition of the Knapsack Problem
Knapsack problem is one of the classical optimization problems which have two variants: the 0/1 and fractional knapsack problems.
The 0/1 knapsack problem is posed as follows.
There are items ; each item has a weight and a value , where and are integers. We have a knapsack which its capacity (weight) is , where is also an integer. We want to take the most valuable set of items that fit in our knapsack. Which items should we take? This is called the 0/1 or binary knapsack problem because each item must either be taken or left behind; we cannot take a fractional amount of an item.
In the fractional knapsack problem, the setup is the same, but we can take fractions of items, rather than having to make a binary (01) choice for each item. The fractional knapsack problem is solvable by a greedy strategy, where as the 0/1 knapsack problem is not. The 0/1 knapsack problem has been proved to be an NPcomplete problem [21].
3.2. Construction of Sticker Based DNA Solution Space for Knapsack Problem
3.2.1. Designing Appropriate DNA Memory Complexes
As discussed before, there are items ; each item has a weight and a value , where and are integers. Let us consider that the total weight of items is and total value of items is . total number of items.
We start with or more identical memory strands, which each of them has at least bit regions. (Figure 3) The first bit regions (bit regions 1 to ) are used to represent items, the middle bit regions (bit regions to ) represent the total weight of items , and the next bit regions (bit regions to ) represent the total value of items . Each bit region, for example can have 20 neucleotides, furthermore, every memory strand at least contains 20 () neucleotides.
3.2.2. Production of DNA Memory Complexes Which Represent All Possible Subsets of Items
It is clear that a set of items has subsets and each of these subsets has its own weight and value. For construction of solution space, it is essential to represent all subsets of items by appropriate DNA memory complexes. Furthermore, by using at least or more memory strands and making the first bit regions on or off in all possible ways, we represent all subsets of items by DNA memory complexes. On the other hand, simply we design a () library. For this purpose, (Procedure 1) is proposed.

Procedure 1 has divide, set and combine operations. At the end of procedure, tube contains all of the memory complexes which each of them represent one of the subsets of items.
3.2.3. Representing the Weight and Value of Each Subset on DNA Memory Complexes
In this step, based on the items which are present in subsets, and by annealing corresponding stickers in and regions of memory strands, the total weight and value of subsets are represent on memory complexes. Note, each item has a weight and a value , thus, for each item , numbers of stickers are annealed to region and numbers of stickers are annealed to region on memory strands. Furthermore, the numbers of annealed stickers in and regions represent the weight and value of corresponding subset, respectively. Procedure 2 is proposed for representing the weight and value of each subset.
Now, our solution space is completely produced and contains at least memory complexes, which each of them represent one of the subsets of items, and the numbers of annealed stickers in and regions represent the weight and value of corresponding subset, respectively.
3.3. DNA Algorithm for Solving the 0/1 Knapsack Problem
Algorithm 1 is proposed for solving the 0/1 knapsack problem.


According to the steps in the algorithm, the knapsack problem can be resolved by sticker based DNA computation in polynomial time.
By the execution of step 1, the memory complexes without any annealed stickers in region (represent the subset ) are placed in tube , the memory complexes with only one annealed sticker (represent the subsets of items which their weight are 1) are placed in tube , the memory complexes with 2 annealed stickers (represent the subsets of items which their weight are 2) are placed in tubes , the memory complexes with 3 annealed stickers (represent the subsets of items which their weight are 3) are placed in tube , and finally, the tube contains the memory complexes witch all bit regions located in region are turned to “on” (represent the subset which contains all items). On the other hands, step 1 is a sorting procedure and sorts memory complexes according to the number of annealed stickers in region. In this step, tubes are produced (), and number of every tube indicate the number of annealed stickers in region. Step contains separate and combine operations, or totally it contains operations.
In step 2 of algorithm, the contents of tubes are discarded, because memory complexes which are present in these tubes, represent subset of items that their weight are exceeded the capacity of knapsack. Then, the contents of tubes are mixed together and transferred to tube . Now, tube contains memory complexes which represent the subsets of items that their weight are not exceeded the capacity of knapsack. Furthermore, at the end of step 2, the memory complexes which represent the subsets of items that their weight are exceeded the capacity of knapsack, removed from solution space and only remain memory complexes representing subsets that fit in our knapsack. It is clear that the step 2 contains only 2 operations.
By the execution of step 3, sorting of memory complexes are performed according to the number of annealed stickers in region. During this step, tubes are produced (). The memory complexes without any annealed stickers in region (represent the subset ) are placed in tube , the memory complexes with only one annealed sticker (represent the subsets of items which their value are 1) are placed in tube , the memory complexes with 2 annealed stickers (represent the subsets of items which their value are 2) are placed in tubes , the memory complexes with 3 annealed stickers (represent the subsets of items which their value are 3) are placed in tube , and finally, the tube contains the memory complexes with all bit regions located in region are turned to “on” (represent the subset which contains all items). Step contains separate and combine operations, or totally it contains operations.
In step 4, all of tubes (from to ) are evaluated for presence of memory complexes, and the first tube which is not empty and contains memory complexes represent the most valuable set. Step , maximally contains Read operations.
Finally, it is clear that the total number of operations in our algorithm is: .
4. Conclusion
In this paper, the sticker based DNA computing was used for solving the 0/1 knapsack problem. This method could be used for solving other NPcomplete problems. There are four principal operations in sticker model: Combination, Separation, Setting and Clearing. We also defined a new operation called “divide” and applied it in construction of solution space.
As mentioned earlier, one of the important properties of DNA computing is its real massive parallelism, which makes it a favorite and powerful tool for solving NPcomplete and hard combinatorial problems. In sticker model, as in other DNA based computation methods, the property of DNA molecules to making duplexes is used as main biological operation. The main difference between the sticker model and AdlemanLipton model is that in the sticker model there is a kind of Random access memory and the computations do not depend on DNA molecules extension as seen in AdlemanLipton model.
References
 L. Adleman, “Molecular computation of solutions to combinatorial problems,” Science, vol. 266, pp. 1021–1024, 1994. View at: Google Scholar
 S. Roweis, E. Winfree, R. Burgoyne et al., “A sticker based model for DNA computation,” in Proceedings of the 2nd Annual Workshop on DNA Computing, Princeton University, L. Landweber and E. Baum, Eds., Series in Discrete Mathematics and Theoretical Computer Science, DIMACS, pp. 1–29, American Mathematical Society, 1999. View at: Google Scholar
 R. J. Lipton, “DNA solution of hard computational problems,” Science, vol. 268, pp. 542–545, 1995. View at: Google Scholar
 L. M. Adleman, On Constructing a Molecular Computer, Department of Computer Science, University of Southern California, 1995.
 L. M. Adleman, “On constructing a molecular computer,” in DNA Based Computers, R. J. Lipton and E. B. Baum, Eds., pp. 1–22, American Mathematical Society, 1996. View at: Google Scholar
 W.L. Chang and M. Guo, “Solving the dominatingset problem in AdlemanLiptons Model,” in Proceedings of the 3rd International Conference on Parallel and Distributed Computing, Applications and Technologies, pp. 167–172, Kanazawa, Japan, 2002. View at: Google Scholar
 W.L. Chang and M. Guo, “Solving the clique problem and the vertex cover problem in AdlemanLipton’s model,” in IASTED International Conference, Networks, Parallel and Distributed Processing, and Applications, pp. 431–436, Tsukuba, Japan, 2002. View at: Google Scholar
 W.L. Chang and M. Guo, “Solving NPcomplete problem in the AdlemanLipton Model,” in Proceedings of The International Conference on Computer and Information Technology, pp. 157–162, 2002. View at: Google Scholar
 L. Adleman, P. Rothemund, S. Roweis, and E. Winfree, “On applying molecular computation to the data encryption standard,” in Proceedings of the 2nd DIMACS wWorkshop on DNA Based Computers, Princeton University, pp. 24–48, 1996. View at: Google Scholar
 H. Taghipour, A. Taghipour, M. Rezaei, and H. Esmaili, “Solving the independent set problem by sticker based DNA computers,” American Journal of Molecular Biology, vol. 2, no. 2, pp. 153–158, 2012. View at: Google Scholar
 Q. Ouyang, P. D. Kaplan, S. Liu, and A. Libchaber, “DNA solution of the maximal clique problem,” Science, vol. 278, no. 5337, pp. 446–449, 1997. View at: Publisher Site  Google Scholar
 M. Amos, A. Gibbons, and D. Hodgson, “Errorresistant implementation of DNA computations,” in Proceedings of the 2nd DIMACS Workshop on DNA Based Computers, 1996. View at: Google Scholar
 M. Amos, A. Gibbons, and D. Hodgson, “A new model of DNA computation,” in Proceedings of the 12th British Colloquium on Theoretical Computer Science, 1996. View at: Google Scholar
 M. Hagiya, M. Arita, D. Kiga, K. Sakamoto, and S. Yokoyama, “Towards parallel evaluation and learning of boolean μformulas with molecules,” DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 48, pp. 57–72, 1999. View at: Google Scholar
 E. Winfree, “Simulations of computing by selfassembly,” in Proceedings of the 4th International Meeting on DNA Based Computers, pp. 213–239, 1998. View at: Google Scholar
 E. Winfree, F. Liu, L. A. Wenzler, and N. C. Seeman, “Design and selfassembly of twodimensional DNA crystals,” Nature, vol. 394, no. 6693, pp. 539–544, 1998. View at: Publisher Site  Google Scholar
 E. Winfree, X. Yang, and N. Seeman, “Universal computation via selfassembly of DNA: some theory and experiments,” in Proceedings of the 2nd DIMACS Workshop on DNA Based Computers, 1996. View at: Google Scholar
 Q. Liu, Z. Guo, A. E. Condon, R. M. Corn, M. G. Lagally, and L. M. Smith, “A surfacebased approach to DNA computation,” in Proceedings of the 2nd Annual Meeting on DNA Based Computers, Princeton University, 1996. View at: Google Scholar
 H. Taghipour, M. Rezaei, and H. Esmaili, “Applying surfacebased DNA computing for solving the dominating set problem,” American Journal of Molecular Biology, vol. 2, no. 3, pp. 286–290, 2012. View at: Google Scholar
 G. Rozenberg and H. Spaink, “DNA computing by blocking,” Theoretical Computer Science, vol. 292, no. 3, pp. 653–665, 2003. View at: Publisher Site  Google Scholar
 M. R. Garey and D. S. Johnson, Computer and Intractability: a Guide to the Theory of NPCompleteness, Freeman, San Francisco, Calif, USA, 1979.
Copyright
Copyright © 2013 Hassan Taghipour et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.