- 博客(3)
- 收藏
- 关注
RSS订阅
1转载 NP完全问题---3-SAT
1、什么是3SAT问题？SAT是SATISFIABILITY（可满足性）的缩写。SAT问题就是问某一个布尔表达式是不是“可满足”的问题。这里的术语“可满足”的意思是存在一组“真值赋值”(truth assignment)使得布尔表达式为真。举例来说，“a & !b”(a与非b)就是一个"可满足"的布尔表达式，因为存在一组真值赋值(a=1,b=0)使其为真，而"(a | b) & (a | !b) & (!a | b) & (!a | !b)“就是一个"不可满足"的布尔表达式
2020-07-26 21:12:48
13797
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人