Luogu P3385 【模板】负环

题目描述

暴力枚举/SPFA/Bellman-ford/奇怪的贪心/超神搜索

输入输出格式

输入格式：

第一行一个正整数T表示数据组数，对于每组数据：

第一行两个正整数N M，表示图有N个顶点，M条边

接下来M行，每行三个整数a b w，表示a->b有一条权值为w的边（若w<0则为单向，否则双向）

输出格式：

共T行。对于每组数据，存在负环则输出一行"YE5"(不含引号)，否则输出一行"N0"(不含引号)。

输入输出样例

输入样例#1： 复制

2
3 4
1 2 2
1 3 4
2 3 1
3 1 -3
3 3
1 2 3
2 3 4
3 1 -8

输出样例#1： 复制

N0
YE5

说明

N,M,|w|≤200 000；1≤a,b≤N；T≤10 建议复制输出格式中的字符串。

此题普通Bellman-Ford或BFS-SPFA会TLE

DFS版SPFA判负环，注意输出有坑点，输出YE5 和 N0 而不是 YES 和 NO

//2018年3月4日22:19:48
#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;

const int N = 400001;
const int M = 400001;

struct Edge{
    int len, to, nxt;
}E[M];
int fir[N], edge_num;

void addEdge(int x, int y, int z){
    E[++edge_num].to = y;
    E[edge_num].len = z;
    E[edge_num].nxt = fir[x];
    fir[x] = edge_num;
}

int T, n, m;
int dis[N], vis[N], flag;
void spfa(int A){
    vis[A] = 1;
    for(int i=fir[A]; i; i=E[i].nxt){
        if(dis[E[i].to] > dis[A] + E[i].len){
            if(vis[E[i].to] || flag){ flag = 1; break; }
            dis[E[i].to] = dis[A] + E[i].len;
            spfa(E[i].to);
        }
    }
    vis[A] = 0;
}

int main(){
    scanf("%d", &T);
    while(T--){
        flag = 0;
        memset(E, 0, sizeof(E)); edge_num = 0; memset(fir, 0, sizeof(fir));
        scanf("%d%d", &n, &m);
        for(int i=1; i<=m; i++){
            int x, y, z;
            scanf("%d%d%d", &x, &y, &z);
            if(z >= 0){
                addEdge(x, y, z); addEdge(y, x, z);
            }else addEdge(x, y, z);
        }
        for(int i=1; i<=n; i++){
            spfa(i); if(flag) break;
        }
        if(flag) puts("YE5");
        else puts("N0"); 
    }

    return 0;
}