题意:一个图,有一些“正常”的点和边(废话),点表示农场的位置、边表示从一个农场到另一个农场花费的时间。打住。还有些特别的点(虫洞),这些特别的点和其他点的边代表着能“穿越”的时间。问:有没有可能从虫洞穿越到某个点,时间倒流。
这个模型就是把正常的点互相连接起来或者把正常的点到虫洞,权是正。但是虫洞到其他的点,权为负。建立一个存在负权的图,然后最最最最关键的就是:判断是否存在负权回路。单源最短路算法里面正好bellman-ford可以处理负权,而且算法的返回值就是一个bool型的量,用来反映是不是存在负权回路了
Sample Input
2
3 3 1
1 2 2
1 3 4
2 3 1
3 1 3
3 2 1
1 2 3
2 3 4
3 1 8
Sample Output
NO
YES
AC代码(Bellman_Ford)
#include<cstdio> #define MAXVN 520 #define MAXEN 6000 #define INF 10000000 using namespace std; int vn, en, dis[MAXVN]; typedef struct{ int u, v, value; }Edage; Edage eg[MAXEN]; int Bellman_Ford(int st){ for(int i = 1; i <= vn; i++) dis[i] = INF; dis[st] = 0; int relaxed = 0, flag = 0; for(int i = 1; i <= vn - 1; i++){ for(int j = 1; j <= en; j++){ if(dis[eg[j].v] > dis[eg[j].u] + eg[j].value){ dis[eg[j].v] = dis[eg[j].u] + eg[j].value; relaxed = 1; } } if(!relaxed) break; } for(int j = 1; j <= en; j++){ if(dis[eg[j].v] > dis[eg[j].u] + eg[j].value){ flag = 1; break; } } return flag; } int main(){ int t; while(scanf("%d", &t) != EOF){ while(t--){ int a, b, c; scanf("%d%d%d", &a, &b, &c); vn = a; en = 2*b + c; for(int i = 1; i <= b; i++){ scanf("%d%d%d", &eg[i].u, &eg[i].v, &eg[i].value); eg[b+i].u = eg[i].v; eg[b+i].v = eg[i].u; eg[b+i].value = eg[i].value; } for(int i = 1; i <= c; i++){ scanf("%d%d%d", &eg[2*b+i].u, &eg[2*b+i].v, &eg[2*b+i].value); eg[2*b+i].value = 0 - eg[2*b+i].value; } //for(int i = 1; i <= 2*b+c;i++){ // printf("%d --> %d: %d\n", eg[i].u, eg[i].v, eg[i].value); //} if(Bellman_Ford(1)) printf("YES\n"); else printf("NO\n"); //printf("dis3:%d\n", dis[3]); } } }