摘要：
求解 2-SAT 问题 使用强连通分量。 对于每个变量 x，建立两个点：x,¬x 分别表示变量 x 取 true 和取 false。 图的节点个数是两倍的变量个数。在存储方式上，可以给第 i 个变量标号为 i，其对应的反值标号为 i+n。 对于每个要求(a∨b)，转换为 （ ¬a→b ）∧（¬b→a 阅读全文
摘要：
传送门 blingbling dalao 阅读全文
摘要：
【零. 序言】 头文件 #include<cstdio> #include<iostream> #include<cstring> #include<string> #include<algorithm> #include<cmath> #include<set> #include<vector> 阅读全文