亚洲av成人精品日韩一区,97久久久精品综合88久久,玩弄japan白嫩少妇hd,亚洲av片不卡无码久久,玩弄人妻少妇500系列

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

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

聚類(lèi)和劃分的SAT分治判定

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

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

非常好我支持^.^

(0) 0%

不好我反對(duì)

(0) 0%

      發(fā)表評(píng)論

      用戶(hù)評(píng)論
      評(píng)價(jià):好評(píng)中評(píng)差評(píng)

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

      ?