2018年8月3日
POJ 3678 2-SAT
摘要： 题意：有n个顶点里面可以放数字1或0，给m个限制，每个限制给出两个顶点编号和两编号内数字运算后的结果 思路：很直接的2-SAT，每个点分为1和0两种情况，按限制要求建边，跑tarjan然后判断点是否在同一个强连通分量里就OK了 (一下代码是WA的。。找了一晚找不到BUG) 1 #include<cs 阅读全文
posted @ 2018-08-03 22:05 llllrj 阅读(144) 评论(0) 推荐(0) 编辑