洛谷P1993 小K的农场

最新推荐文章于 2024-08-03 15:53:55 发布

转载最新推荐文章于 2024-08-03 15:53:55 发布 · 46 阅读

0 ·

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/dclicker/p/9917468.html

本文介绍了一种使用深度优先搜索(DFS)来判断图中是否存在负权回路的方法，特别适用于解决差分约束问题。通过实例代码详细解析了如何构建图，进行DFS遍历，并利用Tarjan算法检测负权回路的存在，为理解复杂图论问题提供了一个清晰的视角。

这是一道差分约束的小清新题，不需要求出差分约束的解，那么直接上DFS大力判断负环即可，有负环就无解嘛。
\(Code:\)

#include<bits/stdc++.h>
#define re register
#define ll long long
#define MAX(A,B) (A>B?A:B)
#define MIN(A,B) (A>B?B:A)
using namespace std;
const int maxn=1e5+5;

inline int read(){
    char ch=getchar();
    int r=0,s=1;
    while(ch>57||ch<48)s=ch==45?0:s,ch=getchar();
    while(ch>=48&&ch<=57)r=(r<<1)+(r<<3)+(ch^48),ch=getchar();
    return s?r:-r;
}

struct edge{int to,nxt,w;}e[maxn*3];
int n,m,cnt,pd,times,top;
int head[maxn],dfn[maxn],low[maxn],sum[maxn],in[maxn],stk[maxn];

void add(int u,int v,int w){e[++cnt]=(edge){v,head[u],w},head[u]=cnt;return;}

void dfs(int u,int dis){
    dfn[u]=low[u]=++times;
    stk[++top]=u,sum[top]=dis;
    for(int i=head[u];i;i=e[i].nxt){
        int v=e[i].to;
        if(!dfn[v])dfs(v,e[i].w);
        low[u]=MIN(low[u],low[v]);
    }
    if(dfn[u]==low[u]){
        int res=0;
        while(stk[top]!=u){
            res+=sum[top];
            --top;
        }
        --top;
        if(res<0){puts("No");exit(0);}
    }
    return;
}
    
int main(){
    n=read(),m=read();
    for(re int i=1,k,a,b,c;i<=m;++i){
        k=read();
        switch(k){
        case 1:a=read(),b=read(),c=read(),add(a,b,-c);break;
        case 2:a=read(),b=read(),c=read(),add(b,a,c);break;
        case 3:a=read(),b=read(),add(a,b,0),add(b,a,0);break;
        default:break;
        }
    }
    for(int i=1;i<=n;++i){
        if(!dfn[i])dfs(i,0);
    }
    puts("Yes");
    return 0;
}

~~这竟然会是蓝题?~~

转载于:https://www.cnblogs.com/dclicker/p/9917468.html