日B视频 亚洲,啪啪啪网站一区二区,91色情精品久久,日日噜狠狠色综合久,超碰人妻少妇97在线,999青青视频,亚洲一区二卡,让本一区二区视频,日韩网站推荐

您好,歡迎來電子發(fā)燒友網(wǎng)! ,新用戶?[免費注冊]

您的位置:電子發(fā)燒友網(wǎng)>源碼下載>數(shù)值算法/人工智能>

聚類和劃分的SAT分治判定

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發(fā)表評論

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

      發(fā)表評論,獲取積分! 請遵守相關(guān)規(guī)定!

      ?
      阳原县| 乐都县| 屏南县| 兰州市| 镇巴县| 定南县| 遵义县| 合江县| 平山县| 泽库县| 阿鲁科尔沁旗| 米易县| 海安县| 霍林郭勒市| 利津县| 墨脱县| 永德县| 红原县| 和政县| 秦安县| 黑龙江省| 青阳县| 汉源县| 格尔木市| 宝清县| 惠州市| 桐庐县| 建始县| 德钦县| 宁城县| 鹤庆县| 太和县| 息烽县| 那坡县| 叶城县| 田阳县| 东城区| 大安市| 侯马市| 临洮县| 巍山|