Algebraic-Attack
確定 SAT 問題的複雜性
是否有確定指定 SAT 問題複雜性的標準方法？我正在研究代數密碼分析，並開始使用 CryptoMiniSat 求解多元二次方程系統。然而，評估完整密碼方程系統的複雜性會很好。它僅取決於多項式和變數的數量嗎？有沒有辦法估計求解方程組所需的時間以及我需要知道哪些參數才能找出答案？
不，那裡沒有。
你的問題不是很好。您尚未指定是否需要最壞情況復雜性或平均情況復雜性，以及在哪類 SAT 實例上。答案將在很大程度上取決於這些細節。
如果您想知道 3SAT 算法的世界紀錄是什麼，以所有可能的 3SAT 實例的最壞情況復雜度來衡量，這是在https://cs.stackexchange.com/或https://上提出的問題ctheory.stackexchange.com/。參見，例如， SAT 的最佳上限和測量 SAT 實例的難度。但不要指望這些理論結果必然與 SAT 求解器在實踐中的表現有任何關係。