POJ-1201 Intervals

新学的差分约数系统，大概用来解决长成这样的问题：

如果不等号是小于，就换成小于等于。大于同理。

令所有x为结点，常数为边权连图：

符号为小于等于时，两点间最短路为两点差的最大值。

符号为大于等于时，两点间最长路为两点的差最小值。

注意如果不连通，则建一个源点，让它们强行联通。

题意：给出n个区间和每个区间内最少的点数目，求至少放几个点满足要求。

解：令x为[0,x)之间有几个点，x=2,y=3,z=5连边：(2,3+1,5)。

这里的点比较分散，源点不好建立，那就所有点之间都连边。

相邻两点之间：0<=x_i+1-x_i<=1，但这题里以大于等于为主，于是变个号。

还有，memset只能初始化0-255之间的值，WA在这好几次呜呜呜呜呜呜。

代码：

#include <stdio.h>
#include <algorithm>
#include <queue>
using namespace std;
#define maxx 1000005
#define inf 1e8+10
#define ll long long
int n;
struct edge{
    int u,v,w;
    int nxt;
}e[maxx*2];
int cnt=0,head[maxx]={0};
int vis[maxx]={0},dis[maxx]={0};
int maxn=-inf,minn=inf;
void add(int u,int v,int w){
    e[++cnt].u=u;
    e[cnt].v=v;
    e[cnt].w=w;
    e[cnt].nxt=head[u];
    head[u]=cnt;
}
int spfa(int x){
    memset(dis,-0xf,sizeof dis);
    queue<int> q;
    dis[x]=0;
    q.push(x);
    while(!q.empty()){
        int now=q.front();
        q.pop();
        vis[now]=0;
        for(int i=head[now];i;i=e[i].nxt){
            int to=e[i].v;
            int temp=dis[now]+e[i].w;
            if(temp>dis[to]){
                dis[to]=temp;
                if(!vis[to]) {
                    q.push(to);
                    vis[to] = 1;
                }
            }
        }
    }
    return dis[maxn+1];
}
signed main(){
    scanf("%d",&n);
    for(int i=0;i<n;i++){
        int x,y,z;
        scanf("%d%d%d",&x,&y,&z);
        add(x,y+1,z);
        maxn=max(maxn,y);
        minn=min(minn,x);
    }
    for(int i=minn;i<=maxn;i++) {
        add(i, i + 1, 0);
    }
    printf("%d\n",spfa(minn));
    return 0;
}