poj 1716 Integer Intervals（差分约束）

1716 -- Integer Intervals

　　跟之前个人赛的一道二分加差分约束差不多，也是求满足条件的最小值。

　　题意是，给出若干区间，需要找出最少的元素个数，使得每个区间至少包含两个这里的元素。

　　做法就是建立(b)->(a)=-2，(i)->(i+1)=1，(i+1)->(i)=0的边，然后跑一次spfa即可。

　　做完的时候，因为队列开太小，所以re了一次。

代码如下：

#include <iostream>
#include <algorithm>
#include <cstdio>
#include <cstring>

using namespace std;

const int N = 11111;
struct Edge {
    int t, nx, c;
    Edge() {}
    Edge(int t, int nx, int c) : t(t), nx(nx), c(c) {}
} edge[N << 2];
int eh[N], ec;

void init() {
    memset(eh, -1, sizeof(eh));
    ec = 0;
}

void addedge(int s, int t, int c) {
    edge[ec] = Edge(t, eh[s], c);
    eh[s] = ec++;
}

int q[N << 8], dis[N];
bool vis[N];

int spfa(int s, int t) {
    memset(vis, 0, sizeof(vis));
    memset(dis, 127, sizeof(dis));
    int qh, qt, cur;
    qh = qt = 0;
    q[qt++] = s;
    vis[s] = true;
    dis[s] = 0;
    while (qh < qt) {
        //cout << cur << endl;
        cur = q[qh++];
        vis[cur] = false;
        for (int i = eh[cur]; ~i; i = edge[i].nx) {
            //cout << i << endl;
            Edge &e = edge[i];
            if (dis[e.t] > dis[cur] + e.c) {
                dis[e.t] = dis[cur] + e.c;
                q[qt++] = e.t;
                vis[e.t] = true;
            }
        }
    }
    return dis[t];
}

int main() {
    int n, x, y;
    while (~scanf("%d", &n)) {
        init();
        int mn = 11111111, mx = -11111111;
        for (int i = 0; i < n; i++) {
            scanf("%d%d", &x, &y);
            addedge(y + 1, x, -2);
            mn = min(mn, x);
            mx = max(mx, y + 1);
        }
        for (int i = 0; i <= 10000; i++) {
            addedge(i, i + 1, 1);
            addedge(i + 1, i, 0);
        }
        printf("%d
", -spfa(mx, mn));
    }
    return 0;
}

——written by Lyon