2-SAT
L_0_Forever_LF
一个热爱OI的OIer
展开
-
BZOJ1997: [Hnoi2010]Planar
先将哈密顿回路展在平面上,尝试给他连上原图中的其他边 每条边我们可以画在环内或者环外,有些边之间有冲突,不能同时在环内或环外,这就对应了一个2-SAT模型 直接tarjan判一下有没有u,u’在同一个连通分量就行了 边数是m^2的,Tm^2会T 因为平面图有个性质 m<=3n-6,用这个剪枝就行了code:#include<set>#include<map>#include<deque>原创 2017-12-07 10:28:36 · 364 阅读 · 0 评论 -
BZOJ4078: [Wf2014]Metal Processing Plant
不妨设D(S)<=D(T)D(S)<=D(T)D(S)D(T)D(T)D(T),对于D(S)D(S)D(S)显然满足二分性,我们可以二分他,然后对于边权>D(T)>D(T)>D(T)的边,他的两端点不能在同一个集合里,对于边权在(D(S),D(T)](D(S),D(T)](D(S),D(T)]内的边,他的两端点不能都在A里,我们可以建出一个图跑2−SAT2−SAT2-SAT...原创 2018-04-25 20:45:24 · 351 阅读 · 0 评论