巨狗狗也AK了！

原来的那条大狗狗长成了巨狗狗，令人类欣慰！

题目

题目背景
“嘘，小声点，为了防止有 人类 偷听我们的谈话。” 校长压低了声音，谨慎地观望了一下四周，然后接着说，“听说 $Ta$ 是 $good$ 国派来的间谍，终极目的是要毁灭……！”

题目描述
人类 $\mathsf{F}\mathsf{i}\mathsf{r}\mathsf{e}\mathsf{W}\mathsf{i}\mathsf{n}\mathsf{g}\mathsf{B}\mathsf{i}\mathsf{r}\mathsf{d}$ 放置了一个摄像头，意在监视 狗狗 们的行动。

这个摄像头记录了某个地下据点的 狗狗 进出情况。不过有的 狗狗 会伪装起来，这样 $\mathsf{F}\mathsf{i}\mathsf{r}\mathsf{e}\mathsf{W}\mathsf{i}\mathsf{n}\mathsf{g}\mathsf{B}\mathsf{i}\mathsf{r}\mathsf{d}$ 就不知道那究竟是谁了。

现在给出这个摄像头的记录，分为以下两种：

• $\mathtt{E}x$ 表示一个编号为 $x$ 的 狗狗 进入了据点。如果 $x=0$ 则这位 狗狗 进行了伪装，身份不明。
• $\mathtt{L}x$ 表示一个编号为 $x$ 的 狗狗 离开了据点。如果 $x=0$ 则这位 狗狗 进行了伪装，身份不明。

现在 $\mathsf{F}\mathsf{i}\mathsf{r}\mathsf{e}\mathsf{W}\mathsf{i}\mathsf{n}\mathsf{g}\mathsf{B}\mathsf{i}\mathsf{r}\mathsf{d}$ 想知道，这个据点是否有其他出入口？如果答案是肯定的，输出 $\mathrm{O}\mathrm{T}\mathrm{H}\mathrm{E}\mathrm{R}$，否则输出最后在据点内的最小 狗狗 数量，方便 $Ta$ 毁灭……！

注意：据点内一开始可能是有 狗狗 在的。编号为 $x(x⩾1)$ 的 狗狗 仅有一位。

数据范围与提示
监控记录的数量 $n⩽10^3$，编号 $x⩽2\times 10^3$ 。数据组数 $T⩽10$ 。

提示：上救生艇时，妇女和儿童优先，这是全世界通用的良知。

思路

这个 $n⩽10^3$ 真的是一个败笔。但同时，它也是这道题 最大的陷阱。

在这里给出第二个提示：数据范围一定要给到极限吗？时间复杂度其实是 $\mathcal{O}(n{\log }^{2}n)$ 的！

然而看到 $n⩽10^3$，开始脑补神奇做法：由于一些类似二分图匹配的原因，可以先假设每个人都最初就在据点内，然后删去一个人，看看是否仍然成立。并没有往 贪心 的方向想。而且事实上，只要会判断 $\mathrm{O}\mathrm{T}\mathrm{H}\mathrm{E}\mathrm{R}$，整道题就做完了。

到底为什么会 $\mathrm{O}\mathrm{T}\mathrm{H}\mathrm{E}\mathrm{R}$ 呢？其实就是一个人 连续 两次进入据点，或者连续两次离开据点。而 $\mathtt{E}\mathtt{L}\mathtt{E}\mathtt{L}$ 这样交错的序列不会导致任何问题。

也就是说，我们的目的是，用 $\mathtt{E}0$ 修正连续两次 $\mathtt{L}$，用 $\mathtt{L}0$ 修正连续两次 $\mathtt{E}$ 。这就是我们的唯一目的。

那么，一个 $\mathtt{E}0$ 出现时，如果可以修正多个人的状态，该修正谁呢？这就要用到第一个提示给出的信息了：都有需要时，紧迫者优先！也就是说，当前不在据点中的人，谁的下一次 $\mathtt{L}$ 到来最早，谁就应该先用 $\mathtt{E}$ 摆脱困境！

完整的证明则非常简单。毕竟所有的 $\mathtt{L}\text{-}\mathtt{L}$ 都需要一个 $\mathtt{E}$，如果当前的 $\mathtt{E}$ 去救别人，救别人的那一次不一定能救自己，反之却可行。

如果并没有 $\mathtt{L}\text{-}\mathtt{L}$ 型的人呢？假设进入一个接下来是 $\mathtt{E}$ 操作的人，那么二者中间就需要一个 $\mathtt{L}$，必然是一次 $\mathtt{L}0$ 。这个方案可以转化为进来一个从没见过的人，然后又走掉了。而没有 $\mathtt{L}0$ 的情况甚至会导致 $\mathrm{O}\mathrm{T}\mathrm{H}\mathrm{E}\mathrm{R}$ 发生！所以最优策略就是进入一个从来没见过的人。

