因为求势能时点 000 还要向其他所有点连边,所以边数要多加 NNN 。M=6e3+10+N
M=6e3+10+N
因为 spfaspfaspfa 中算上点 000 总共有 n+1n+1n+1 个点,所以负环的判定条件是 cnt[v]>=n+1 。
cnt[v]>=n+1