非布爾可滿足性問題求解算法的研究.pdf

1、上海交通大學(xué)碩士學(xué)位論文非布爾可滿足性問題求解算法的研究姓名：邱敏申請學(xué)位級(jí)別：碩士專業(yè)：計(jì)算機(jī)軟件與理論指導(dǎo)教師：徐良賢20040101非布爾可滿足性問題求解算法的研究2研究了隨機(jī)搜索思路分析了系統(tǒng)算法中的噪聲水平參數(shù)的特性以及它對算法性能的影響本文提出了動(dòng)態(tài)變化的噪聲參數(shù)這一思想并將該思路用于最新的非布爾隨機(jī)搜索算法中同樣通過幾個(gè)測例比較了修改后的算法與多種不同算法的性能并對仿真結(jié)果進(jìn)行了分析作為對算法的補(bǔ)充本文還提出了一種優(yōu)化策略

2、其目的是對待求解的合取范式公式進(jìn)行預(yù)處理刪去冗余變量壓縮冗余的變量取值集合使得公式得到簡化在本文中作者先給出了理論分析對可能執(zhí)行的簡化過程做了可行性分析然后給出相應(yīng)的處理流程并以一個(gè)實(shí)例演示了簡化的整個(gè)過程最后測試了不用簡化過程與使用簡化過程在求解同類問題時(shí)所花費(fèi)的時(shí)間依此證實(shí)了簡化過程在絕大多數(shù)情況下具有優(yōu)越性能最后本文對所做的工作做了總結(jié)同時(shí)展望了在該領(lǐng)域中未來可能繼續(xù)的工作關(guān)鍵詞可滿足性問題非布爾問題系統(tǒng)求解隨機(jī)搜索啟發(fā)策略噪聲參