例题链接：cf1971H
2-SAT本质上是将一些01变量间的限制关系以图的形式表现出来。
对于一个变量 a i a_i ai，我们会建两个点分别表示 a i = 1 a_i = 1 ai=1和 a i = 0 a_i = 0 ai=0。
然后我们定义一条限制 l i m ( a i , a j , x , y ) lim(a_i,a_j,x,y) lim(ai,aj,x,y) 为 a i = x a_i =x ai=x和 a j = y a_j = y aj=y不能同时出现。则对于一条限制，我们会连两条边： a i = x a_i=x a
最低0.47元/天 解锁文章
扫一扫
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
