Tracking Segments（二分答案+前缀和+暴力）

题目链接

Codeforces Round 881 (Div. 3)

E. Tracking Segments

---

Tracking Segments

题意：

您将得到一个由 $n$ 个零组成的数组 $a$ 。您还会得到一组 $m$ 不一定不同的段。每个段由两个数字 $l_i$ 和 $r_i$ ( $1\le l_i\le r_i\le n$ )定义，并表示数组 $a$ 的子数组 $a_{l_i},a_{l_i+1},\dots ,a_{r_i}$ 。如果线段 $l_i,r_i$ 上1的数量严格大于0的数量，则称该线段为美丽线段。

例如，如果 $a=[1,0,1,0,1]$ ，则线段 $[1,5]$ 是美丽的(1的数量是 $3$ ，0的数量是 $2$ )，但是线段 $[3,4]$ 不是很漂亮(1的个数是 $1$ ，0的个数是 $1$ )。

您还有 $q$ 个更改。

对于每个更改，您都会得到数字 $1\le x\le n$ ，这意味着您必须将值 $1$ 分配给元素 $a_x$ 。你必须找到第一个变化，在这个变化之后， $m$ 个给定的片段中至少有一个变得漂亮。

或者在处理所有 $q$ 个更改后，报告没有一个是漂亮的。

思路：

看一下数据范围，能跑 $nlog$ 的解法。

发现这 $q$ 个修改都是把 $0$ 变成 $1$，随着 $1$ 的加入，$01$ 序列的 $1$ 一定是越来越多的，所以从某个修改开始，之后某个区间就一直满足 $1$ 的个数大于 $0$ 的个数的性质了，这样就满足二分的性质了。

所以我们直接二分答案，对每个答案暴力进行验证。具体来说，假设要验证进行前 $idx$ 个操作后会出现漂亮区间 ，那么我们进行一下前 $idx$ 个操作，把 $1$ 放入对应位置，然后对 $n$ 个位置跑一下前缀和，之后枚举 $m$ 个区间，验证一下区间 $1$ 的个数是否大于 $0$ 的个数即可。

虽然看着很暴力，但是整个过程最坏的时间复杂度是 $O(q+(n+m)logq)$，可以通过。

code：

#include <iostream>
#include <cstdio>
#include <vector>
using namespace std;
const int maxn=1e5+5;

int T,n,m;
pair<int,int> itv[maxn];
int q,x[maxn];

bool check(int idx){
	vector<int> a(n+5);
	for(int i=1;i<=idx;i++)a[x[i]]=1;
	for(int i=1;i<=n;i++)a[i]+=a[i-1];
	
	for(int i=1,l,r;i<=m;i++){
		l=itv[i].first;
		r=itv[i].second;
		if(2*(a[r]-a[l-1])>r-l+1)return true;
	}
	return false;
}

int main(){
	cin>>T;
	while(T--){
		cin>>n>>m;
		for(int i=1;i<=m;i++)
			cin>>itv[i].first>>itv[i].second;
		cin>>q;
		for(int i=1;i<=q;i++)
			cin>>x[i];
		
		if(!check(q)){
			cout<<-1<<endl;
			continue;
		}
		int l=1,r=q,mid;
		while(l<r){
			mid=(l+r)>>1;
			if(check(mid))r=mid;
			else l=mid+1;
		}
		cout<<l<<endl;
	}
	return 0;
}