HDU 1384 Intervals 差分約束

是這樣的，差分約束的建圖方法就不必細說了，建圖的時候，要把每個點看成是在某個區間裏取了多少點：比如，d[i]就表示從1到i有多少個點被取到了。這樣，對於一個區間[i,j]和c,我們有d[j]-d[i]>=c。這樣就很好建圖了，然後還有一點，0<=d[i]-d[i-1]<=1，這是隱含的條件，忽略了很要命的。

最後，套上一個spfa跑一跑。經典差分約束喜歡加一個源點好讓圖聯通，但這個就不用考慮這個問題，也不用考慮最長路的正環問題。

#include<iostream>
#include<cstdio>
#include<string.h>
#include<algorithm>
#include<cmath>
#include<queue>
using namespace std;

int n,e,head[50010],d[50010];
bool vis[50010];

struct Edge{
    int to,cost,nex;
}edge[150010];

void addedge(int a,int b,int c)
{
    edge[e].to=b;
    edge[e].cost=c;
    edge[e].nex=head[a];
    head[a]=e++;
}

void spfa(int s)
{
    queue<int> q;
    memset(vis,false,sizeof(vis));
    memset(d,-1,sizeof(d));
    d[s]=0;
    vis[s]=true;
    q.push(s);
    while (!q.empty())
    {
        s=q.front(); q.pop();
        vis[s]=false;
        for (int i=head[s]; i!=-1; i=edge[i].nex)
        {
            int v=edge[i].to;
            if (d[v]<d[s]+edge[i].cost)
            {
                d[v]=d[s]+edge[i].cost;
                if (!vis[v])
                {
                    vis[v]=true;
                    q.push(v);
                }
            }
        }
    }
}

int main()
{
    while (~scanf("%d",&n))
    {
        e=0;
        memset(head,-1,sizeof(head));
        int maxx=0; int minn=50010;
        for (int i=1; i<=n; i++)
        {
            int a,b,c;
            scanf("%d%d%d",&a,&b,&c);
            a++; b++;
            maxx=max(maxx,max(a,b));
            minn=min(minn,min(a,b));
            addedge(a-1,b,c);
        }
        for (int i=minn; i<=maxx; i++)
        {
            addedge(i-1,i,0);
            addedge(i,i-1,-1);
        }
        spfa(minn-1);
        printf("%d\n",d[maxx]);
    }
    return 0;
}