![](https://img-blog.csdnimg.cn/20201014180756925.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
2-SAT
whoammiiiiii
这个作者很懒,什么都没留下…
展开
-
UVA 11930
题目链接 前言: 如果你看到这篇题解,那我们就是有缘人,因为写这题题解的人太少了…百度就两篇,而且还是一个写法的,严重怀疑第二个人是抄第一个人的代码…而我又不想照他的写法,只能说运气好,发现是ll的问题,不然结局应该是浪费时间+弃题。 毒瘤UVA冷门题真的别做啊,题解没有,数据没有,啊你是LGM,那没事了。 题意: 给你n个矩形,每个矩形给你四个顶点(无序,所以要先排序),现在要求每个矩形都要选一个对角线,使得这些对角线都不相交。如果存在解的话就YES,不然NO。 1000ms n<=1000, -1原创 2020-10-29 01:35:15 · 192 阅读 · 0 评论 -
POJ 3686(2sat 判时间段是否相交)
题目链接 题意: 给你n个时间段[l,r],每个时间段里要花d时间做任务,而这个任务只能在[l,l+d],或者[r-d,r]这时间段里完成,问你有没有解决方法,有的话就输出任意一种。 思路: 先来翻译一下题意,每个时间段选择啥时候做任务只有两个选择,要么左端或右端,然后n个时间段都是这样的选择,然后这题问你存不存在一种满足n个时间段都能做任务的方案。 因为每个时间段就两个选择,就可以联想到2-SAT,判断两个时间段a,b是不是相交,相交的话就a->!b和b->!a连两条单向边。 spj一发ac,原创 2020-09-22 18:30:04 · 208 阅读 · 0 评论