2020年5月20日
2-SAT问题简述
摘要： 前置知识 强连通分量 k SAT问题 k SAT问题中的SAT意思就是(stability)，也就是适应性问题。本意是给出n个变量，每一个变量有k个状态，并且也给出一些约束条件，要求你求出是否存在每一个变量的取值方案(状态分配方案)。 很可惜，k SAT(k 2)已经被证明是NP完全的问题了，也就是 阅读全文
posted @ 2020-05-20 21:01 菜鸡mk 阅读(606) 评论(0) 推荐(0) 编辑