問答題

【簡答題】簡述SAT問題和COOK定理。

答案： S.AT問題：給定一組布爾變量V和一組由V組成的字句集合C，判定是否存在一組滿足C中所有子句的真值賦值。（布爾表達式可滿...
題目列表

你可能感興趣的試題

問答題

【簡答題】為什么說，只要兩個不同的編碼系統(tǒng)是多項式相關的，就不影響算法復雜性的多項式性。
答案： 某問題在e1編碼下的算法時間復雜性是多項式T（n）。在e2編碼下，算法不變，算法時間復雜性T（P（n）），也是一個多項式...
問答題

【簡答題】什么是“可證難解性”問題，試舉出兩個例子。
答案： “可證難解性”問題是不可判定的難解問題和可判定的難解問題的總稱，比如貨郎擔問題，子圖同構問題。
微信掃碼免費搜題