色哟哟视频在线观看-色哟哟视频在线-色哟哟欧美15最新在线-色哟哟免费在线观看-国产l精品国产亚洲区在线观看-国产l精品国产亚洲区久久

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

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

聚類和劃分的SAT分治判定

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

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

非常好我支持^.^

(0) 0%

不好我反對

(0) 0%

      發表評論

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

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

      ?
      主站蜘蛛池模板: 亚洲精品人成电影网| 久久久这里有精品999| 国产私拍福利精品视频| 俄罗斯15一16处交| 国产高清美女一级毛片久久| 国产精品免费小视频| 狠狠色欧美亚洲狠狠色www | 久久综合色超碰人人| 国产精品美女久久久久浪潮AV| 国产麻豆福利AV在线观看| 久久热免费观看视频| 日本二区三区欧美亚洲国| 午夜福到在线4国产| 中文字幕日本久久2019| 亚洲综合免费视频| 陈红下面又紧又小好爽| 久久激情网| 性色AV乱码一区二区三区视频| 阴茎插入阴道| 果冻传媒 在线播放观看| 欧美另类与牲交ZOZOZO| 欧美日韩综合一区| 一区二区乱子伦在线播放| 古装性艳史电影在线看| 国产精品第100页| 翘臀后进美女白嫩屁股视频| 亚洲一区二区影院| 国产日韩亚洲专区无码| 入禽太深视频免费视频| 亚洲AV无码乱码国产麻豆P | 免费在线a| 野花日本完整版在线观看免费高清| 成人免费一级毛片在线播放视频| 第一次处破女18分钟免费| 国产呦精品一区二区三区网站| 日本丝袜护士| 超碰在线视频人人AV| 日操夜操天天操| 超级乱淫片午夜电影网99| 欧美人成人亚洲专区中文字幕| 中文字幕国产在线观看|