基于膜創(chuàng)生膜系統(tǒng)的3-SAT及AT問題求解方法.pdf_第1頁
已閱讀1頁，還剩55頁未讀， 繼續(xù)免費閱讀

下載本文檔

版權(quán)說明：本文檔由用戶提供并上傳，收益歸屬內(nèi)容提供方，若內(nèi)容存在侵權(quán)，請進行舉報或認領(lǐng)

文檔簡介

1、作為自然計算的新領(lǐng)域,膜計算的目的是從生物細胞的結(jié)構(gòu)和功能的模擬中,創(chuàng)建一種分布式并行計算模型,使得該模型具有良好的計算性能。自膜計算提出以后,研究者們已經(jīng)證明膜計算模型不但具有與圖靈機一樣強大的計算能力,而且能有效地解決許多計算困難問題,如NP完全問題。2003年,膜計算被美國科學(xué)情報檢索機構(gòu)列為計算科學(xué)中快速發(fā)展的前沿領(lǐng)域。
　　本文通過使用帶有膜創(chuàng)生規(guī)則的膜系統(tǒng)這一計算模型,給出了3-SAT問題的多項式時間求解方法,然后在此

2、基礎(chǔ)上給出了3-SAT問題的與時間無關(guān)的求解方法,最后得到了SAT問題的與時間無關(guān)的求解方法。本文給出的3-SAT及SAT問題的求解方法,是通過膜創(chuàng)生規(guī)則,在線性時間內(nèi),產(chǎn)生指數(shù)量級的膜,并且每一個膜對應(yīng)與一個布爾變量的賦值,然后對每一個真值指派在相應(yīng)的膜內(nèi)進行檢驗,最后綜合各個真值指派的檢驗結(jié)果,判斷出3-SAT或SAT問題是否可滿足。
　　本文是首次在與時間無關(guān)的條件下,利用膜創(chuàng)生膜系統(tǒng)這一計算模型實現(xiàn)對3-SAT和SAT問題

溫馨提示

  • 1. 本站所有資源如無特殊說明，都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等，如果需要附件，請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙，網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽，若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 眾賞文庫僅提供信息存儲空間，僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護處理，對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯，并不能對任何下載內(nèi)容負責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容，請與我們聯(lián)系，我們立即糾正。
  • 7. 本站不保證下載資源的準確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

評論

0/150

提交評論