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

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

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

聚類和劃分的SAT分治判定

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

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

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

      ?
      主站蜘蛛池模板: 国产精品美女在线观看 | 五月亭亭六月丁香 | 中文字幕在线播放第一页 | 亚洲视频精选 | 色婷婷婷丁香亚洲综合不卡 | 天天干天天色天天干 | 天天干夜夜夜 | 久久久精品久久久久久久久久久 | 国产精品四虎在线观看免费 | 欧美一区二区三区在线观看 | 色人阁婷婷| 天天干夜夜爱 | 999av视频 | 国产欧美日韩视频免费61794 | 久久黄色一级片 | 五月婷婷色 | 午夜小视频男女在线观看 | 我要看黄色一级毛片 | 九九免费久久这里有精品23 | 手机看片福利视频 | 一区二区三区在线免费 | 三级网站国产 | 免费一级大毛片a一观看不卡 | 经典三级第一页 | 中文字幕在线色 | 成年人黄色大片大全 | 国产女人18毛片水真多18精品 | 日本三级全黄三级a | 好紧好爽水真多18 | 亚洲综合天堂网 | 全黄毛片 | 色婷婷久久综合中文久久蜜桃 | 国产3p在线播放 | 免费看美女午夜大片 | 唐人社电亚洲一区二区三区 | 国产精品久久福利网站 | 1024手机看片国产旧版你懂的 | 精品一区二区三区免费爱 | 一区二区午夜 | 轻点灬大ji巴太大太深了 | 久久久久久噜噜噜久久久精品 |