Codeforces Round 1404 简要题解

A. Balanced Bitstring

略

B. Tree Tag

略

C. Fixed Point Removal

先考虑对固定的数组$a$如何求解。显然如果某个初始的$i<a_i$一定不可移除，否则我们为了移除它，需要某个时刻在$[1,i-1]$之间移除恰好$i-a_i$个。那么我们从左到右扫描，记录当前可移除的最大个数$sum$，若$i\ge a_i$且$sum\ge i-a_i$就意味着可以移除$a_i$，将$sum$增加$1$。最后构造方案是容易的，只需每次移除可移除的最后一个数即可。
现在还要将一个前缀和后缀变为不可移除。我们考虑对$x$从大到小扫描，每次将某个$a_i$变为可以移除的话，会引起连锁反应，将后面一些$a_i$变为可以移除。用一个线段树维护当前后缀中还未能移除且$i-a_i>0$的数分别还需要前面移除多少个数，那么每次即为后缀减$1$，查询权值$\le 0$的最小位置。而$y$的影响仅是一个求前缀和，用树状数组维护当前可以移除的位置集合即可。
时间复杂度为$\mathcal{O}((n+q)\log n)$。

#include <bits/stdc++.h>
#define lowbit(x) (x&-x)
#define inf 0x3f3f3f3f

using namespace std;

typedef long long ll;

namespace BIT {
   

int sumv[300005];

void add(int x,int n) {
   
  for(;x<=n;x+=lowbit(x)) sumv[x]++;
}

int sum(int x) {
   
  int s=0;
  for(;x;x-=lowbit(x)) s+=sumv[x];
  return s;
}

}

namespace SGT {
   

int addv[1200000],minn[1200000];

inline void pushdown(int o) {
   
  if (addv[o]) {
   
  	addv[o*2]+=addv[o];
  	addv[o*2+1]+=addv[o];
  	minn[o*2]-=addv[o];
  	minn[o*2+1]-=addv[o];
  	addv[o]=0;
  }
}

inline void pushup(int o) {
   
  minn[o]=min(minn[o*2],minn[o*2+1]);
}

void init() {
   
  memset(minn,0x3f,sizeof(minn));
}