随笔分类 - 2-SAT
摘要：关于最小生成树，拓扑排序、强连通分量、割点、2 SAT的一点笔记 前言：近期在复习这些东西，就xjb写一点吧。当然以前也写过，但这次偏重不太一样 MST 最小瓶颈路：u到v最大权值最小的路径。在最小生成树上。是次小生成树的一个子问题qwq 最小极差生成树：枚举最小生成树上的最小权值的大小 topo
阅读全文
摘要：hdu1814 Peaceful Commission 题意：2 sat裸题，打印字典序最小的 我写了三个 1. 染色做法，正解 2. scc做法，不管字典序 3. scc做法，错误的字典序贪心 cpp include include include include include using na
阅读全文
摘要：http://www.lydsy.com/JudgeOnline/problem.php?id=1997 题意：求一个有哈密顿回路的图是不是平面图。告诉哈密顿回路。 T<=100,3<=N<=200,M<=10000 哈密顿回路，所有点组成一个环，展开后不就和那道$poj$一样了......,避免相
阅读全文
摘要：http://www.lydsy.com/JudgeOnline/problem.php?id=2199 题意：裸的2-SAT，但是问每个变量在所有解中是只能为真还是只能为假还是既可以为真又可以为假 这样的话求$SCC$的做法就不好做了 于是只能用$naive$做法了，枚举每个变量选择真假然后$df
阅读全文
摘要：http://www.lydsy.com/JudgeOnline/problem.php?id=1823 题意：每种菜满汉两种做法，一个选手一种菜只能选一种做法，一个评委指定了两种菜及做法，必须有一种满足才行；问是否存在满足所有评委的方案 裸题......一种菜两种选择.....对一个评委来说不选一
阅读全文
摘要：题意： $n$对$couple$举行仪式，有两个时间段可以选择，问是否可以不冲突举行完，并求方案 两个时间段选择对应一真一假，对于有时间段冲突冲突的两人按照$2-SAT$的规则连边（把不冲突的时间段连起来） 然后本题需要构造解，所以要$SCC$缩点反向建图记录否定再拓扑排序$dfs$染色，好麻烦..
阅读全文
摘要：这种一看就很2的东西.... 参考资料: 由对称性解2-sat问题 2-sat解法浅析 $SAT$理论： $2-SAT$ 两种形式： $x \in \hat B$ $x \lor y(x,\ y \in B)$ 对于第二种形式，$x \lor y\ =\ \neg(\neg x \land \neg
阅读全文
摘要：题意： 圆上n个点，m对点之间连边，连在园内或园外，所有边不相交是否可行 发现两对点连线都在内相交则都在外也相交，那么只有一个在内一个在外啦，转化为$2-SAT$问题
阅读全文