天堂国产午夜亚洲专区-少妇人妻综合久久蜜臀-国产成人户外露出视频在线-国产91传媒一区二区三区

當前位置:主頁 > 科技論文 > 搜索引擎論文 >

SLS算法求解平衡正則(k,2r)-CNF公式

發(fā)布時間:2021-07-22 23:28
  可滿足性問題的求解算法和結(jié)構(gòu)性質(zhì)研究是計算機科學中重要問題之一,為尋求某些CNF公式子類問題有效算法或算法改進途徑,對公式的結(jié)構(gòu)加以某些限制,其中限定子句長度為恒定常數(shù)和變元出現(xiàn)次數(shù)是常見的處理方式。研究具有正則結(jié)構(gòu)且每個變元正負出現(xiàn)均衡的結(jié)構(gòu)化公式的可滿足性問題求解,其隨機生成模型的構(gòu)建及隨機實驗測試有助于觀察解分布狀況。并且,隨機局部搜索算法在求解具有一定規(guī)則結(jié)構(gòu)CNF公式實例中具有良好效率。本文集中研究平衡正則(k,2r)-CNF公式的求解問題,即限制每個子句的長度為k,每個變元出現(xiàn)的次數(shù)為偶數(shù)2r,并且每個變元正負出現(xiàn)的次數(shù)在相等情況下的可滿足性問題求解。給出BR(n,k,2r)模型,以此模型來生成具有特殊結(jié)構(gòu)的平衡正則(k,2r)-CNF公式實例,利用隨機局部搜索算法求解問題。通過限制初始指派的0文字和1文字各占一半且均勻生成,以Walk SAT算法和NSAT算法做實驗對比,發(fā)現(xiàn)對于平衡正則(k,2r)-CNF公式,實例具有明顯效率。 

【文章來源】:計算機與現(xiàn)代化. 2019,(01)

【文章頁數(shù)】:5 頁

【部分圖文】:

SLS算法求解平衡正則(k,2r)-CNF公式


初始指派被限制的實例類RegFormula-5000-3-8在SLS算法下的求解時間

【參考文獻】:
期刊論文
[1]基于人工智能路徑規(guī)劃系統(tǒng)的智能小車的設(shè)計與實現(xiàn)[J]. 蔡莉莎,曾維鵬.  電子世界. 2016(18)
[2]基于加強概率控制策略的SAT局部搜索算法[J]. 洪劍珂,張崢華,許貴平.  計算機工程與應用. 2017(14)
[3]正則3-SAT問題的相變現(xiàn)象[J]. 張明明,許道云.  計算機科學. 2016(04)
[4]極小不可滿足公式在多項式歸約中的應用[J]. 許道云.  軟件學報. 2006(05)
[5]SAT問題中局部搜索法的改進[J]. 楊晉吉,蘇開樂.  計算機研究與發(fā)展. 2005(01)
[6]AI規(guī)劃的回顧與展望[J]. 劉吉穎,方思行.  中山大學學報論叢. 2000(05)
[7]求解SAT問題的局部搜索算法及其平均時間復雜性分析[J]. 劉濤,李國杰.  計算機學報. 1997(01)

博士論文
[1]自動推理與規(guī)劃問題最小上界和相變規(guī)律研究[D]. 周俊萍.吉林大學 2011

碩士論文
[1]基于FPGA鏌擬的SAT求解方法[D]. 毛樂樂.廣西民族大學 2016
[2]基于SAT的數(shù)字電路ATPG方法及應用[D]. 張岳華.吉林大學 2012
[3]基于SAT的VLSI測試向量自動生成技術(shù)[D]. 付宇.北京交通大學 2010



本文編號:3298116

資料下載
論文發(fā)表

本文鏈接:http://sikaile.net/kejilunwen/sousuoyinqinglunwen/3298116.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶6b0a2***提供,本站僅收錄摘要或目錄,作者需要刪除請E-mail郵箱bigeng88@qq.com
国产免费观看一区二区| 国产在线成人免费高清观看av| 国产av熟女一区二区三区四区| 亚洲国产色婷婷久久精品 | 青青操成人免费在线视频| 亚洲综合色在线视频香蕉视频| 99热在线播放免费观看| 精品人妻一区二区四区| 中文字幕五月婷婷免费| 在线九月婷婷丁香伊人| 98精品永久免费视频| 日韩精品在线观看完整版| 日韩一区二区三区免费av| 亚洲精品中文字幕欧美| 久久人人爽人人爽大片av| 麻豆欧美精品国产综合久久| 国产日韩欧美综合视频| 一区二区不卡免费观看免费| 日本欧美一区二区三区在线播| 欧美中文字幕一区在线| 色哟哟精品一区二区三区| 日本和亚洲的香蕉视频| 国产精品午夜福利免费阅读| 欧美性高清一区二区三区视频 | 日韩精品视频高清在线观看| 亚洲一区二区三区中文久久| 91欧美亚洲精品在线观看| 自拍偷女厕所拍偷区亚洲综合| 精品推荐国产麻豆剧传媒| 久久精品中文扫妇内射| 字幕日本欧美一区二区| 亚洲精品欧美精品一区三区| 国产传媒欧美日韩成人精品| 日韩精品你懂的在线观看| 国产免费观看一区二区| 亚洲视频一级二级三级| 欧美精品一区二区三区白虎| 日本不卡在线视频你懂的| 亚洲高清欧美中文字幕| 五月婷日韩中文字幕四虎| 欧美人妻盗摄日韩偷拍|