dna计算的3—sat问题的自装配算法.pdfVIP

摘 要 在过去的10年中，DNA计算取得突飞猛进的成果，尤其是在SAT问题卜， 取得了呵喜的成果。本文则在前人的基础上继续探索3-SAT问题的有效算法，并 给出了4种方法的8个算法 第种算法为自装配算法，根扼自装配的原理，设汁了链接力式，设汁的思 想非常简单明了，那就是首先在m个试管中分别找到可以使m个子句各自为l 的链，然后再将找到的这些链全都倒入同一个试管中，利用自装配方法一步找到 公共链，也就是公式的解。 第二种方法为荧光标记法，它足自装配算法的一种，j{不过他采用了荧_)匕}，】、 记的方式，它的设计思路与第一种方法基本相同，所不同的是，在第22步将m 个试管中的链到入同一个试管中之后，用的是探针模板来找公共解， 这也是一 步完成的，与算法一的效果是一样的，只是它的空问复杂度要比算法一要小一些。 第：一种算法为二二联接法，其实质上是算法…的一种改进算法，卅；过所采』{】的 方式比起算法一要巧妙的多，它同过三联接的设计，较好的解决了时吲复杂度的 问题。它主要通过三联管的设计，以三个试管为一个单位，进行自装配，也就是 分步白装配法，实现方法与第一种算法相同。 第四种方法为二：分法，，这是一种分支策略，首先埘所有的变量通过其在j- 句中出观的数目