当 $\mathtt{L}0$ 出现时，同理，首先找在据点中，且下一个操作是 $\mathtt{E}$ 的人。如果找不到，就不像上面那样可以随便选一个。如果有接下来没有任何事干的人，让他出去不会导致任何问题；否则，本次 $\mathtt{L}$ 一定会导致一个 $\mathtt{L}\text{-}\mathtt{L}$ 型诞生！

核心的贪心思想贯穿全题：紧急者优先。我们要制造麻烦，就一定要制造最不紧急的麻烦。也就是下一个 $\mathtt{L}$ 操作最远的。直觉而言，这是无可置疑的；严谨证明还是考虑互换 $\text{trouble-solver}$ 的 $\mathtt{E}0$ 即可。

用 $set$ 维护一下：在据点内且下一个操作是 $\mathtt{E}$ 的人；在据点外且下一个操作是 $\mathtt{L}$ 的人；在据点内的所有人。都按照下一次操作的时间排序。那么上述过程是 $\mathcal{O}(n\log n)$ 的。

突然发现一个问题。好像忘了据点内开始是有人的啊啊啊啊——

大丈夫です！据点内最开始的人不就 相当于 $\mathtt{E}0$ 吗？我们可以二分这个数量。显然我们只需要最小化据点内初始人数即可，因为答案就是初始人数 $+$ $\mathtt{E}$ 的数量 $-$ $\mathtt{L}$ 的数量。

时间复杂度 $\mathcal{O}(n{\log }^{2}n)$，诚然常数大，但是单组数据 $n⩽1\times 10^5$ 还是在 $0.4s$ 以内出结果（我自己随机了几组数据）。

代码

#include <cstdio>
#include <iostream>
#include <cstring>
#include <vector>
#include <algorithm>
#include <set>
// #include <ctime>
using namespace std;
# define rep(i,a,b) for(int i=(a); i<=(b); ++i)
# define drep(i,a,b) for(int i=(a); i>=(b); --i)
typedef long long int_;
inline int readint(){
	int a = 0; char c = getchar(), f = 1;
	for(; c<'0'||c>'9'; c=getchar())
		if(c == '-') f = -f;
	for(; '0'<=c&&c<='9'; c=getchar())
		a = (a<<3)+(a<<1)+(c^48);
	return a*f;
}
inline void writeint(int x){
	if(x > 9) writeint(x/10);
	putchar((x-x/10*10)^48);
}
inline void getMin(int &x,const int &y){
	if(y < x) x = y;
}

const int MaxN = 1000005;
int opt[MaxN], x[MaxN], n;

vector< pair<int,int> > v[MaxN]; // <time,option>
// 0: outside leaving  1: inside coming
set< pair<int,int> > ren[2], all; // <time,index>
int ziyou; // no more things to do
bool now[MaxN]; // if someone's inside
bool come(int x,int tim){
	if(x == 0){
		if(!ren[0].empty()){
			auto pii = *ren[0].begin();
			ren[0].erase(ren[0].begin());
			x = pii.second;
			all.insert(make_pair(v[x].back().first,x));
			return now[x] = true; // inside
		}
		else return ++ ziyou, true; // anybody
	}
	else{
		if(now[x]) return false;
		v[x].pop_back(); now[x] = true;
		if(!v[x].empty()){
			all.insert(make_pair(v[x].back().first,x));
			if(v[x].back().second) // inside coming
				ren[1].insert(make_pair(v[x].back().first,x));
		}
		else now[x] = 0, ++ ziyou;
		return true;
	}
}
bool leave(int x,int tim){
	if(x == 0){
		if(!ren[1].empty()){
			auto pii = *ren[1].begin();
			ren[1].erase(ren[1].begin());
			x = pii.second;
			all.erase(make_pair(v[x].back().first,x));
			return (now[x] = false), true;
		}
		else if(ziyou) return -- ziyou, true;
		else if(!all.empty()){
			auto pii = *all.rbegin();
			all.erase(pii); x = pii.second;
			ren[0].insert(make_pair(v[x].back().first,x));
			return (now[x] = false), true;
		}
		else return false;
	}
	else{
		if(!now[x]) return false;
		all.erase(make_pair(tim,x));
		v[x].pop_back(); now[x] = false;
		if(!v[x].empty() && !v[x].back().second) // outside leaving
			ren[0].insert(make_pair(v[x].back().first,x));
		return true; // carry through
	}
}
int check(int w){
	rep(j,0,1) ren[j].clear(); all.clear();
	rep(i,1,n) v[i].clear(); ziyou = 0;
	memset(now+1,0,n); // remember to clear!!!
	drep(i,n,1) if(x[i] != 0)
		v[x[i]].push_back(make_pair(i,opt[i]));
	rep(i,1,n) if(!v[i].empty()){
		pair<int,int> &pii = v[i].back();
		if(pii.second) continue; // outside want to come
		ren[0].insert(make_pair(pii.first,i));
	}
	rep(i,1,w) come(0,0);
	for(int i=1,f; i<=n; ++i){
		if(opt[i]) f = come(x[i],i);
		else f = leave(x[i],i);
		if(!f) return -1; // fail
	}
	int ans = ziyou;
	rep(i,1,n) ans += now[i];
	return ans;
}

