月下的魔术师

摘要： 差分约束的定义： 差分约束系统是一种特殊的一元一次不等式组，约束条件就是一些以两个变量做差的形式构成，形如Xi-Xj<=Ck（Ck为常数，是一个已知的量）， 我们所需要求一组解，使得所有的约束条件的不等式都得到满足。 将差分约束的条件进行移项变形可以得到：Xi<=Xj + Ck，仔细观察可以发现这个 阅读全文

摘要： #10076.「一本通 3.2 练习 2」Roadblocks：https://loj.ac/problem/10076 解法： 次短路具有一种性质：次短路一定是由起点到点x的最短路 + x到y的距离 + y到终点的最短路构成，且次短路的权值和严格大于最短路的权值和。 我们可以从起点跑一次Dijks 阅读全文