HDU 1384 Intervals

最新推荐文章于 2020-09-21 23:31:10 发布

AAAAAugust

最新推荐文章于 2020-09-21 23:31:10 发布

阅读量572

点赞数

分类专栏：差分约束文章标签：差分约束

本文链接：https://blog.csdn.net/a634771197/article/details/22897013

版权

差分约束专栏收录该内容

6 篇文章 0 订阅

订阅专栏

题意：给出多个区间，求集合z使得z与对于每一个区间[ai,bi]，z都至少有ci个元素跟它相同，输出z的大小

分析：用数组s[i]表示从最小的点到i与z相同的元素个数

那么s[bi]-s[ai-1]>=c[i]

另外0<=s[i]-s[i-1]<=0

根据这三个不等式构图，用SPFA求解

当a的最小值等于0的时候，a-1为-1，所以最好下标都加1，不处理也能过，应该是没有这种数据吧

#include <iostream>
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<string>
#define INF 1<<29
#define N 50005
#include<queue>
using namespace std;
int dis[N],head[N],vis[N],cnt;
struct edge{
    int v,w,next;
}e[N*10];
void init(){
    memset(head,-1,sizeof(head));
    cnt=0;
}
void addedge(int u,int v,int w){
    e[cnt].v=v;e[cnt].w=w;e[cnt].next=head[u];head[u]=cnt++;
}
bool SPFA(int u){
    int i,v;
    dis[u]=0;
    queue<int> q;
    q.push(u);
    memset(vis,0,sizeof(vis));
    vis[u]=1;
    while(!q.empty()){
        u=q.front();
        q.pop();
        vis[u]=0;
        for(i=head[u];i!=-1;i=e[i].next){
            v=e[i].v;
            if(dis[u]+e[i].w>dis[v]){
                dis[v]=dis[u]+e[i].w;
                if(!vis[v]){
                    vis[v]=1;
                    q.push(v);
                }
            }
        }
    }
    return true;
}
int main()
{
    int i,a,b,c,Max,Min,n;
    while(~scanf("%d",&n)){
        init();
        Max=0;
        Min=N;
        for(i=0;i<n;i++){
            scanf("%d%d%d",&a,&b,&c);
            a++;b++;
            if(a<Min)
            Min=a;
            if(b>Max)
            Max=b;
            addedge(a-1,b,c);
        }
        for(i=Min;i<=Max;i++){
            dis[i]=-INF;
            addedge(i-1,i,0);
            addedge(i,i-1,-1);
        }
        SPFA(Min-1);
        if(SPFA(Min-1)){
            printf("%d\n",dis[Max]);
        }
        else {
            printf("%d\n",Max-Min);
        }
    }
    return 0;
}