2015年6月11日
2—SAT问题
摘要： 现有一个由N个布尔值组成的序列A，给出一些限制关系，比如A[x]AND A[y]=0、A[x]OR A[y]OR A[z]=1、A[x] XOR A[y]=0等，要确定A[0..N-1]的值，使得其满足所有限制关系。这个称为SAT问题，特别的，若每种限制关系中最多只对两个元素进行限制，则称为2-SA... 阅读全文
posted @ 2015-06-11 15:56 Rivendell 阅读(230) 评论(0) 推荐(0) 编辑