const int infty = (1<<30)-1;
char char_gotter[5]; int tmp[MaxN];
int main(){
	for(int T=readint(); T; --T){
		n = readint();
		rep(i,1,n){
			scanf("%s",char_gotter);
			opt[i] = (*char_gotter == 'E');
			x[i] = readint();
			if(!x[i]) tmp[i] = 114514;
			else tmp[i] = x[i];
		}
		sort(tmp+1,tmp+n+1);
		int *sy = unique(tmp+1,tmp+n+1);
		rep(i,1,n) if(x[i] != 0)
			x[i] = lower_bound(tmp+1,sy,x[i])-tmp;
		if(check(n) == -1){
			puts("OTHER"); continue;
		}
		int L = 0, R = n, mid = R>>1;
		for(; L!=R; mid=(L+R)>>1)
			if(~check(mid)) R = mid;
			else L = mid+1;
		printf("%d\n",check(L));
	}
	return 0;
}

后记

最重要的事情：敢于贪心。以及瞪眼法发现 $\mathtt{E}0$ 和 $\mathtt{L}0$ 的 用途与目的，有目的则可评估，可评估则可贪心。

以及考场上没想到这种做法时，应该像 人类 自己一样，写一个听上去就不能过打出来感觉不能过交上去认为过不了结果就过了的做法……

以及另外一个贪心做法，大体思路是，只要有一个框架就可以保证方案合法，只需要在框架内贪心调整即可。感觉合理，又感觉不合理，而造数据难度很高；大概是对的吧。

尾声

当最后一片尘埃落下，一切归于死寂，人类 $\mathsf{F}\mathsf{i}\mathsf{r}\mathsf{e}\mathsf{W}\mathsf{i}\mathsf{n}\mathsf{g}\mathsf{B}\mathsf{i}\mathsf{r}\mathsf{d}$ 站在废墟之中，虽然入目皆硝烟，$Ta$ 还是感到一种抑制不住的激动。“终于，我们迎来了自由！从今天起，人类 不再任由 狗狗 号令，我们只听从自己的声音！”

同样的声浪从四方涌起。$\mathsf{F}\mathsf{i}\mathsf{r}\mathsf{e}\mathsf{W}\mathsf{i}\mathsf{n}\mathsf{g}\mathsf{B}\mathsf{i}\mathsf{r}\mathsf{d}$ 满怀欣慰与骄傲地注视着一切。$Ta$ 止不住地想起，一个帮助过 $Ta$ 的陌生面孔，用一个微不足道的 $\mathtt{e}\mathtt{x}\mathtt{e}$，算出了据点内的 狗狗 数量，让它成功地抓住了 狗狗 中最具威胁的校长！

$\mathsf{F}\mathsf{i}\mathsf{r}\mathsf{e}\mathsf{W}\mathsf{i}\mathsf{n}\mathsf{g}\mathsf{B}\mathsf{i}\mathsf{r}\mathsf{d}$ 坐上了 $Ta$ 的宝座。这个宝座也在闪闪发光，似乎在与 $\mathsf{F}\mathsf{i}\mathsf{r}\mathsf{e}\mathsf{W}\mathsf{i}\mathsf{n}\mathsf{g}\mathsf{B}\mathsf{i}\mathsf{r}\mathsf{d}$ 共同庆贺这场艰苦卓绝的战斗！

忽然，$\mathsf{F}\mathsf{i}\mathsf{r}\mathsf{e}\mathsf{W}\mathsf{i}\mathsf{n}\mathsf{g}\mathsf{B}\mathsf{i}\mathsf{r}\mathsf{d}$ 察觉到身下有异样，低头一看，宝座上浮现了一行字：

对不起，$\mathsf{F}\mathsf{i}\mathsf{r}\mathsf{e}\mathsf{W}\mathsf{i}\mathsf{n}\mathsf{g}\mathsf{B}\mathsf{i}\mathsf{r}\mathsf{d}$，这次我帮人类。你不该这么轻易地坐上来的。—— $\mathsf{H}\mathsf{a}\mathsf{n}\mathsf{d}\mathsf{I}\mathsf{n}\mathsf{D}\mathsf{e}\mathsf{v}\mathsf{i}\mathsf{l}$