【学习笔记】NOIP暴零赛4

escape

首先如果规定每个人都必须出去的话，那么直接按$a_i+b_i$排序，从前往后扫一遍即可。

然后我直接贪心。wa了，和答案差的很远，然后换成按$a_i$排序，恰好过了大样例。至此离正解越来越远

我真傻，真的，应该想到有反悔操作的。还是按$a_i+b_i$从小到大排序，然后从前往后扫，如果当前这个人能对答案产生贡献，那么直接贪心的把它加进去；否则可以把已经加进去的数中$a_i$最大的那个替换出来，不难证明因为此时将$a_i+b_i$用较大值去替换较小值所以一定是合法的。用大根堆维护即可。

#include<bits/stdc++.h>
#define ll long long
#define pb push_back
using namespace std;
const int N=2e5+5;
int n,H,res;
ll S;
struct node{
	int a,b;
	bool operator <(const node &r)const{
		return a+b<r.a+r.b;
	}
}s[N];
priority_queue<int>q;
int main(){
	freopen("escape.in","r",stdin);
	freopen("escape.out","w",stdout);
	ios::sync_with_stdio(false);
	cin.tie(0),cout.tie(0);
	cin>>n;for(int i=1;i<=n;i++)cin>>s[i].a>>s[i].b;
	cin>>H;sort(s+1,s+1+n);for(int i=1;i<=n;i++)S+=s[i].a;
	for(int i=1;i<=n;i++){
		if(S+s[i].b>=H)res++,q.push(s[i].a),S-=s[i].a;
		else if(q.size()&&q.top()>s[i].a){
			S+=q.top()-s[i].a,q.pop(),q.push(s[i].a);
		}
	}cout<<res;
}

umi

原题是 「CF1209G2」Into Blocks (hard version)

作为一道数据结构题，个人认为它的思维量还是比较高的。

当然，我考场上并没有想到线段树，也没有口胡出正解，只想到了基于分治的单次$O(n\log n)$的做法，可惜的是并不能恰好解决带修改的情况。

正解非常脑洞 确实是这样的 。考虑$b_i$记录同时包含$i$和$i+1$的区间的个数，显然最后会分成若干个不相交的区间，那么我们找那些$b_i=0$的点，对于每一段连续的$0$，从这一段$0$的开头到前一段$0$结尾的后一个位置构成了一个区间，这段区间的颜色出现次数最大值显然就是对答案的贡献。

这玩意显然只能想到用线段树维护。对于两个相邻的$0$我们要算区间众数，这里有一个非常聪明的想法，因为这个众数肯定都落在$[l,r]$这个区间内，那么我们可以把某个颜色的出现次数放在其最左边的那个位置上，这样就变成了单点修改，并且可以把之前打的标记覆盖掉，可以很好的解决众数出现次数减少的情况。

注意一个坑点，这里的$0$要当作区间最小值来维护。

复杂度$O(n\log n)$。

#include<bits/stdc++.h>
#define ll long long
#define pb push_back
#define inf 0x3f3f3f3f
using namespace std;
const int N=4e5+5;
int n,m,a[N],lsh[N],cnt;
int ps[N],c[N];
set<int>s[N];
int get(int x){
    return lower_bound(lsh+1,lsh+1+cnt,x)-lsh;
}
struct node{
	int s,ls,rs,min,max,tag;
}t[N<<2];
void work(int p,int x){
	t[p].min+=x,t[p].tag+=x;
}
void pushdown(int p){
	if(t[p].tag){
		work(p<<1,t[p].tag),work(p<<1|1,t[p].tag),t[p].tag=0;
	}
}
void pushup(int p){
	t[p].min=min(t[p<<1].min,t[p<<1|1].min);
	t[p].max=max(t[p<<1].max,t[p<<1|1].max);
	if(t[p<<1].min>t[p<<1|1].min){
		t[p].s=t[p<<1|1].s,t[p].ls=max(t[p<<1].max,t[p<<1|1].ls),t[p].rs=t[p<<1|1].rs;
	}
	else if(t[p<<1].min==t[p<<1|1].min){
		t[p].s=t[p<<1].s+t[p<<1|1].s+max(t[p<<1].rs,t[p<<1|1].ls),t[p].ls=t[p<<1].ls,t[p].rs=t[p<<1|1].rs;
	}
	else{
		t[p].s=t[p<<1].s,t[p].ls=t[p<<1].ls,t[p].rs=max(t[p<<1].rs,t[p<<1|1].max);
	}if(p==1)t[p].s+=t[p].ls;
}
void upd(int p,int l,int r,int ql,int qr,int x){
	if(ql>qr)return;
	if(ql<=l&&r<=qr){
		work(p,x);
		return;
	}
	int mid=l+r>>1;pushdown(p);
	if(ql<=mid)upd(p<<1,l,mid,ql,qr,x);
	if(mid<qr)upd(p<<1|1,mid+1,r,ql,qr,x);
	pushup(p);
}
void upd2(int p,int l,int r,int x,int y){
	if(l==r){
		t[p].ls=t[p].rs=t[p].max=y;
		return;
	}int mid=l+r>>1;pushdown(p);
	x<=mid?upd2(p<<1,l,mid,x,y):upd2(p<<1|1,mid+1,r,x,y);
	pushup(p);
}
void ins(int i){
	if(s[i].size()){
		int L=*s[i].begin(),R=*--s[i].end();
		upd(1,1,n,L,R-1,1),upd2(1,1,n,L,s[i].size());
	}
}
void del(int i){
	if(s[i].size()){
		int L=*s[i].begin(),R=*--s[i].end();
		upd(1,1,n,L,R-1,-1),upd2(1,1,n,L,0);
	}
}
void change(int x,int y){
	if(a[x]!=y){
		del(y),del(a[x]),s[y].insert(x),s[a[x]].erase(x),ins(y),ins(a[x]);
		a[x]=y;
	}	
}
int main(){
	ios::sync_with_stdio(false);
	cin.tie(0),cout.tie(0);
	cin>>n>>m;for(int i=1;i<=n;i++)cin>>a[i],lsh[++cnt]=a[i];
	for(int i=1;i<=m;i++){
		cin>>ps[i]>>c[i],lsh[++cnt]=c[i];
	}sort(lsh+1,lsh+1+cnt),cnt=unique(lsh+1,lsh+1+cnt)-lsh-1;
	for(int i=1;i<=n;i++)a[i]=get(a[i]),s[a[i]].insert(i);
	for(int i=1;i<=cnt;i++){
		if(s[i].size()){
			ins(i);
		}
	}cout<<n-t[1].s<<"\n";
	for(int i=1;i<=m;i++){
		c[i]=get(c[i]);
		int x=a[ps[i]];
		change(ps[i],c[i]),cout<<n-t[1].s<<"\n";
	}
}