[hdu多校] P7029 Median

题目链接
首先要明确的是中位数必须在不同的集合中，只要能将剩下的数消去那么就是yes，否则是no。m个中位数把序列分成了m+1段，这m+1个集合中任意两个集合中的两个数都是可以两两消去的。那么这m+1个集合要满足什么性质才能让所有数都能消去呢？
初步设想最后的情况有两种：
1.所有集合都是空的
2.有一个集合还有一些元素没被消去
第一种情况是显然“yes”的。对于第二种情况容易证明最后还有元素没被消去的一定是包含元素最多的一个集合，要使它成立那么只能把剩下的元素放入包含比剩下的元素的最小值还要小的中位数的集合里去。
考虑第二种情况的极端情形，记m+1个集合中最大的集合为S，除了S外的集合里每一个元素都和S中的元素配对消去，那么S中剩余的元素个数一定是所有方案中最少的。记剩余的个数为maxval-sum。
1.maxval-sum<=0，那么必然存在一种方案消去集合S。均分集合S之后又会产生新的最大集合S’，归纳可以证明最后个个集合一定可以均分或者某一个集合剩余一个元素。控制剩下的这个元素不在第一段，然后把这个剩下的元素放入比他小的中位数集合中即可。于是maxval-sum<=0的情况一定是“yes”
2.max-sum>0，则需要比较max-sum与小于这段区间最小值的中位数个数cnt的关系 （画下图就容易理解了）

完整代码

#include<bits/stdc++.h>
#define FAST ios::sync_with_stdio(false),cin.tie(0),cout.tie(0)
#define INF 0x3f3f3f3f
typedef long long ll;
const int maxn = 1e5+5;

using namespace std;

int kase;
int n,m;
int a[maxn],b[maxn];

int main()
{
   	FAST; 
	cin>>kase;
	while(kase--)
	{
		cin>>n>>m;
		for (int i=1; i<=m; i++) cin>>b[i];	
		sort(b+1,b+m+1);
		for (int i=2; i<=m; i++) a[i]=b[i]-b[i-1]-1;
		a[1]=b[1]-1; a[m+1]=n-b[m];
		
		int max_val=-1,pos=0;
		for (int i=1; i<=m+1; i++)
		{
			if (a[i]>max_val)
			{
				max_val=a[i];
				pos=i;
			}
		}
		
		int sum=0;
		for (int i=0; i<=pos-1; i++) sum+=a[i];
		for (int i=pos+1; i<=m+1; i++) sum+=a[i];
		
		if (sum>=max_val) cout<<"YES"<<endl;
		else
		{
			int off=max_val-sum;
			int minn=b[pos-1]+1;
			int cnt=0;
			for (int i=1; i<=m; i++) if (b[i]<minn) cnt++;
			if (cnt>=off) cout<<"YES"<<endl;
			else cout<<"NO"<<endl; 
		}
	}	
return 0;
}

扪心自问这题我自己西靠的时候确实想到了现将中位数分到m个集合，然后处理剩余元素这一步了，但是当时没想到怎么处理。因为将元素消去的方案太多了，没敢贪心。但是这题给我一个启发，就是不要囿于复杂的中间过程，试着从结束状态推敲往往能打开死胡同。赛后我就是灵光一现想到了结束状态，然后用极端原理分析，给出了详细的证明。