poj1201 Intervals 差分约束方程

构造差分约束方程：x+c>=y 即从x连向y一条权值为c的边
因为差分约束方程求得的最短路是解的最大值，题意求的是
染色的点的最少个数，那么也就是没有染色的点的最多个数
若输入 l r val 定义 d【i】为 从0到i没有被染色的点的个数
所以有d[r]-d[l-1]<=(r-l+1-val),即 d[l-1]+(r-l+1-val)>=d[r]
所以从l-1连向一条r权值为r-l+1-val的边
！：不过这种做法跑起来会稍微有点慢orz

#include <iostream>
#include <cstdio>
#include <vector>
#include <cstring>
#include <queue>
#define rep(i,a,b) for(int i=a;i<=b;++i)
#define erp(i,a,b) for(int i=a;i>=b;--i)
#define clr(a) memset(a,0,sizeof a)
using namespace std;
const int maxn=5e4;
const int INF=1e9;
struct Edge
{
    int u,v,val;
};
vector<Edge> edges;
vector<int> G[maxn+100];
int d[maxn+100],inq[maxn+100],pre[maxn+100],n,m;
void spfa(int s);
void AddEdge(int u,int v,int val);
int main()
{
    int l,r,val,tp=0;
    scanf("%d",&n);
    for(int i=1;i<=n;i++)
    {
        scanf("%d%d%d",&l,&r,&val);
        l++,r++;
        AddEdge(l-1,r,r-l+1-val);
        tp=max(tp,r);
    }
    n=tp;
    for(int i=1;i<=n;i++)
        AddEdge(i,i-1,0);
    for(int i=0;i<n;i++)
        AddEdge(i,i+1,1);
    spfa(0);
    printf("%d\n",n-d[n]);
    return 0;
}
void spfa(int s)
{
    for(int i=0;i<=n;i++)
        d[i]=INF;
    memset(inq,0,sizeof(inq));
    d[s]=0;inq[s]=1;pre[s]=0;
    queue<int> Q;
    Q.push(s);
    while(!Q.empty())
    {
        int u=Q.front();Q.pop();
        inq[u]=0;
        for(int i=0;i<G[u].size();i++)
        {
            Edge& e=edges[G[u][i]];
            if(d[u]+e.val<d[e.v])
            {
                d[e.v]=d[u]+e.val;
                pre[e.v]=u;
                if(!inq[e.v])
                {
                    Q.push(e.v);
                    inq[e.v]=1;
                }
            }
        }
    }
}
void AddEdge(int u,int v,int val)
{
    edges.push_back(Edge{u,v,val});
    G[u].push_back(edges.size()-1);
}
/*
构造差分约束方程：x+c>=y 即从x连向y一条权值为c的边
因为差分约束方程求得的最短路是解的最大值，题意求的是
染色的点的最少个数，那么也就是没有染色的点的最多个数
若输入 l r val 定义 d【i】为 从0到i没有被染色的点的个数
所以有d[r]-d[l-1]<=(r-l+1-val),即 d[l-1]+(r-l+1-val)>=d[r]
所以从l-1连向一条r权值为r-l+1-val的边
！：不过这种做法跑起来会稍微有点慢orz
*/