2024年12月7日
SAT问题(Boolean satisfiability problem)(布尔可满足性问题)
摘要： 1.组成SAT问题的三要素 m个逻辑变元(variable)的集合: \(x_1, x_2,…, x_m\) 文字(literal)的集合：一个文字就是一个逻辑变元或其非。这样，全部基本式为：\(x_1, \overline {x_1}, x_2, \overline {x_2}…, x_m, \o 阅读全文
posted @ 2024-12-07 21:18 seonwee 阅读(706) 评论(0) 推荐(0)