2019年11月13日
图论--2-SAT--详解
摘要： 问题描述：现有一个由N个布尔值组成的序列A，给出一些限制关系，比如A[x]AND A[y]=0、A[x] OR A[y] OR A[z]=1等，要确定A[0..N-1]的值，使得其满足所有限制关系。这个称为SAT... 阅读全文
posted @ 2019-11-13 22:13 风骨散人 阅读(302) 评论(0) 推荐(0) 编辑