SPFA判负环
负环:一个图中边权之和为负数的回路
原理很简单,在$spfa$每次入队一个点的时候判断一下该点入队次数,若大于等于$n$,则说明进行了至少$n$次松弛操作,这显然是不合法的,证明每次走这条路都会使最短路更短,也就是说这条路可以反复到达并且贡献为负,这便是有负环。
bool spfa_check(){ memset(dis,inf,sizeof(dis)); memset(cnt,0,sizeof(cnt)); memset(vis,0,sizeof(vis)); queue<int>q; q.push(1); dis[1] = 0; vis[1] = 1; while(!q.empty()){ int u = q.front();q.pop(); vis[u] = 0; for(int i=head[u];i;i=nxt[i]){ int v = to[i]; if(dis[u] + w[i]< dis[v] ){ dis[v] = dis[u] + w[i]; if(!vis[v]){ if(++cnt[v] >= n){ return 1; } vis[v] = 1; q.push(v); } } } } return 0 ; }