![](https://img-blog.csdnimg.cn/20201014180756927.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
2-sat问题
Salvete
Salvete!
展开
-
POJ2723,2-sat问题,二分查找
入手的第一道2-sat问题,关于怎样建图,迷糊了2天,在网上看到各种各样的解法,感到眼花缭乱,无所适从。 于是乎,知道今天才有了一点眉目。 做2-sat难在怎样建图。到目前为只,由于做的题数目有限,只能说说自己浅薄的见解。 最朴素的2-洒脱问题的形式是,有n个集合,每个集合中两个元素,从0,1,2,…,2*n-1,从每个集合中选出一个元素,并且不同集合之间的元素之间存在某些约束,然后再根据题目求出...原创 2018-09-21 19:14:01 · 186 阅读 · 0 评论 -
POJ3207,2-sat问题
这也是一道经典的2-sat问题,难在怎样建图。 首先我们需要像普通的2-sat问题一样无寻找对立的条件。每条边可以在圆内,也可以在圆外,所以可以把每条边当作一个点p,若在圆内,则为p,若在圆外,则为p’。对于给定的m组数据中,若边x与边y在同一侧要相交的话,就建边<x,y’>,<y,x’>,<y’,x>,<x’,y>,接下来就是判断原创 2018-09-22 10:24:01 · 302 阅读 · 0 评论