
2-sat
二分抄代码
去了18ec没资格去19ec的反向训练选手
展开
-
codeforces1239D Catowice City
https://codeforces.com/contest/1239/problem/D今天下午看hls直播发现hls12分钟秒了一道div1D,一看发现是2-sat裸题,正好复习一下然后就WA了一年。。。首先这题要求1-n要么当裁判要么当参赛者,然后给了一些条件,问是否有可行的方案,这样就是2-sat了这题u认识v的猫,说明u当裁判的时候,v必须也当裁判,所以2-sat上下并没...原创 2020-02-20 19:40:39 · 200 阅读 · 0 评论 -
BZOJ1823 [JSOI2010]满汉全席 洛谷P4171
https://www.luogu.com.cn/problem/P4171https://lydsy.com/JudgeOnline/problem.php?id=1823辣鸡bzoj又不能用auto裸中裸,8说了。yyb的2-sat列表难度顺序不太对。。。我觉得入门题那个dfs反而比较麻烦。。。#include<bits/stdc++.h>using nam...原创 2020-01-11 21:40:52 · 174 阅读 · 0 评论 -
NOI2017 游戏 洛谷 P3825
https://www.luogu.com.cn/problem/P3825(NOI也不过如此,盲目自信.jpg这题我们知道对于地图a,b,c来说,只有两种选择,那么就是2-sat裸题了,考虑地图x,由于d<=8,我们让它要么是A,B要么是B,C,就包含所有情况了,只需要2^d的枚举之前建图忘记对称建了,WA了一发,身败名裂.jpg对称建也就是对于i要选择j,这个命题等于...原创 2020-01-11 21:02:53 · 219 阅读 · 0 评论 -
bzoj1997 [Hnoi2010]Planar
https://www.lydsy.com/JudgeOnline/problem.php?id=1997本来是做2-sat的,结果发现这题就是直接相斥,那么并查集虚点做法就可以了。题目给出了一条哈密顿回路,那么我们只要把这个哈密顿回路拿出来,再判断那些不在这条路上的边不相交,就可以判断他是不是平面图了。网上查题解查到一个平面图的性质,m<=3*n-6,m太大就直接判断是NO,否...原创 2020-01-11 17:18:47 · 139 阅读 · 0 评论 -
hdu1814 Peaceful Commission
http://acm.hdu.edu.cn/showproblem.php?pid=1814这题搞了我半天。。。。而且似乎不需要用tarjan求强连通分量,直接暴力dfs就行了。。。从前向后dfs,假设(1,2)中选择了1号点,那么取图中dfs,所有能够到达的点都要选,那么每到一个点就判断一下,如果没有必选,那么就必选,如果已经必选了,说明在这个点之前已经dfs过这里了,就直接return...原创 2020-01-11 14:56:22 · 165 阅读 · 0 评论 -
poj3683 Priest John's Busiest Day 2-sat 构造方案
http://poj.org/problem?id=3683poj bits不能用就算了,结果auto也不能用= =,直接去牛客上过了,舒服这题构图很简单,每个仪式只有两种时间,那么n^2看冲突就行了,注意如果一个仪式的某一个时间段会跟另一个仪式的两个时间段冲突,那么这个时间段就是不可选的。这题关键是构造方案,传统的2-sat构造方案都是强联通分量缩点以后按反向图跑拓扑排序,我们可以知...原创 2020-01-09 17:13:19 · 282 阅读 · 0 评论 -
poj3678 Katu Puzzle 2-sat
http://poj.org/problem?id=3678变量名写错了检查好久。。。2018年寒假的时候过于摸鱼,没有看懂2-sat,现在看了算法竞赛进阶指南上,发现讲得很好很容易懂,而且跟并查集的虚点进行了对比,当时并查集的虚点还是TB教我的,非常巧妙,印象比较深刻。这题我们把几种位运算分一下情况。a and b =0 ,此时我们知道2个都是0时可行的,2-sat的连边是表示有...原创 2020-01-08 22:15:36 · 266 阅读 · 0 评论