poj 1201/zoj 1508（差分约束）

以前用线段树做过这题。

dis[i]表示从0->i-1这i个数存在多少个数。

则有dis[b+1]-dis[a]>=c;

dis[i+1]-dis[i]>=0 && dis[i+1]-dis[i]<=1

转换成为：

dis[a]-dis[b+1]<=-c;

dis[i]-dis[i+1]<=0 

dis[i+1]-dis[i]<=1

建图。dis[en]-dis[st]<=w.

// File Name: 1508.cpp
// Author: Missa
// Created Time: 2013/2/20 星期三 0:41:05

#include<iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<cmath>
#include<queue>
#include<stack>
#include<string>
#include<vector>
#include<cstdlib>
#include<map>
#include<set>
using namespace std;
#define CL(x,v) memset(x,v,sizeof(x));

const int maxn = 5e4+5;
const int maxm = 2e5+5;
const int inf = 0x3f3f3f3f;
struct edge
{
    int v,c,next;
}p[maxm];
int n,m,dis[maxn],e,head[maxn];
int mmin,mmax;
void addedge(int u,int v,int c)
{
    p[e].v=v;p[e].c=c;
    p[e].next=head[u];head[u]=e++;
}
bool relax(int u,int v,int c)
{
    if(dis[v]>dis[u]+c)
    {
        dis[v]=dis[u]+c;
        return true;
    }
    return false;
}
void init()
{
    CL(head,-1);
    e=0;
    mmin=inf;mmax=-1;
    for(int i=0;i<m;i++)
    {
        int u,v,c;
        scanf("%d%d%d",&u,&v,&c);
        addedge(v+1,u,-c);
        if(mmin>u) mmin=u;
        if(mmax<v) mmax=v;
    }
    for(int i=mmin;i<mmax+1;i++)
    {
        addedge(i+1,i,0);
        addedge(i,i+1,1);
    }
}
int spfa(int src)
{
    bool vis[maxn];CL(vis,0);
    CL(dis,0x3f);
    dis[src]=0;vis[src]=1;
    queue<int>q;q.push(src);
    while(!q.empty())
    {
        int pre=q.front();q.pop();
        vis[pre]=0;
        for(int i=head[pre];i+1;i=p[i].next)
        {
            if(relax(pre,p[i].v,p[i].c) && !vis[p[i].v])
            {
                q.push(p[i].v);
                vis[p[i].v]=1;
            }
        }
    }
    return -(dis[mmin]-dis[mmax+1]);
}
int main()
{
    while(~scanf("%d",&m))
    {
        init();
        //cout<<mmin<<" "<<mmax<<endl;
        printf("%d\n",spfa(mmax+1));
    }
    return 0;
}