2021年9月3日
2-SAT
摘要： 2-SAT 算法用于解决给定 n 个元素可0可1，及m个限制：“x为1/0或者y为1/0”。SAT=satisfication简称，2表示“”内的只有两个选择。目前证明(>2)-SAT是NP问题，但2-SAT有O(m)算法 考虑建图，每个点有x,x'，表示x=1,0。考虑限制->连边，以“i为0或j 阅读全文
posted @ 2021-09-03 16:36 pengyule 阅读(72) 评论(0) 推荐(0) 编辑