2019年5月27日
2-SAT学习笔记
摘要： 2-SAT学习笔记 1.what is： 有一个由n个bool变量组成的序列A，有一定的限制条件，求出满足条件的方案。 2.how to do: (1).建图： 将每个点拆成(i<<1)和((i<<1)|1)[即 2*i 和 2*i+1 ],分别代表这个变量是真或假。 连接有向边（u->v）表示由u 阅读全文
posted @ 2019-05-27 22:12 lsoi_ljk123 阅读(177) 评论(0) 推荐(0) 编辑