摘要：差分约束，就是用spfa解决一下不等式问题 但是，这些不等式的不等号必须统一 当一个不等式形如：sx-sy<=z 那么我们建一条由y到x权值为z的边 有一系列不等式组，按此规则建边（如果有>=就取负在做） 然后，得到了一张有向图，对他跑最短路 跑出来的值，一定满足约束条件 这就是差分约束的原理 至于 阅读全文

摘要：同余基本运算：https://www.luogu.com.cn/blog/shenhy1205/tong-yu-ru-men 欧拉： https://www.luogu.com.cn/blog/shenhy1205/ou-la 反演： https://www.luogu.com.cn/blog/sh 阅读全文