摘要：
\(2-SAT\) 来自 \(\text{OI-WIKI}\) 和 \(\text{Anguei}\) 的题解 定义： 将两个部分拆开，分为 \(2\) 和 \(SAT\) ，有一串 \(bool\) 类型的变量，对每个元素赋值，要求满足要求。 定义 \(\neg\) 表示不行，\(\vee\) 表 阅读全文
摘要：
负环： 因为负环肯定是越跑越短的，但是一个图上所有点都选上时，肯定不是最短路。因此，我们可以通过这一点来思考怎么处理负环： 处理负环的方式只有 \(\text{SPFA}\) ，\(\text{dijkstra}\) 是不能用的。 我们在每次更新边权时，如果是正边，那么只可能对下一个答案更新一次，所 阅读全文