摘要：题目大意：给你 m 个式子， 问你最少再添加多少式子能使没有任何一种赋值方式使全部的式子为真。 并且在你给的式子中不能有非。 思路：根据题目给的m个式子可以建出2-Sat的图， 现在问你最少加多少个边使得2-Sat不成立， 我们可以发现我们给出的式子肯定是 a | a 的形式， 在题目中没有 ~p 阅读全文

摘要：题意：给你一个有向图，每个点有一个权值，有一个起点和q个终点，没经过一个点加上这个点的权值，让你选一条路，问你最大值是多少。 思路：tarjan强连通缩个点， 然后在拓扑图上dp一下就好啦， 注意第二次建图建反向边会好一点。 阅读全文

摘要：1 #include<bits/stdc++.h> 2 #define ll long long 3 using namespace std; 4 const int P=1e6; 5 const int N=2e6+5; 6 const int M=2e6+5; 7 const int inf=0 阅读全文