无尽

差分约束裸题， a< b等价于a+1<=b， 这就类似松弛操作d[x]+w[i]<=d[y]，转化为最长路问题。#include<cstdio> #include<cstring> #define N 100005 using namespace std; int in() { register int r = 0; register char c = getchar();

差分约束裸的差分约束，没什么好说的。大概说一下DFS版的SPFA为什么可以找得到负环。 前提是每一个点都被访问到至少一次。一个负环上一定存在一个点p，使得从p开始绕着环走出来的距离总是负数。反证，即假设每一个点出发绕环走都存在一次让走的距离为正，则可以构造一种方案使得可以无限次绕环走而总是非负，显然与负环矛盾。然后随便设一个源点向每一个点连边判SPFA负环即可。#include<bits/stdc