摘要：
其实以前写过关于$2-SAT$的，但是那时的自己太懵懂了。 这是以前写过的文章link 关于$2-SAT$，其实就想说两件事情。 $2-SAT$边建立的逻辑 $2-SAT$边建立的逻辑是必须关系，若$(u,v)$连边的话，说明如果要选择$u$号节点就必须要选择v号节点。 举个例子，假设有$2$个团队 阅读全文
摘要：
link 试题分析 分两种情况考虑。 当此点不是割点是，答案是$2\times (n-1)$。 当是割点时，我们发现这个点把树分成了若干个联通块，只要两两相乘即可。 #include<iostream> #include<cstring> #include<cstdio> #include<algo 阅读全文
摘要：
link 题目大意 给你几个二进制运算的结果，求是否有解。 试题分析 $2-SAT$板子吧，其实主要就是在$2-SAT$中我们连边是对于选择$u$点后必须选择$v$点才连$(u,v)$。 然后就$tarjan$判断两点是否在一个强连通分量中。 #include<iostream> #include< 阅读全文
摘要：
link 题目大意 询问有多少个点不在奇环上。 试题分析 性质1 若两人若不在一个点双连通分量中，则无法一起出席。 证明 若两人一起出席，则肯定两点之间构成点双连通分量，但是两者不在一个点双中，不满足点双的极大性，则性质1正确。 性质2 若在点双中有奇环，则每个点都至少在一个奇环上。 证明 我们考虑 阅读全文