在线观看www成人影院-在线观看www日本免费网站-在线观看www视频-在线观看操-欧美18在线-欧美1级

您好,歡迎來電子發燒友網! ,新用戶?[免費注冊]

您的位置:電子發燒友網>源碼下載>數值算法/人工智能>

聚類和劃分的SAT分治判定

大小:0.58 MB 人氣: 2018-01-24 需要積分:2

  提出了一種將布爾公式劃分為子句組來進行布爾可滿足性判定的方法.CNF(conjunctive normal form)公式是可滿足的當且僅當劃分產生的每個子句組都是可滿足的。因此,通過判定子句組的可滿足性來判定原公式的可滿足性,相當于用分治法將復雜問題分解為多個子問題來求解.這種分治判定方法一方面降低了原公式的可滿足性判定復雜度;另一方面,由于子句組的判定可以并行,因而判定速度能夠得到進一步的提高.對于不能直接產生布爾子句組劃分的情形,提出了一種利用聚類技術將CNF公式聚類成多個簇,然后消去簇間的公共變量來產生子句組劃分的方法.

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

      用戶評論
      評價:好評中評差評

      發表評論,獲取積分! 請遵守相關規定!

      ?
      主站蜘蛛池模板: 亚洲伦理一区二区| 色狠狠狠色噜噜噜综合网| 午夜视频h| 78m-78模成视频在线| 成人黄色网址| 五等分的新娘免费漫画| 亚洲三级视频在线观看| 天天看爽片| 日本妈妈4| 美女毛片视频| 久久亚洲综合色| 国产农村妇女毛片精品久久久| 成 人在线观看视频网站| 在线观看886影院成人影院| 天天做夜夜爱| 国产重口老太和小伙乱视频| 在线观看视频在线观看| 亚洲国产视频网| 在线观看精品视频看看播放| 天天色影院| 男人不识本站| 大学生毛片| 天天操操| 亚洲激情四射| 久久久国产高清| 婷婷激情五月| 男人边吃奶边爱边做视频日韩| 国产玖玖在线| 色偷偷尼玛图亚洲综合| 2018国产大陆天天弄| 日本一区不卡视频| 午夜色站| 九月丁香婷婷| 天天射天天舔| 免费观看黄色网| 又黄又涩的视频| 欧美成人三级伦在线观看| 高清成人| 国产综合视频在线观看| 日本在线不卡一区| 四虎影院永久|