关于差分之后做法

#include<iostream>
#include<queue>
using namespace std;
int n,m,S,num,visit[10005],dis[10005],tm[10005],head[100005];
struct note {
    int to,next,cost;
} a[100005];
void add(int x,int y,int z) {
    num++;
    a[num].to=y;
    a[num].cost=z;
    a[num].next=head[x];
    head[x]=num;
}
bool spfa() {
    queue <int > q;
    q.push(S);
    for(int i=1; i<=n; i++) {
        dis[i]=-1;
    }
    dis[S]=0;
    visit[0]=1;
    while(!q.empty()) {
        int t=q.front();
        q.pop();
        for(int i=head[t]; i; i=a[i].next) {
            int v=a[i].to;
            if(dis[v]<dis[t]+a[i].cost) {
                dis[v]=dis[t]+a[i].cost;
                tm[v]++;
                if(tm[v]==n) {
                    return 0;
                }
                if(!visit[v]) {
                    visit[v]=1;
                    q.push(v);
                }
            }
        }
    }
    return 1;
}
int main() {
    cin>>n>>m;
    S=0;
    for(int i=1; i<=n; i++) {
        add(0,i,0);
    }
    int t,x,y,z;
    for(int i=1; i<=m; i++) {
        cin>>t;
        if(t==1) {
            cin>>x>>y>>z;
            add(y,x,z);
        }
        if(t==2) {
            cin>>x>>y>>z;
            add(x,y,-z);
        }
        if(t==3) {
            cin>>x>>y;
            add(x,y,0);
            add(y,x,0);
        }
    }
    if(spfa()) {
        cout<<"Yes";
    } else cout<<"No";
    return 0;
}