2019年4月2日
2-SAT
摘要： $2 SAT$ 定义：给出$n$个$0/1$选择，其中部分$0/1$选择会有冲突，求一组可行的选择 为方便叙述，我们把第$i$个$0/1$选择表示为$a_{i,0},a_{i,1}​$ 思路： 首先观察性质，$a_{x,t},a_{x',t'}$冲突意味着两者只能选其一。有了这个性质，我们进一步发现 阅读全文
posted @ 2019-04-02 15:23 paul120090105 阅读(1153) 评论(0) 推荐(0)