[Luogu3385] 负环 [Bellman-Ford]

link

以下将队列优化的$\mathfrak{B}\mathfrak{e}\mathfrak{l}\mathfrak{l}\mathfrak{m}\mathfrak{a}\mathfrak{n}-\mathfrak{F}\mathfrak{o}\mathfrak{r}\mathfrak{d}$简称为$\mathfrak{s}\mathfrak{p}\mathfrak{f}\mathfrak{a}$。

首先：$"\mathfrak{d}\mathfrak{f}\mathfrak{s}\_\mathfrak{s}\mathfrak{p}\mathfrak{f}\mathfrak{a}"$可能会被构造数据卡到指数级别$\Theta (2^{\mathfrak{n}})$
其次：$\mathfrak{s}\mathfrak{p}\mathfrak{f}\mathfrak{a}$判负环的话，不要把某个点入队$\mathfrak{n}$次作为判断标准。

实际上，$\mathfrak{s}\mathfrak{p}\mathfrak{f}\mathfrak{a}$在$\mathfrak{b}\mathfrak{f}\mathfrak{s}$的过程中，如果$\mathfrak{b}\mathfrak{f}\mathfrak{s}$搜索树的深度超过了$\mathfrak{n}$，就是出现了负环。
以此为依据判断负环相对一般更优。

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<iomanip>
#include<cctype>
#include<cmath>
#include<ctime>
#include<queue>
using namespace std;
#define getchar() (frS==frT&&(frT=(frS=frBB)+fread(frBB,1,1<<12,stdin),frS==frT)?EOF:*frS++)
char frBB[1<<12],*frS=frBB,*frT=frBB;
inline void read(int&T)
{
    int x=0;char ch=getchar();bool w=0;
    while(!isdigit(ch))w|=(ch=='-'),ch=getchar();
    while(isdigit(ch))x=x*10+(ch-48),ch=getchar();
    T=w?-x:x;
}
#define PII pair<int,int>
priority_queue<PII,vector<PII>,greater<PII> >Q;
#define add_edge(a,b,c) nxt[++tot]=head[a],head[a]=tot,to[tot]=b,val[tot]=c
int T,N,M,tot=0;
int dis[3005]={};
bool vis[3005]={};
int nxt[6005]={},head[3005]={},to[6005]={},val[6005]={};
int ti[3005]={};
inline bool spfa()
{
    register int x,i;
    for(i=1;i<=N;++i)dis[i]=0x3f3f3f3f,vis[i]=ti[i]=0;
    Q.push(make_pair(0,1)); dis[1]=0; ti[1]=1;
    while(!Q.empty())
    {
        x=Q.top().second; Q.pop(); vis[x]=0;
        for(i=head[x];i;i=nxt[i])
        {
            if(dis[to[i]]<=dis[x]+val[i])continue;
            dis[to[i]]=dis[x]+val[i];
            if(vis[to[i]])continue;
            vis[to[i]]=1,Q.push(make_pair(dis[to[i]],to[i])),ti[to[i]]=ti[x]+1;
            if(ti[to[i]]>N)return 0;
        }
    }
    return 1;
}
#define spfa() spfa()
int main()
{
    register int u,v,w,i;
    read(T);
    while(1)
    {
        read(N),read(M);
        for(i=1;i<=M;++i)
        {
        	read(u),read(v),read(w);
            if(w>=0)add_edge(v,u,w);
            add_edge(u,v,w);
        }
        puts(spfa()?"N0":"YE5");
        if(!(--T))return 0;
        for(i=1;i<=N;++i)head[i]=0; tot=0;
    }
    return 0;
}

$\mathfrak{p}\mathfrak{s}.$实际上还可以用$\mathcal{L}\mathcal{C}\mathcal{T}$和$\mathcal{L}\mathcal{C}\mathcal{A}$构建临时最短路树来做一些判断
这样可以达到降低期望复杂度的目的。当然复杂度上界不改变。
$\mathfrak{R}\mathfrak{a}\mathfrak{f}\mathfrak{f}\mathfrak{i}\mathfrak{c}\mathfrak{a}\mathfrak{A}\mathfrak{l}\mathfrak{g}\mathfrak{o}\mathfrak{r}\mathfrak{i}\mathfrak{t}\mathfrak{h}\mathfrak{m}-$论文