CF1536D. Omkar and Medians(二分+思维)

题目链接

题意:

给出你长度为n的a[]数组,让你构造出b[]数组,

• i=1 直接将a[1]添加进去
• 每次往b数组中添加2个元素,使得b的中位数为a[i]
  问你是否构造成功.

思路：

官方的题解，有点懵，自己看着大佬的代码想得题解再加上自己原本的理解．
仅作参考

首先我们那个例子来说把
ａ：1　3　4　2
ｂ1: "1"
ｂ2:"1,3,/"　/表示可以是>=3的任何数
b3:"1,3,4,/,/"　因为原本ｂ2数组中没有4所以肯定得加一个4，那么将它放到3位置上，因为b2中的/是>=3的数，所以我们合并新生成的两个，并且将一个化成4，那么就多了两个/>=4
b4:"1,3,4,/,/"　　我们前一个位置的中位数是3　当前位置应该是4，但是我们要2的话小于等于2的就1个再加上(2-1)个新生成的数字，肯定不能够满足条件．
所以我就推测，维护前面多少个不确定的数，后面多少个不确定的数．不确定就意味着一切皆有可能．但是不好维护．
有想法的大佬可以接着想下去．

下面的代码，主题那就是upper_bound()和set<>.

void solve()
{
	ll n;
	cin>>n;
	vector<ll> a(n);
	for(int i=0;i<n;i++){
		scanf("%lld",&a[i]);
	}
	set<ll>s;
	s.insert(a[0]);// first
	for(int i=1;i<n;i++){
		ll top = a[i];/// now
		ll previous = a[i-1];
		
		s.insert(top);
		if(previous == top){
			continue;
		}
		
		ll minn = min(top,previous);
		ll maxx = max(top,previous);
		
		if(*s.upper_bound(minn)!=maxx){/// this is import
			puts("NO");
			return ;
		}
	}
	puts("YES");
}