本文關鍵詞：命題邏輯中隨機3-SAT問題算法研究，由筆耕文化傳播整理發(fā)布。

【摘要】：命題邏輯公式的可滿足性問題(SAT)是計算機科學和人工智能中一個重要問題。它是第一個被證明了的NP完全問題,由Stephen Cook于1971年提出。SAT問題在人工智能、軟件工程、VLSI集成電路設計等領域具有廣泛的應用。3-SAT問題是每個子句的文字個數固定為3的SAT問題。作為SAT問題的子問題之一,3-SAT問題也是NP完全問題。3-SAT問題有來自工業(yè)問題轉化的實際問題,也有機器自動生成的。來自工業(yè)問題轉化的3-SAT問題在數目和結構上都有很大的限制,根本不能滿足各類SAT算法的測試需求,所以目前大部分的3-SAT問題來自機器自動生成,這類問題又稱為隨機3-SAT問題。當變元的數目達到1000乃至1兆的規(guī)模時,3-SAT問題的求解變得異常困難,所以對大規(guī)模隨機3-SAT的求解是一個比較有前景的研究領域。自從20世紀80年代隨機3-SAT問題被提出以來,很多學者在這方面做了大量的工作,提出了各種各樣的算法。當前較為高效的算法有Sparrow2011算法、ProbSAT算法、CCMC算法等。然而這些算法,在求解較大規(guī)模的隨機3-SAT問題上的效率仍不夠理想。本文在綜合分析以往SAT問題算法的基礎上,在提高隨機3-SAT問題的求解效率方面主要做了如下工作：1、基于SAT問題的自身結構,研究各個文字在子句集中出現的頻率,挖掘出文字與子句集可滿足性判定的關系。給出文字的關鍵度和關鍵文字的概念,利用關鍵文字規(guī)則和DPLL規(guī)則設計出了對子句集初始真值指派的優(yōu)化策略。2、給出了基于優(yōu)化后的初始真值指派的新的WASAT算法,算法先是運用真值指派綜合評估函數來尋求更優(yōu)的賦值,然后運用子句權重重置的策略,跳出局部最優(yōu)解開辟新的搜索區(qū)域。3、運用來自SAT競賽網站的不同規(guī)模的隨機3-SAT實例設計實驗并得出結果。通過對比Sparrow2011算法、ProbSAT算法、CCMC算法,評估并分析了新的權重分析算法的效率。
【關鍵詞】：子句 子句集 隨機3-SAT 可滿足性 關鍵文字 子句權重 真值指派 權重重置 權值評估函數
【學位授予單位】：西南交通大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：O141
【目錄】：

• 摘要6-8
• Abstract8-12
• 第1章 緒論12-17
• 1.1 研究背景和和研究意義12-13
• 1.2 國內外研究現狀13-15
• 1.3 本文研究的內容和結構安排15-17
• 第2章 基礎知識17-21
• 2.1 基本概念17-19
• 2.2 符號說明19-20
• 2.3 本章小結20-21
• 第3章 4種SAT問題的算法介紹21-29
• 3.1 SDF算法21-23
• 3.2 Sparrow2011算法23-25
• 3.3 ProbSAT算法25-26
• 3.4 CCMC算法26-27
• 3.5 本章小結27-29
• 第4章 隨機3-SAT問題新算法29-46
• 4.1 初始賦值的優(yōu)化29-37
• 4.2 隨機3-SAT問題新算法37-40
• 4.3 子句權重重置函數40-45
• 4.4 本章小結45-46
• 第5章 算法評估46-51
• 5.1 理論評估46-47
• 5.2 測試標準47-48
• 5.3 測試結果比較48-50
• 5.4 本章小結50-51
• 第6章 總結與展望51-53
• 6.1 論文總結51
• 6.2 展望51-53
• 致謝53-54
• 參考文獻54-60
• 附錄：WASAT算法源代碼60-78
• 攻讀碩士學位期間發(fā)表的論文及參與的科研工作78

【相似文獻】

中國期刊全文數據庫 前10條

1 鄒汪平;;一種基于網絡安全控制的蜂群算法應用研究[J];吉林師范大學學報(自然科學版);2013年04期

2 郭毅可;韓銳;;云計算中的彈性算法:概要和展望[J];上海大學學報(自然科學版);2013年01期

3 劉江華;戴新喜;白似雪;;基于模式矩陣的P_Matrix算法[J];南昌大學學報(理科版);2007年05期

4 胡俊鵬;;基于雙向選擇的蟻群相遇算法的優(yōu)化[J];湖北民族學院學報(自然科學版);2013年01期

5 張麗;;關聯(lián)規(guī)則挖掘算法的研究[J];赤峰學院學報(自然科學版);2013年02期

6 吳秋峰;尹海東;孟翔燕;;基于和積和最大積的信念傳播算法的收斂性分析[J];數學的實踐與認識;2011年09期

