Intervals HDU - 1384 (重在建立差分约束模型)

传送门

题意：给定n个区间[Li,Ri]以及n个整数vi. 现在要有一个集合,使得这个集合和任意[Li,Ri]都有vi个元素相同. 问这个集合最少要几个元素.

题解：这题感觉叙述不清，也不说说原数组是个啥样的，还是我没看出来，心累，最后应该是在一个自然数组那样的，乍一看和差分约束系统没有什么关系. 但是转化一下,就会发现其中的精妙了. 定义S(x) 表示[1,x]中选择的元素的个数. 那么就有S(Ri)−S(Li−1)>=vi这是不够的,因为图可能不连通. 这时候就要发掘题目的隐含条件了. 可以发现S(i)−S(i−1)>=0,因为i要么取要么不取,但不管怎么样,S(i)都大于S(i−1)  并且S(i−1)−S(i)>=−1,因为S(i)−S(i−1)<=1. 这样就可以构图了. 构图出来后使用差分约束跑一个最长路就是答案了

附上代码：

#include<bits/stdc++.h>

using namespace std;

const int maxn=5e4+5;
const int maxm=4*maxn;

struct edge{
    int v,w,next;
};
edge edges[maxm];
int head[maxn],tot;

void init()
{
    memset(head,-1,sizeof(head));
    tot=0;
}

void add_edges(int u,int v,int w)
{
    edges[tot].v=v;
    edges[tot].w=w;
    edges[tot].next=head[u];
    head[u]=tot++;
}

int n,u,v,w,l,r,dist[maxn];
bool vis[maxn];

void spfa()
{
    queue<int>q;
    for(int i=l;i<=r;i++){
        q.push(i);
        vis[i]=true;dist[i]=0;
    }
    while(!q.empty()){
        int u=q.front();
        q.pop();
        vis[u]=false;
        for(int i=head[u];~i;i=edges[i].next){
            int v=edges[i].v;
            if(dist[v]<dist[u]+edges[i].w){
                dist[v]=dist[u]+edges[i].w;
                if(!vis[v]){
                    vis[v]=true;
                    q.push(v);
                }
            }
        }
    }
}

int main()
{
    while(scanf("%d",&n)!=EOF){
        init();
        l=maxn;r=0;
        for(int i=0;i<n;i++){
            scanf("%d%d%d",&u,&v,&w);
            add_edges(u-1,v,w);
            l=min(u-1,l);
            r=max(r,v);
        }
        for(int i=l+1;i<=r;i++){
            add_edges(i-1,i,0);
            add_edges(i,i-1,-1);
        }
        spfa();
        printf("%d\n",dist[r]);
    }
    return 0;
}