DNA計算中的3—SAT問題的自裝配算法.pdf

1、分類號：TP301Y792273單位代碼：10005學號：$200206030密級：公丌北京工業(yè)大學碩士學位論文題目墜趟△過篡蟲鰉3：曼塑聞題的自裝里篡洼英文并列墨壁!至=△曼曼墾叢壘墜蘭△亙=魚Q基l至叢MQ里3：S△!題目!盥墜盥△￡Q叢￡衛(wèi)!l盥g研究生姓名：到任專業(yè)：運簦蘭與控制論研究方向：應用動力基統(tǒng)與立叢△j簋導師姓名：重太壺職稱：教授瞼文報告提交日捌2QQ5生5目學何授予日期授予單何名稱和地撲JE墨上業(yè)厶堂!』E玨Ⅲ王巫蚓

2、1QQ雖jAbstractInthepast10years，alotofachievehasbeenmadeintheDNAcomputing，particularlyintheSATproblem，currently，likeLipton，Adleman，QinghuaLiueta1havemadegreatprogressinthisfieldInthispaperIcontinuewiththeworkabout3SATprobl

3、em’Seffectalgorithmofmypioneers，hereIgivefourmethodmadeightkindsofalgorithm：Thefirstmethodisselfassemblyalgorithm，intermsofselfassemblytheoryIdevicethefunctionaera，anddevicetheAlgorithmitselftheideaissimple，thatistofindt

4、hosestringsfrommtesttubeswhichmaysatisfyeachofclausesrespective，thenputthisstringstoonetesttubetogethertheywillselfassemblywithenzymes’helptOfindthecommonalitystrings，thatistheformula’SsolutionThesecondmethodisfluorescen

5、cesignalgorithm，itisakindofmethodot’selfassemblyinnature，theideaisjustlikethefirstone，thedifferenceisthatittofindcommonalitystringswithprobemodel，anditsspacecomplexityissmallerthanthefirstoneThethirdmethodisthreelinkalgo

6、rithm，itisthefirstone’simprovealgorithm，itadoptthree—linkwaytodevice，andtakethreetestasoneunittoselfassemblyandusethesamewaytocarryoutTheforthmethodisthree—splitalgorithm，thisisasplitstrategy，firsttesetallvariablesinterm

7、softhenumbersofthevariablewhichittakeplaceintheclausethenbythealgorithmofslopetoexactthesplitpointofk，furthertomakesurethesecondsplitpoint，thatistodistributeallvariabletoparts，thensplitallclausetofourparts，thatistosaythe

8、BooleanformulaissplitintofoursubformulaThisfourmethodsandeightkindsofalgorithm，thefirstthreealgorithmthebasealgorithmofthispaperthecommonofthisthreemethodsistoimprovetheparallelismofalgorithmbythemodelofselfassemblythent

9、educethecomplexityofalgorithm’Stimetoconstant，butthespacecomplexityofalgorithmisnobetterthanothersThe1astmethodovercomefrontalgorithm’Sfaultasitreducethetimecomplexitytoconstant，simultaneityitreducethespacecomplexitymore