[BZOJ 3126] Photo

[题目链接]

https://www.lydsy.com/JudgeOnline/problem.php?id=3126

[算法]

差分约束系统

注意SPFA判负环的条件应为 ： 若所有点入队次数之和 > 点数 + 边数，说明有负环

[代码]

#include<bits/stdc++.h>
using namespace std;
#define MAXN 200010
const int inf = 2e9;
 
int n,m,tot;
int head[MAXN];
 
struct edge
{
    int to,w,nxt;
} e[MAXN << ];
 
template <typename T> inline void read(T &x)
{
    int f = ; x = ;
    char c = getchar();
    for (; !isdigit(c); c = getchar()) if (c == '-')  f = -f;
    for (; isdigit(c); c = getchar()) x = (x << ) + (x << ) + c - '';
    x *= f;
}
inline void addedge(int u,int v,int w)
{
    tot++;
    e[tot] = (edge){v,w,head[u]};
    head[u] = tot;
}
inline int spfa(int s)
{
    int l,r,cnt = ;
    static int dist[MAXN];
    static bool inq[MAXN];
    priority_queue< int , vector< int > , greater< int > > q;
    while (!q.empty()) q.pop();
    for (register int i = ; i <= n; i++)
    {
        dist[i] = inf;
        inq[i] = false;
    }
    q.push(s);
    dist[s] = ;
    inq[s] = true;
    cnt = ;
    while (!q.empty())
    {
        int u = q.top();
        q.pop();
        inq[u] = false;
        for (register int i = head[u]; i; i = e[i].nxt)
        {
            int v = e[i].to , w = e[i].w;
            if (dist[u] + w < dist[v])
            {
                dist[v] = dist[u] + w;
                if (!inq[v])
                {
                    cnt++;
                    if (cnt >  * m +  * n) return -;
                    inq[v] = true;
                    q.push(v);
                }
            }
        }
    }
    return dist[n] == inf ? - : dist[n];
}
 
int main()
{
 
    read(n); read(m);
    for (register int i = ; i <= m; i++)
    {
        int a,b;
        read(a); read(b);
        if (a > b) swap(a,b);
        addedge(a - ,b,);
        addedge(b,a - ,-);
    }
    for (register int i = ; i <= n; i++)
    {
        addedge(i,i - ,);
        addedge(i - ,i,);
    }
    printf("%d\n",spfa());
 
    return ;
}