POJ 1201(差分约束+spfa)

题意：有一个集合X，X[i+1]表示【0，i】之间的元素个数。 并且有以下条件：X[b] >= X[a] + c，即X[b+1] > X[a] + c.即可以看作a到b的路的权值是c。

条件很容易建立边，转化为图论中的最短路问题，当然此题可以看作是最长路。问题是条件太少，一个最短路问题主要就是建图。所以为了使每一条边有联系。亦可以找到隐藏条件:1 >= X[i+1] - X[i] >= 0，0 >= X[i] - X[i+1] >= -1.

/*

    题中是求集合要满足这多么多条件至少要有多少个元素
    比如X是总集和。X[i] 表示[0,i-1]的个数.而题给出的条件是
    X[b] - X[a] >= c.则X[b+1] > X[a] + c
    当然也要知道隐藏条件:1 >= X[i+1]-X[i] >= 0
    0 >= X[i] - X[i+1] >= -1
    所以要松弛围绕这些条件。
    但是给出的条件不足以把每一个点链接起来。所以要自己增加条件

*/

#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>

using namespace std;

const int maxn = 50005;
const int inf = 0x3f3f3f3f;

class Node
{
public:
    int e,v;
    int next;
}edge[maxn*3];

int m;
int dis[maxn];
int visit[maxn];
int head[maxn];

int x,y,h;

void spfa()
{
    for(int i = x;i <= y; i++)
        dis[i] = -inf;
    memset(visit,0,sizeof(visit));

    queue<int>Q;
    Q.push(x);
    visit[x] = true;
    dis[x] = 0;

    while(!Q.empty()){
        int u = Q.front();
        Q.pop();
        visit[u] = false;
        for(int i = head[u];i != -1; i = edge[i].next){
            int to = edge[i].e;
            if(dis[to] < dis[u] + edge[i].v){       //松弛条件变了
                dis[to] = dis[u] + edge[i].v;
                if(!visit[to]){
                    Q.push(to);
                    visit[to] = true;
                }
            }
        }
    }
}

int main()
{
 //   freopen("in.txt","r",stdin);
    while(scanf("%d",&m) != EOF){
        memset(head,-1,sizeof(head));
        h = 1;
        int a,b,c;
        x = inf;
        y = -inf;
        for(int i = 1;i <= m; i++){
            scanf("%d%d%d",&a,&b,&c);
            edge[h].e = b+1;        //X[b] >= X[a] + c,则X[b+1] > X[a] + c
            edge[h].v = c;
            edge[h].next = head[a];
            head[a] = h++;
            x = min(x,a);
            y = max(b+1,y);
        }
        for(int i = x;i <= y; i++){ //隐藏条件
            edge[h].e = i + 1;
            edge[h].v = 0;
            edge[h].next = head[i];
            head[i] = h++;
            edge[h].e = i;
            edge[h].v = -1;
            edge[h].next = head[i+1];
            head[i+1] = h++;
        }
        spfa();
        printf("%d\n",dis[y]);
    }
    return 0;
}