Definition 7 CNF-SAT (Boolean Satisfiability problem) 的輸入為一個CNF 算式,. 問題為「是否包含一組變數組使得輸入的算式結果為真」。 依照一開始對 ...
確定! 回上一頁