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

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

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

聚類和劃分的SAT分治判定

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

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

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

      ?
      主站蜘蛛池模板: 久久精品大全 | 13日本xxxxxxxxx18 1515hh四虎免费观38com | 情久久 | 亚洲精品老司机综合影院 | 黄色大片日本 | 91av视频| 日本特黄特色免费大片 | 欧美极品| 色福利网 | 在线欧美色图 | 中文字幕三级久久久久久 | 月夜免费观看完整视频 | 久久综合五月婷婷 | 综合7799亚洲伊人爱爱网 | 亚洲精品电影天堂网 | 国产日本久久久久久久久婷婷 | 亚洲色图日韩 | 黄色在线观看国产 | 一级做性色a爱片久久片 | 欧洲熟色妇 | 啪啪午夜免费 | 成年人色网站 | 久久久精品波多野结衣 | 干美女在线视频 | 欧美黄色一级片视频 | 国产黄网站 | 久久国产免费 | 国产农村一级特黄α真人毛片 | 日韩第五页 | 国产一区二区高清 | 天天免费看片 | 欧美黄又粗暴一进一出抽搐 | 亚洲国产午夜精品理论片的软件 | 日韩免费观看一级毛片看看 | 午夜寂寞视频在线观看 | 国产香蕉免费精品视频 | 免费免费啪视频在线 | 九色视频播放 | 三级在线观看免播放网站 | 37pao强力打造免费高速高清 | 一级做a爱片久久毛片 |