摘要："原题链接" 裸的差分约束。 1. $X_a X_b\geqslant C$ 2. $X_a X_b\leqslant C\Rightarrow X_b X_a\geqslant C$ 3. $X_a X_b\geqslant 0,X_b X_a\geqslant 0$ 并建立一个超级源点$0$，对 阅读全文

摘要："BZOJ原题链接" "洛谷原题链接" 很明显的差分约束，但数据范围较大，朴素$SPFA$判正环求解会$T$（理论上如此，但我看到有挺多人用朴素的还跑得挺快。。），所以需要优化。 我们所建立的有向图中所有边的权值只有$0$或$1$，而且若图中有环，那么环上所有边的权值必须为$0$，否则无解。 所以我 阅读全文

摘要：一道差分约束 "原题链接" 定义$f[x]$表示$0\sim x$间最少选择几个数，则$f[b_i] f[a_i 1]\geqslant c_i$。 显然的差分约束。 另有条件$f[x] f[x 1]\geqslant 0,f[x] f[x 1]\leqslant 1$。 按上述条件建图跑最长路即可 阅读全文