POJ 3159 Candies

题意：

给n个人派糖果，给出m组数据，每组数据包含 $A，B，C$ 三个数，
意思是 $A$ 的糖果数比 $B$ 少的个数不多于 $C$ ,即 $B$ 的糖果数 - $A$ 的糖果数 $\le c$ 。
最后求 $n$ 比 $1$ 最多多多少糖果。

思路：

学习下差分约束的做法。

总体来讲还是比较好理解的，根据形如 $a - b \le c$ 多个不等式建图，形成一个约束系统，求解 $x - y$ 的最大值的话，然后SPFA求解下最短路，为啥明明求最大值却要去求最短路 $dis[n]$呢？因为所有的不等关系都要满足的前提下，要求最大值，假设存在比 $dis[n]$ 更大的值，那么这样的话，肯定不会满足所有的不等关系。画个图就明白了！
这一类的题还有一些非常厉害的变形，建立模型很重要。

记录下：差分约束SPFA求最短路时，需要判断是否存在负环（存在负环的话，就不存在最短路了！）

代码：

#include <cstdio>
#include <cstring>
#include <queue>
#include <algorithm>
#include <iostream>
#include <cmath>
#include <map>
#include <vector>
#include <set>
#include <string>
#define PB push_back
#define FT first
#define SD second
#define MP make_pair
#define INF 0x3f3f3f3f
using namespace std;
typedef long long LL;
typedef unsigned long long ULL;
typedef pair<int,int>  P;
const int N = 10 + 3e4, M = 150010;
struct edge
{
    int to, w, next;
}e[M];
int head[N], tot;
int dist[N], Q[N];
bool vis[N];
void init()
{
    memset(head, -1, sizeof(head));
    tot = 0;
}
void addedge(int u,int v,int w)
{
    e[tot].to = v, e[tot].w = w;
    e[tot].next = head[u], head[u] = tot ++; 
}
//栈实现起来会比较快
int SPFA(int s,int n)
{
    int tp = 0;
    for(int i = 1;i <= n;i ++) vis[i] = 0, dist[i] = INF;
    Q[tp ++] = s , vis[s] = 1, dist[s] = 0;
    while(tp) 
    {
        int u = Q[-- tp];
        vis[u] = 0;
        for(int i = head[u];i != -1;i = e[i].next) 
        {
            int v = e[i].to;
            if(dist[v] > dist[u] + e[i].w) 
            {
                dist[v] = dist[u] + e[i].w;
                if(!vis[v]) 
                {
                    vis[v] = 1;
                    Q[tp ++] = v;
                }
            }
        }
    }
    return dist[n];
}
int main()
{
    int n, m;
    while(scanf("%d%d", &n, &m) != EOF)
    {
        init();
        while(m --) {
            int a, b, c;
            scanf("%d%d%d", &a, &b, &c);
            addedge(a, b, c);
        }
        printf("%d\n", SPFA(1, n));
    }
    //system("pause");
    return 0;
}