POJ 1716 Integer Intervals 差分约束（入门）

/**
*   差分约束：
*       刚接触差分约束的确很纠结。。
*   差分约束系统的题其实是研究题目的约束条件，再根据最短路在松弛边的时候的固有性质来理解的。
*   就如这题，由题目意思有如下约束条件：
*       dis[u]表示u-1之前所取的关键点的数, 对于边(i, i+1)有
*       1、dis[i+1] - dis[i] >= 0
*       2、dis[i+1] - dis[i] <= 2;
*       对于边(u, v)
*       3、dis[v+1] - dis[u] >= 2   // 在[u, v]区间内必须取2个点以上
*
*       清楚了这些约束条件就可以依此建图了。
*       一开始看了好多人的题解。有求最长路的，有求最短路的，有mn为源点的，有mx为源点的
*   其实，求最长也好最短也好。不过是要理解实质，根据构图的不同，和起始点的不同，最短路最长路都可以的。
*       关键是，怎么把约束条件映射的图上，也就是如何建立这个图，如何加边！
*   首先，可以确定，如果是用最长路做：
*       那么在松弛边(u, v)的时候是根据 先判断 d[v] < d[u] + w ，如果成立 d[u] = d[v] + w;  // w 为边权。
*   这样在松弛完毕后就有  d[v] > d[u] + w 再看看约束条件: dis[i+1] - dis[i] >= 0
*   所以可以这样加边：  add_edge(i, i+1, w);  // 函数原型 add_edge(int u, int v, int w)
*       再看看约束条件： dis[v+1] - dis[u] >= 2 要使得松弛后 d[v] > d[u] + w 那么添边方法：add_edge(u, v+1, 2);
*/

#include <cstdio>
#include <iostream>
#include <cstring>
#include <cmath>
#include <string>
#include <queue>
#include <map>
#include <vector>
#include <algorithm>
#define DEBUG 0
#define INF 0x1fffffff
#define MAXS 10005

typedef long long LL;
using namespace std;
int n, inq[MAXS], dis[MAXS];
struct Edge
{
    int v, w;
    Edge(){}
    Edge(int vv, int ww) {v = vv; w = ww;}
};
vector<Edge> ver[MAXS];

void dijkstra(int mx, int mn)
{
    for(int i = mn; i <= mx; i ++) {
        inq[i] = 0;
        dis[i] = -INF;
    }
    queue<int> q;
    inq[mn] = 1;
    q.push(mn);
    dis[mn] = 0;

    while(!q.empty())
    {
        int cur = q.front(); q.pop();
        inq[cur] = 0;
        for(int i = 0; i < ver[cur].size(); i ++)
        {
            int v = ver[cur][i].v, w = ver[cur][i].w;
            if(dis[v] < dis[cur] + w) {
                dis[v] = dis[cur] + w;
                if(!inq[v]) {
                    inq[v] = 1;
                    q.push(v);
                }
            }
        }
    }
}


int main()
{
    while(~scanf("%d", &n))
    {
        int u, v, mx = 0, mn = INF;
        for(int i = 0; i <= MAXS; i ++)
            ver[i].clear();
        for(int i = 0; i < n ; i ++) {
            scanf("%d%d", &u, &v);
            if(v + 1 > mx) mx = v + 1;
            if(u < mn) mn = u;
            /** 约束条件 d[v+1] - d[u] >= 2 */
            ver[u].push_back(Edge(v+1, 2));
        }

        /** 添加其他约束条件。 */
        for(int i = 0; i <= mx; i ++) {
            ver[i].push_back(Edge(i+1, 0));
            ver[i+1].push_back(Edge(i, -1));
        }
        dijkstra(mx, mn);
        printf("%d\n", dis[mx]);
    }
    return 0;
}