cnt数组表示到达当前这个点最短路的边数，如果cnt[x]>=n,说明至少经过了n条边，即n+1个点，由抽屉原理可知显然有两个点重复，即存在负环

#include<bits/stdc++.h>
using namespace std;

const int N=2010,M=10010;
int h[N],e[M],ne[M],w[M],idx;
bool st[N];
int d[N],cnt[N];  //cnt数组表示到达当前这个点最短路的边数
int n,m;

void add(int a,int b,int c){
    e[idx]=b,w[idx]=c,ne[idx]=h[a],h[a]=idx++;
}

bool spfa(){
    memset(d,0,sizeof(d));    //本题可以不做初始化
    memset(cnt,0,sizeof(cnt));    
    memset(st,false,sizeof(st));

    queue<int> q;
    for(int i=1;i<=n;i++){     //判整个图的负环要将每个节点都加入
        st[i]=true;
        q.push(i);
    }

    while(!q.empty()){
        int t=q.front();
        q.pop();

        st[t]=false;
        for(int i=h[t];~i;i=ne[i]){
            int j=e[i];
            if(d[j]>d[t]+w[i]){
                d[j]=d[t]+w[i];
                cnt[j]=cnt[t]+1;

                if(cnt[j]>=n) return true;
                if(!st[j]){
                    st[j]=true;
                    q.push(j);
                }
            }
        }
    }

    return false;
}

int main(){
    cin>>n>>m;
    memset(h,-1,sizeof(h));
    while(m--){
        int a,b,c;
        cin>>a>>b>>c;
        add(a,b,c);
    }

    if(spfa()) puts("Yes");
    else puts("No");
}