2-sat
x_1023
这个作者很懒,什么都没留下…
展开
-
BZOJ 1823 [JSOI2010]满汉全席 - 2-sat
好裸的一道题。 建边的思路,对于一个评委来说,设一个材料A选h,B选m,那么若A选m的话,B必须选m,B选h的话,A必须选h(因为两者之一要满足被选)2-sat的关键思路就是找出一个被选,另一个必须被选的这样的约束关系。#include<iostream> #include<cstring> #include<cstdlib> #include<cstdio> #include<algorithm原创 2017-10-20 09:49:17 · 243 阅读 · 0 评论 -
BZOJ 1997 [Hnoi2010]Planar - 2-sat
由欧拉公式:n-m+r=2,n个顶点,m条边,r个面 对于简单极大平面图,3r=2m (每个面由3条边组成,一边被2个面共享) 代入得 m=3n-6 通过m<=3n-6减枝,将m控制在1000以内。平面图,即没有线段交叉,而此题已经给出了一个环,于是每一条非环上的线段只有两种情况,一是在环外,二是在环内,若有两线段相交则不为平面图。 确定两个线段的关系,若其坐标交叉,则必然不能同时取外原创 2017-10-20 19:51:45 · 212 阅读 · 0 评论