7 趙吉東;;蟻群算法的改進策略研究[J];中國科技信息;2012年12期

8 胡森森;周賢善;;一種改進蟻群算法的研究[J];長江大學學報(自科版);2006年10期

9 王恒娜;趙曉靜;;基于屬性覆蓋的關聯(lián)規(guī)則挖掘算法[J];安慶師范學院學報(自然科學版);2007年03期

10 曹建軍;刁興春;李凱齊;邵衍振;;基于進化強度的蟻群算法過程性能評價[J];解放軍理工大學學報(自然科學版);2013年01期

中國重要會議論文全文數據庫 前10條

1 黃紀武;毛澤華;李松濤;張錦雄;;SPMD并行查找算法的MPI實現[A];廣西計算機學會——2004年學術年會論文集[C];2004年

2 黃紀武;毛澤華;李松濤;張錦雄;;SPMD并行查找算法的MPI實現[A];廣西計算機學會2004年學術年會論文集[C];2004年

3 符麗錦;覃華;鄧海;孫欣;;一種改進的Apriori算法的研究[A];廣西計算機學會2012年學術年會論文集[C];2012年

4 王東鋒;王軍民;陳英武;;模糊定性仿真理論研究與算法實現[A];'2000系統(tǒng)仿真技術及其應用學術交流會論文集[C];2000年

5 趙唯;;晶粒度評級的改進算法[A];中國圖象圖形科學技術新進展——第九屆全國圖象圖形科技大會論文集[C];1998年

6 劉啟文;;可擴展的圖形學算法演示系統(tǒng)的研究[A];’2004計算機應用技術交流會議論文集[C];2004年

7 佘智;蔣泰;朱延生;;基于Type C協(xié)議的防沖突改進算法[A];廣西計算機學會25周年紀念會暨2011年學術年會論文集[C];2011年

8 朱紹文;趙培;朱秋云;;基于pSPADE并行挖掘序列算法的研究[A];2003年中國智能自動化會議論文集（下冊）[C];2003年

9 楊霞;;新的基于啟發(fā)式蟻群算法的QoS路由算法[A];廣西計算機學會2009年年會論文集[C];2009年

10 陳黎飛;姜青山;董槐林;;基于圖形輪廓的快速聚類算法[A];第二十三屆中國數據庫學術會議論文集（研究報告篇）[C];2006年

中國博士學位論文全文數據庫 前10條

1 鐘永騰;基于近場MUSIC算法的復合材料結構健康監(jiān)測研究[D];南京航空航天大學;2014年

2 單美靜;求解非線性實代數系統(tǒng)的混合算法研究[D];華東師范大學;2008年

3 邱劍鋒;人工蜂群算法的改進方法與收斂性理論的研究[D];安徽大學;2014年

4 潘磊;若干社區(qū)發(fā)現算法研究[D];南京大學;2014年

5 陳俊波;頻繁閉合項集挖掘算法及應用研究[D];浙江大學;2009年

6 陸楠;關聯(lián)規(guī)則的挖掘及其算法的研究[D];吉林大學;2007年

7 范洪博;快速精確字符串匹配算法研究[D];哈爾濱工程大學;2011年

8 寇曉麗;群智能算法及其應用研究[D];西安電子科技大學;2009年

9 劉維;生物序列模式挖掘與識別算法的研究[D];南京航空航天大學;2010年

10 吳擎;基于模式搜索的類電磁機制算法研究與應用[D];華中科技大學;2013年

中國碩士學位論文全文數據庫 前10條

1 安世勇;命題邏輯中隨機3-SAT問題算法研究[D];西南交通大學;2015年

2 畢曉慶;油氣探礦權競爭性出讓系統(tǒng)設計與實現[D];中國地質大學(北京);2015年

3 王明明;鐵路大機與線路固定設施間距檢測算法研究[D];西南交通大學;2015年

4 李靜;基于視頻圖像序列的運動目標檢測與跟蹤算法研究[D];寧夏大學;2015年

5 劉貝玲;基于天地圖的租房平臺開發(fā)及其關鍵技術研究[D];西南交通大學;2015年

6 曹海鋒;IDS中串匹配臭算法并行優(yōu)化研究[D];西安建筑科技大學;2015年

7 周攀;基于蟻群算法的山區(qū)高速鐵路隧道火災應急疏散最優(yōu)路徑研究[D];西南交通大學;2015年

8 張路奇;基于改進蟻群算法的WSN路由協(xié)議的研究[D];中國地質大學(北京);2015年

9 王曉晨;入侵雜草優(yōu)化算法的應用與改進[D];長安大學;2015年

10 信琴琴;手勢控制和識別算法研究[D];閩南師范大學;2015年

  本文關鍵詞：命題邏輯中隨機3-SAT問題算法研究，由筆耕文化傳播整理發(fā)布。

，

本文編號：472569