2020ICPC 江西省大学生程序设计竞赛 C Charging

Charging

题目链接Charging

题目描述

题目大意

      ~~~~~      给你一些区间，然后自己选一些区间，设tot为你选的区间数量，x为所有选中的区间的交集的点数，使得min(tot,x)最大化

题目解析

      ~~~~~      其实很显然的可以看出x其实可以二分，因为他满足单调性，因为当一个x满足题意时，那么很显然的所有小于x的数都满足，但是大于x的数就不一定，然后对于x的判断其实也很简单，那就借用树状数组解决区间问题，因为假设我们选择了一些区间，那么长度为x的交集这一段一定是紧跟着选中的区间中最小的那个右端点，那么我们就可以知道如果存在一段交集长度大于等于x的一些区间，那么这个交集的右端点一定是跟某个区间的右端点是一样的，也就是紧跟着某个区间的右端点，那么我们就可以先将所有的左端点加入到树状数组中，从小到大枚举所有的区间右端点，然后判断在交集长度为x的区间左端点往左有多少个左端点，这个数量就代表可选的区间数量，注意每次枚举完后要将已经枚举过的区间的左端点从树状数组中删去，因为我们枚举的右端点含义是选中的一些区间中最靠左的右端点，然后如果存在一个右端点使得在交集左边的左端点大于x，那么他就满足题意

#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
using namespace std;
const int N=3e5+10;
struct line{
    int l,r,len;
    bool operator< (const line &W) const
    {
        return r<W.r;
    }
}e[N],tmp[N];
int tr[N];
int n,m;
int lowbit(int x)
{
    return x&-x;
}
void add(int u,int x)
{
    for(int i=u;i<N;i+=lowbit(i))
        tr[i]+=x;
}
int ask(int u)
{
    int ans=0;
    for(int i=u;i;i-=lowbit(i))
       ans+=tr[i];
    
    return ans;
}
bool check(int x)
{
    memset(tr,0,sizeof(tr));
    int cnt=0;
    for(int i=1;i<=m;i++)
        if(e[i].len>=x)
        {
            tmp[++cnt]=e[i];
            add(e[i].l,1);
        }
    for(int i=1;i<=cnt;i++)
    {
        int s=ask(tmp[i].r-x+1);
        if(s>=x)return true;
        add(tmp[i].l,-1);
    }
    return false;
}
int main()
{
    scanf("%d%d",&n,&m);
    for(int i=1;i<=m;i++)
    {
        int l,r;
        scanf("%d%d",&l,&r);
        e[i].l=l,e[i].r=r,e[i].len=r-l+1;
    }
    sort(e+1,e+1+m);
    int l=1,r=n;
    while(l<r)
    {
        int mid=(l+r+1)/2;
        if(check(mid))l=mid;
        else r=mid-1;
    }
    cout<<l<<endl;
    return 0;
}