【二分乱搞】AGC006D Median Pyramid Hard题解

题目大意

给出一个长度为2*n-1的排列，将除了头尾两个数变为相邻3个数的中位数，重复n-1次。
例如：

求最上面那一个数。

解法

二分一个数，比它小的设为0，比它大的和自己设为1，然后按同样的规则求出最上面是0还是1，因为无论中位数怎样取，0或1的意义不会改变，所以最上面的如果是0，说明答案小于它，如果为1，说明答案大于等于它。
接下来讨论如何在O（n）时间内求出最上面是0还是1
首先，如果有连续的两个0，那么这两个数以上的数都是0（1也是如此）
那么我们只需要考虑中线左右最近的连续01以内的区域即可（黑线区）

并且，不难发现中间01间隔出现，而且左右的连续0,1在向内部延伸（看图理解一下就好，当然也可以证明）
所以只需要求出距离中间最近的连续01即可。

代码

%%%大佬张瀚文的代码

#include<bits/stdc++.h>
#define ll long long
#define ull unsigned ll
#define uint unsigned
#define db long double
#define pii pair<int,int>
#define pll pair<ll,ll>
#define IT iterator
 
#define PB push_back
#define MK make_pair
#define LB lower_bound
#define UB upper_bound
#define EB emplace_back
#define fi first
#define se second
 
#define For(i,j,k) for (int i=(int)(j);i<=(int)(k);i++)
#define Rep(i,j,k) for (int i=(int)(j);i>=(int)(k);i--)
#define UPD(x,y) (((x)+=(y))>=mo?x-=mo:233)
#define CLR(a,v) memset(a,v,sizeof(a));
#define CPY(a,b) memcpy(a,b,sizeof(a));
 
#define LS3 k*2,l,mid
#define RS3 k*2+1,mid+1,r
#define LS5 k*2,l,mid,x,y
#define RS5 k*2+1,mid+1,r,x,y
#define GET pushdown(k);int mid=(l+r)/2
 
#define INF ((1ll<<60)-233)
#define sqr(x) ((x)*(x))
#define debug puts("wzpkking")
using namespace std;
int n,a[200005];
bool check(int mid){
	for (int i=0;i<n-1;i++){
		int s0=0,s1=0;
		if (a[n-i]>=mid&&a[n-i-1]>=mid) s1++;
		if (a[n-i]<mid&&a[n-i-1]<mid) s0++;
		if (a[n+i]>=mid&&a[n+i+1]>=mid) s1++;
		if (a[n+i]<mid&&a[n+i+1]<mid) s0++;
		if (s1) return 1;
		if (s0) return 0;
	}
	return a[1]>=mid;
}
int main(){
	//freopen("mid.in","r",stdin);
	//freopen("mid.out","w",stdout);
	scanf("%d",&n);
	For(i,1,2*n-1) scanf("%d",&a[i]);
	int l=2,r=2*n-1,ans=1;
	while (l<=r){
		int mid=(l+r)/2;
		if (check(mid)) ans=mid,l=mid+1;
		else r=mid-1;
	}
	printf("%d",ans);
}