- 博客(1)
- 收藏
- 关注
原创 2-SAT
2-SAT 概念 SAT是适定性(Satisfiability)问题的简称 。一般形式为k-适定性问题,简称 k−SATk-SATk−SAT。 可以证明,当k>2k>2k>2时,k−SATk-SATk−SAT是NP完全的。因此一般讨论的是k=2k=2k=2的情况,即2−SAT2-SAT2−SAT问题。 我们通俗的说,就是给你nnn个变量aia_iai,每个变量能且只能取0/...
2020-02-05 20:18:24 148
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人