POJ 1201 Intervals【差分约束】

传送门：http://poj.org/problem?id=1201

题意：

有n个如下形式的条件：,表示在区间[, ]内至少要选择个整数点.问你满足以上所有条件，最少需要选多少个点?

思路：第一道差分约束题，有关差分约束知识详见https://blog.csdn.net/whereisherofrom/article/details/78922648（个人感觉这个博主写的挺好的）

令表示从区间[0,x]中选择的整数点个数，则有（因为，会出现数组下标为-1的情况），如果只靠这个式子是无法得出答案的，题中还有隐藏的约束即是和，题中要求最小值，所以用spfa跑一遍最长路即可。

代码：

#include<iostream>
#include<cstdio>
#include<queue>
using namespace std;
const int maxn = 50005;
const int INF = 0x3f3f3f3f;

int tot;
struct node
{
    int to;
    int next;
    int w;
};
node edges[maxn * 3];

int head[maxn];
int d[maxn];
bool vis[maxn];

void add_edges(int u, int v, int w)
{
    edges[++tot].to = v;
    edges[tot].w = w;
    edges[tot].next = head[u];
    head[u] = tot;
}

int l = 50005;
int r = -1;

void spfa()
{
    for(int i = l; i <= r; i++)
        vis[i] = false, d[i] = -INF;
    d[l] = 0;
    queue<int>q;
    q.push(l);
    while(!q.empty())
    {
        int x = q.front();
        q.pop();
        vis[x] = false;
        for(int i = head[x]; i; i = edges[i].next)
        {
            node v = edges[i];
            if(d[v.to] < d[x] + v.w)
            {
                d[v.to] = d[x] + v.w;
                if(!vis[v.to])
                {
                    vis[v.to] = true;
                    q.push(v.to);
                }
            }
        }
    }
}
int main()
{
    int n;
    scanf("%d", &n);
    for(int i = 1; i <= n; i++)
    {
        int a, b, c;
        scanf("%d%d%d", &a, &b, &c);
        add_edges(a, b + 1, c); 
        r = max(r, b + 1);	  //求区间右端点
        l = min(l, a);        //求区间左端点
    }
    for(int i = l; i < r; i++)
    {
        add_edges(i + 1, i, -1);
        add_edges(i, i + 1, 0);
    }
    spfa();
    cout << d[r] << endl;
}