习题：生日礼物（博弈论）

题目

下个月就是奶牛Z的生日啦，为了给奶牛Z购买生日礼物，奶牛A和奶牛B决定去挑选奶牛Z最喜欢的青草来作为送给奶牛Z的生日礼物。
现在，奶牛A和奶牛B买来了n堆青草，从左数起，第i堆青草的甜度为ai。奶牛A认为奶牛Z喜欢甜的青草，而奶牛B认为奶牛Z喜欢不甜的青草。因此，奶牛A希望选出来的青草是最甜的，奶牛B希望选出来的是最不甜的青草。
为了解决这个问题，奶牛A与奶牛B决定玩一个游戏，他们俩每次可以从两端的青草开始，选择其中一堆并把这一堆青草吃掉，最后剩下的那一堆青草就是送给奶牛Z的生日礼物，奶牛A先开始吃。
在玩游戏之前，奶牛B去上了一次厕所，奶牛A乘机进行了K次操作，每次操作也是按照要求从这些草堆当中，选择两端的草堆并吃掉其中一堆。在奶牛B回来之后，同样也是奶牛A先开始吃。
奶牛A想知道，对于每一个K（0≤K≤n-1），最后送给奶牛Z的青草甜度分别是多少？

输入格式

第一行输入一个数字n（1≤n≤3*10^5），表示青草的总堆数。
第二行输入n个数字a_i（1≤a_i≤10^9），表示第i堆草的甜度值。

输出格式

输出n个数字x₀，x₁，…，x_n-1，表示对于每一个K，最终送给奶牛Z的青草的甜度分别是多少。

思路

这是一道结论题。。。
如果n是偶数，那么
$ans=max(a[n/2],a[n/2+1])$
$ans=max(min(a[n/2-1],a[n/2),min(a[n/2],a[n/2+1]))$
所以怎么证明呢
证明

代码

#include<iostream>
using namespace std;
int n;
int a[300005];
int ans[3000005];
int dp1[300000/2+5];//偶数
int dp2[300000/2+5];//奇数
int main()
{
	cin>>n;
	for(int i=1;i<=n;i++)
	{
		cin>>a[i];
		ans[1]=max(ans[1],a[i]);
	}
	for(int i=1;i<n;i++)
		dp1[min(i,n-i)]=max(dp1[min(i,n-i)],max(a[i],a[i+1]));
	for(int i=2;i<n;i++)
		dp2[min(i-1,n-i)]=max(dp2[min(i-1,n-i)],max(min(a[i-1],a[i]),min(a[i],a[i+1])));
	for(int i=n/2;i>=1;i--)
	{
		ans[i<<1]=max(ans[(i+1)<<1],dp1[i]);
		if((n-1)/2>=i)
			ans[i<<1|1]=max(ans[(i+1)<<1|1],dp2[i]);
	}
	for(int i=n;i>=1;i--)
		cout<<ans[i]<<" ";
	return 0;
}