摘要： 2-SAT 输出可行解找可行解的方案就是：根据第一次建的图建一个反图..然后求逆拓扑排序，建反图的原因是保持冲突的两个事件肯定会被染成不同的颜色求逆拓扑排序的原因也是为了对图染的色不会发生冲突，输出可行解就是遍历一次逆拓扑排序时染成的颜色，输出同一组颜色的解就是其中的一组可行解。代码： 1 #include 2 #include 3 #include 4 #include 5 #include 6 7 const int maxn = 2011; 8 const int maxm = 3000011; 9 struct node{ 10 int u; 1... 阅读全文