P7078 [CSP-S2020] 贪吃蛇 题解/感悟

题目链接：蛇蛇蛇蛇蛇蛇
第一眼:提高组？秒了
第二眼:黑题?!?!?!?!?!润了
…
不急，仔细理解一下题意
我们发现，对于每回合而言，能做出决策的只有当前实力最强的蛇蛇
也就是说，整个游戏都是围绕着最强的蛇转
弱肉强食，很合理吧~
而最弱的蛇呢？
永远都轮不到它的回合，它只有被吃的份（悲）
对于每回合而言，最强的蛇只有两个选择（吃/不吃）
更细化些
我们发现它吃掉最弱的蛇一定比吃掉其他蛇蛇更优
为什么呢？
对于最强的蛇而言，吃掉最弱的蛇剩下的体力一定是最多，它自己也就越不容易被其他蛇吃掉，很显然吧
所以，每回合只会出现两种情况：

1. 最强的蛇不吃任何一条蛇，决斗结束
2. 最强的蛇吃掉最弱的蛇，决斗继续

特判一下，如果场上只剩下两条蛇了，那么大的那一条一定会吃掉小的那一条
接下来就简单了嘛~
两个优先队列，一个存储最小值，一个存储最大值，每次取出最大与最小，拿最大减去最小
若最小的是由曾经的最大转移而来的，那么就回溯到那一步，输出答案即可
正解，A啦！
…
对于$100\%$的数据:$3\le n\le 10^6,1\le T\le 10$
呃呃呃这跟说好的不一样啊喂(#`O′)
这下好了，用堆只能拿到70pts（放考试里我敲了就跑，不浪费一点时间（
怎么办呢？
不急，想想高一数学会怎么做

回归高中数学ing
老师:对于四个实数a,b,c,d,若有a<b c<d 则有d-a>c-b…
我们惊奇的发现“欸这个数列不是单调递增的嘛”
所以最大减最小一定大于第二大减第二小
所以我们这样一路减下来，再把得到的差放进一个数列中，最后得到的数列一定是具有单调性的
想到了什么？超级合并果子
我们可以用两个队列优化这个过程！
这下我们就把这个烦人的log优化掉了，好耶！
还有个小问题：变成最小的一定不优嘛？
答：不一定，有可能变成最小后最大的还是不敢吃
怎么办呢？
那就继续向下探，直到出现一种必吃的情况为止
具体看代码

#include<bits/stdc++.h>
using namespace std;
const int nMax=1e6+5;
int n,t,m;
int a[nMax];
int read()
{
	int w=0;char c;
	c=getchar();
	while(c<'0' or '9'<c)c=getchar();
	while('0'<=c and c<='9')
	{
		w=w*10+c-'0';
		c=getchar();
	}
	return w;
}
int solve()
{
	deque<pair<int,int> > in,in2;
	int Max,id,Min,idi;
	pair<int,int> now;
	for(int i=1;i<=n;i++)
		in.push_back(make_pair(a[i],i));

	while(true)
	{
		if(in.size()+in2.size()<=2)
		{
			return 1;
		}
		Min=in.front().first,idi=in.front().second;
		in.pop_front();
		if(in2.empty() or (!in.empty() and in.back()>in2.back()))
		{
			Max=in.back().first;
			id=in.back().second;
			in.pop_back();
		}		
		else
		{
			Max=in2.back().first;
			id=in2.back().second;
			in2.pop_back();
		}
		now=make_pair(Max-Min,id);
		if(in.empty() or now<in.front())
		{
			int ans=in.size()+in2.size()+2;
			int cnt=0;
			while(true)
			{
				cnt++;
				if(in.size()+in2.size()+1==2)
				{
					if(!(cnt&1))ans--;
					return ans;
				}
				if(in2.empty() or (!in.empty() and in.back()>in2.back()))
				{
					Max=in.back().first;
					id=in.back().second;
					in.pop_back();
				}
				else
				{
					Max=in2.back().first;
					id=in2.back().second;
					in2.pop_back();
				}
				now=make_pair(Max-now.first,id);
				if(!((in.empty() or now<in.front() ) and (in2.empty() or now<in2.front())))
				{
					if(!(cnt&1))ans--;
					return ans;
				}
			}
		}
		else
			in2.push_front(now);
	}
}
int main() 
{
	t=read();
	t--;
	n=read();
	for(int i=1;i<=n;i++)
		a[i]=read();
	printf("%d\n",solve());
	while(t--)
	{
		m=read();
		int x,num;
		while(m--)
		{
			x=read();
			num=read();
			a[x]=num;
		}
		printf("%d\n",solve());
	}
}~