2019年4月8日
luogu 4782【模板】 2-SAT 问题
摘要： 2-SAT就是给出$m$个限制表示$x==val_x || y==val_y$ 求出满足的解 每个点拆成两个点，如果$x$不满足则$y$一定满足，$y$不满足同理。这样我们连边，然后$tarjan$即可 1 #include<iostream> 2 #include<cstdio> 3 #inclu 阅读全文
posted @ 2019-04-08 13:47 jack_yyc 阅读(106) 评论(0) 推荐(0) 编辑