差分约束 - Intervals - POJ 1201

差分约束 - Intervals - POJ 1201

题意：

$给定n个区间[a_i,b_i]和n个整数c_i。$

$你需要构造一个整数集合Z，使得\forall i\in [1,n],Z中满足a_i\le x\le b_i的整数x不少于c_i个。$

$求这样的整数集合Z最少包含多少个数。$

输入格式

$第一行包含整数n。$

$接下来n行，每行包含三个整数a_i,b_i,c_i。$

输出格式

$输出一个整数表示结果。$

数据范围

$1\le n\le 50000,0\le a_i,b_i\le 50000,1\le c_i\le b_i-a_i+1$

Sample Input

5
3 7 3
8 10 3
6 8 1
1 3 1
10 11 1

Sample Output

6

---

分析：

$本题是求最小值，故跑最长路。$

$在某段区间中计数，考虑前缀和的思想。$

$S_i表示大小介于区间[0,i]的数的个数。$

$则介于区间[a,b]的数的个数为S_b-S_{a-1}。$

$有约数不等式组：$

$\{\begin{array}{l}0\le S_i-S_{i-1}\le 1，即第i个数选或不选<=>S_i\ge S_{i-1}和S_{i-1}\ge S_i-1,①\\ \\ S_{b_i}-S_{a_i-1}\ge c_i，即区间[a_i,b_i]中数的个数不少于c_i个<=>S_{b_i}\ge S_{a_i-1}+c_i②\end{array}$

$由约束条件①，我们需要建立i-1->i的边，$

$这样，我们以编号最小的点作为源点，就能够遍历到剩下所有的点和边。$

$为了便于前缀和的使用，我们将区间整体向右平移一个单位，再把0号点作为源点，跑最长路即可。$

$a_i和b_i的范围在[1,50001]之间，最后我们输出dis[50001]即答案。$

代码：

#include<cstdio>
#include<cstring>
#include<queue>
#include<algorithm>

using namespace std;

const int N=50010, M=150010;

int n;
int e[M],ne[M],w[M],h[N],idx;
int dis[N];
bool st[N];

void add(int a,int b,int c)
{
    e[idx]=b,ne[idx]=h[a],w[idx]=c,h[a]=idx++;
}

void spfa()
{
    memset(dis,-0x3f,sizeof dis);
    memset(st,false,sizeof st);
    
    queue<int> Q;
    Q.push(0);
    st[0]=true;
    dis[0]=0;
    
    while(Q.size())
    {
        int u=Q.front();
        Q.pop();
        st[u]=false;
        
        for(int i=h[u];~i;i=ne[i])
        {
            int j=e[i];
            if(dis[j]<dis[u]+w[i])
            {
                dis[j]=dis[u]+w[i];
                if(!st[j])
                {
                    st[j]=true;
                    Q.push(j);
                }
            }
        }
    }
}

int main()
{
    scanf("%d",&n);
    
    memset(h,-1,sizeof h);
    for(int i=1;i<=50001;i++) add(i-1,i,0),add(i,i-1,-1);
    
    int a,b,c;
    for(int i=0;i<n;i++)
    {
        scanf("%d%d%d",&a,&b,&c);
        a++,b++;
        add(a-1,b,c);
    }
    
    spfa();
    
    printf("%d\n",dis[50001]);
    
    return 0;
}