sat

1熱度

1回答

我看到有關此問題的許多衝突信息。有些網站說它是NP完整的，而另一些網站則說它是NP-complete。我能找到的唯一真正一致的信息是絕對是NP難。這是什麼？爲什麼？

0熱度

1回答

我發現根據SATLIB SAT實例，許多可以滿足的問題實際上是不能令人滿意的，因爲它們都包含一個或多個對它們有確切反擊的子句。例如下面的下載鏈接SATLIB cnf clauses for 20 variables, 91 clauses - 1000 instances, all satisfiable 具有其中有條款第7和第86爲彼此完全相反的所以這個公式就決不會造成不滿意一號文件本身。我

-1熱度

1回答

在SMT求解器中爲AES定義替換框

如何定義一個函數，該函數根據表中的值執行值替換？ static const unsigned char FSb[256] = { 0x63, 0x7C, 0x77, 0x7B, 0xF2, 0x6B, 0x6F, 0xC5, 0x30, 0x01, 0x67, 0x2B, 0xFE, 0xD7, 0xAB, 0x76, 0xCA, 0x82, 0xC9, 0x7D,

1熱度

1回答

類布爾到布爾可滿足性[多項式時間減少]第2部分

我問幾天前，一個關於如何將大學課堂排序問題轉換爲布爾可滿足性問題的問題。（Class Scheduling to Boolean satisfiability [Polynomial-time reduction]）我通過@Amit回答誰是非常優雅，易於代碼。基本上，他的答案是這樣的：他不考慮課程，而是考慮時間間隔。因此，對於第i個課程，他只是指出了本課程的所有可能的時間間隔。當每個課程至