poj1201 Intervals

最新推荐文章于 2019-07-31 22:41:14 发布

tzb592825420

最新推荐文章于 2019-07-31 22:41:14 发布

阅读量410

点赞数

分类专栏：图论-差分约束系统

本文链接：https://blog.csdn.net/u013044116/article/details/42003031

版权

图论-差分约束系统专栏收录该内容

3 篇文章 0 订阅

订阅专栏

点击打开链接

题意：n个区间，每个区间对应一个值c，求一个最小的集合，与每一个区间共享>=c个数。数据<=50000。

分析：想不到是差分约束啊，用s[i]表示1-i中选择的数的个数，把s[i]看成节点，对于每一个区间[a,b]，s[b]-s[a-1]>=c，这样就得到一系列不等式，还需把所有节点连起来，有0<=s[i]-s[i-1]<=1，要使s[max]最小，要求最长路（初始化为无穷小，更新到正确值后不再更新，结果为最小值），需把所有不等式化为>=。

#include<iostream>
#include<string>
#include<cstring>
#include<cstdio>
#include<cmath>
#include<iomanip>
#include<map>
#include<algorithm>
#include<queue>
#include<set>
#define inf 10000000
#define PI acos(-1.0)
#define eps 1e-8
#define seed 131
using namespace std;
typedef unsigned long long ULL;
typedef long long LL;
typedef pair<int,int> pii;
const int maxn=100005;
int n;
int a,b,c;
struct Edge
{
    int from,to,w;
}edge[maxn*10];
int head[50005];
int next[maxn*10];
int e;
int d[50005];
void spfa();
int main()
{
    scanf("%d",&n);
    e=0;
    memset(head,-1,sizeof(head));
    for(int i=0;i<n;i++)
    {
        scanf("%d%d%d",&a,&b,&c);
        a++;b++;
        edge[e].from=a-1;edge[e].to=b;
        edge[e].w=c;
        next[e]=head[a-1];
        head[a-1]=e++;
    }
    for(int i=1;i<=50001;i++)
    {
        edge[e].from=i-1;edge[e].to=i;edge[e].w=0;
        next[e]=head[i-1];
        head[i-1]=e++;
        edge[e].from=i;edge[e].to=i-1;edge[e].w=-1;
        next[e]=head[i];
        head[i]=e++;
    }
    for(int i=0;i<=50001;i++)
        d[i]=-inf;
    spfa();
    cout<<d[50001]<<endl;
    return 0;
}
void spfa()
{
    bool vis[50005];
    memset(vis,0,sizeof(vis));
    queue<int>que;
    que.push(0);
    vis[0]=1;
    d[0]=0;
    while(!que.empty())
    {
        int u=que.front();
        que.pop();
        vis[u]=0;
        for(int i=head[u];i!=-1;i=next[i])
        {
            if(d[edge[i].to]<d[u]+edge[i].w)
            {
                d[edge[i].to]=d[u]+edge[i].w;
                if(vis[edge[i].to]==0)
                {
                    que.push(edge[i].to);
                    vis[edge[i].to]=1;
                }
            }
        }
    }
}