Το έργο με τίτλο 2D DNA Self–assembly for satisfiability από τον/τους δημιουργό/ούς Lagoudakis Michael, LaBean, T. H. διατίθεται με την άδεια Creative Commons Αναφορά Δημιουργού 4.0 Διεθνές
Βιβλιογραφική Αναφορά
M.G. Lagoudakis and T.H. LaBean. (1999, June). 2D DNA self–assembly for satisfiability. [Online]. Available:https://users.cs.duke.edu/~thl/papers/Lagoudakis_LaBean.pdf
DNA self-assembly has been proposed as a way to cope with huge combinatorial NP-HARDproblems, such as satisability. However, the algorithmic designs for DNA self-assemblyproposed so far are highly dependent on the instance to be solved. The required work(DNA synthesis, tile construction, encoding, etc.) can be done only after the instance isgiven. This paper presents an algorithmic design for solving satisability problems usingtwo-dimensional DNA self-assembly (tiling). The main driving factor in this work was thedesign and encoding of the algorithm in a general way that minimizes the dependency onparticular instances. In eect, a large amount of work and preparation can be done inadvance as a batch process in the absence of any particular instance. In practice, it islikely that the total time (from the time an instance is given, to the time a solution isreturned) will be decreased signicantly and laboratory procedures will be simplied.