2-SAT
Hany01
这个作者很懒,什么都没留下…
展开
-
【BZOJ1997】【HNOI2010】Planar(2-SAT,平面图,并查集)
DescriptionSolution首先如果边数大于3n−63n−63n-6直接输出NO我们将哈密顿回路看做一个圆,一对边如果全部在圆内相连会相交,那么它们如果全部在圆外连边也会相交。也就是如果其中一条在圆内,那么另一条一定在圆外。这就是个2-SAT问题了。直接建图后求SCC即可当然这题也可以用并查集水过。Code/**********************...原创 2018-04-05 10:37:13 · 203 阅读 · 0 评论 -
【BZOJ4945】【UOJ317】【NOI2017】游戏(2-SAT)
Description还是uoj的题面美观Solution考虑枚举每一个x具体代表的是a,b,c中的哪个。 现在的问题是如何判断一个地图方案可行。 这显然是一个2-SAT。 如果不会2-SAT,这里推荐天天踩我的zjp_shadow的博客 对于每一个限制: 1. hi=Sihi=Sih_i=S_i,可以直接忽略这个限制。 2. hi≠Si,hj=Sjhi≠Si,hj=Sjh...原创 2018-04-06 10:20:19 · 254 阅读 · 0 评论 -
【BZOJ1823】【JSOI2010】满汉全席(2-SAT)
Description满汉全席是中国最丰盛的宴客菜肴,有许多种不同的材料透过满族或是汉族的料理方式,呈现在數量繁多的菜色之中。由于菜色众多而繁杂,只有极少數博学多闻技艺高超的厨师能够做出满汉全席,而能够烹饪出经过专家认证的满汉全席,也是中国厨师最大的荣誉之一。 世界满汉全席协会是由能够料理满汉全席的专家厨师们所组成,而他们之间还细分为许多不同等级的厨师。为了招收新进的厨师进入世界满汉全席协会,...原创 2018-05-31 19:45:32 · 250 阅读 · 0 评论 -
【ARC069F】Flags(二分,2-SAT,线段树优化建边)
Description有nnn面flag,每个flag可以立在两个地方,求出一种方案使得flag之间的最小距离最大。Solution首先二分这个距离,然后用2-SAT检查方案是否可行。 这样最坏情况建出来的边是n2n2n^2的,用线段树优化建边即可。Code/************************************************ *...原创 2018-08-31 23:44:13 · 242 阅读 · 0 评论