基于DNA計(jì)算模型的幾個(gè)NP完全問(wèn)題的研究.pdf

1、本文就是以DNA計(jì)算的粘貼模型為基礎(chǔ)，解決了廣些困難的NP完全問(wèn)題，并對(duì)這些問(wèn)題的算法進(jìn)行了實(shí)驗(yàn)仿真。 (1)基于Adleman解決Hamilton問(wèn)題的思路詳細(xì)求解頂點(diǎn)的最小覆蓋(Minimun Vertex Cover Problem，MVCP)問(wèn)題。該算法首先生成了滿足頂點(diǎn)覆蓋的所有可滿足解，然后在可滿足解中直接分離出最小頂點(diǎn)覆蓋的解，這樣大大提高了實(shí)驗(yàn)的效率與分離解的準(zhǔn)確性。 (2)基于DNA計(jì)算的粘貼模型，通過(guò)

2、把邏輯演算問(wèn)題轉(zhuǎn)化為對(duì)應(yīng)的開(kāi)關(guān)網(wǎng)絡(luò)圖和Lipton模型的接觸網(wǎng)絡(luò)圖，借鑒Lipton模型求解可滿足性問(wèn)題的方法解決了一個(gè)經(jīng)典的邏輯演算問(wèn)題，進(jìn)一步開(kāi)闊了DNA計(jì)算解決離散數(shù)學(xué)中各種問(wèn)題的思路。 (3)粘貼系統(tǒng)是將Watson-Crick互補(bǔ)原理用于DNA計(jì)算的抽象的計(jì)算模型，是一種基于粘貼運(yùn)算的語(yǔ)言生成器。基于粘貼系統(tǒng)將旅行商(Traval Salesman Problem，TSP)問(wèn)題轉(zhuǎn)化為求賦權(quán)圖中權(quán)值最小的Hamilton