- 博客(1)
- 资源 (1)
- 收藏
- 关注
原创 证明STINGY SAT是NP-complete问题
要证明要这个问题之前,我们先来回顾一下,什么是SAT问题,以下概念摘自课本算法概论(注释版)。对于一般的SAT来说,给定一个有穷的布尔变量集合X = {X1,X2,,,,,,,Xn}, |X| = n,每个变量取值0或1,一组字句C = C1∩C2∩.......交Cn,每个Ci是由多个变量组成的析取范式,长度不限,即Z1 ∨Z2∨Z3∨...........∨Zn。问:给定一个布尔变量集合X
2018-01-03 19:43:06 1099
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人