版權(quán)說(shuō)明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請(qǐng)進(jìn)行舉報(bào)或認(rèn)領(lǐng)
文檔簡(jiǎn)介
1、膨脹圖是有很好連通性的稀疏圖。它的每一個(gè)不太大的結(jié)點(diǎn)集都有一個(gè)相對(duì)更大的鄰接結(jié)點(diǎn)集,因此,要想使圖不連通,需要切斷許多邊。由于膨脹圖的這一特性,使得它在理論與實(shí)踐中發(fā)揮著極其重要的作用,橫跨數(shù)學(xué)、通信和計(jì)算機(jī)等多個(gè)領(lǐng)域,如算法設(shè)計(jì)、密碼學(xué)、糾錯(cuò)碼、偽隨機(jī)信號(hào)發(fā)生器、排序網(wǎng)絡(luò)及健壯的計(jì)算機(jī)網(wǎng)絡(luò)等方面。在理論計(jì)算機(jī)科學(xué)中,由于膨脹圖在某些方面與隨機(jī)圖類(lèi)似,尤其是能夠降低隨機(jī)算法對(duì)隨機(jī)位的依賴(lài)程度,因此正越來(lái)越引起科學(xué)家們的關(guān)注,被用于證明計(jì)
2、算復(fù)雜性理論的許多結(jié)論。 我們知道,命題公式的可滿足性問(wèn)題是理論計(jì)算機(jī)科學(xué)和人工智能中的著名問(wèn)題,判斷命題公式可滿足性的一個(gè)直接辦法是窮舉法。這種辦法從理論上講是可行的,但計(jì)算時(shí)間動(dòng)輒達(dá)到天文數(shù)字。而其它算法,如DPLL算法、局部隨機(jī)搜索算法等也各有其優(yōu)缺點(diǎn)。因此,高效實(shí)用的SAT算法設(shè)計(jì)與分析一直是計(jì)算機(jī)科學(xué)界的研究熱點(diǎn)。 本文對(duì)膨脹圖的理論進(jìn)行了較為全面的分析,并以膨脹圖為基礎(chǔ),提出了一種新的SAT算法。首先,從組合
3、學(xué)角度介紹了膨脹圖的基本概念和性質(zhì);其次,從代數(shù)學(xué)角度對(duì)膨脹圖族的構(gòu)造進(jìn)行研究,介紹了正則圖的三種積運(yùn)算:矩陣積、直積、替換積,并利用三種積各自的特點(diǎn)進(jìn)行膨脹圖族的構(gòu)造;再次,從概率論角度對(duì)膨脹圖的隨機(jī)步進(jìn)行深入研究,詳細(xì)介紹了膨脹混合引理及隨機(jī)步概率估計(jì),進(jìn)而將膨脹圖應(yīng)用于隨機(jī)算法的設(shè)計(jì);最后,對(duì)可滿足性問(wèn)題、隨機(jī)算法、SAT算法的分類(lèi)進(jìn)行介紹,并將膨脹圖與已有的SAT算法相結(jié)合,利用膨脹圖來(lái)誘導(dǎo)SAT算法搜索的隨機(jī)步,最終提出了基于
溫馨提示
- 1. 本站所有資源如無(wú)特殊說(shuō)明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請(qǐng)下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請(qǐng)聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁(yè)內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒(méi)有圖紙預(yù)覽就沒(méi)有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫(kù)僅提供信息存儲(chǔ)空間,僅對(duì)用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對(duì)用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對(duì)任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請(qǐng)與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對(duì)自己和他人造成任何形式的傷害或損失。
最新文檔
- 基于CDCL的SAT問(wèn)題求解算法研究.pdf
- 基于遺傳算法的SAT問(wèn)題求解研究.pdf
- 基于子句權(quán)重求解SAT問(wèn)題.pdf
- 4831.基于子句權(quán)重求解sat問(wèn)題算法的研究
- 基于警示傳播的啟發(fā)式極性決策算法求解SAT問(wèn)題.pdf
- SAT問(wèn)題的隨機(jī)算法的轉(zhuǎn)移矩陣模型.pdf
- SAT問(wèn)題的隨機(jī)算法及其相變現(xiàn)象研究.pdf
- 使用分支定界算法求解帶硬約束的MAX-SAT問(wèn)題.pdf
- 改進(jìn)蟻群算法在求解加權(quán)MAX-SAT問(wèn)題中的應(yīng)用.pdf
- 命題邏輯中隨機(jī)3-SAT問(wèn)題算法研究.pdf
- 求解tsp問(wèn)題的貪婪隨機(jī)模擬退火算法
- 基于模擬退火算法求解隨機(jī)需求定位路線問(wèn)題研究.pdf
- 基于膜創(chuàng)生膜系統(tǒng)的3-SAT及AT問(wèn)題求解方法.pdf
- 隨機(jī)裝卸工問(wèn)題及其智能求解算法的研究.pdf
- 基于擴(kuò)展規(guī)則的#SAT近似求解器的研究.pdf
- 基于遺傳算法的隨機(jī)最優(yōu)潮流求解研究.pdf
- 求解圖分割問(wèn)題的混合進(jìn)化算法.pdf
- 基于VLSN的ILS算法求解選址問(wèn)題.pdf
- 微粒群算法在隨機(jī)規(guī)劃問(wèn)題求解中的應(yīng)用研究.pdf
- CDCL SAT求解器中的分支變量啟發(fā)式算法研究.pdf
評(píng)論
0/150
提交評(píng)論