【二分答案】轻重搭配

 传送门:https://nanti.jisuanke.com/t/36105
n 个同学去动物园参观，原本每人都需要买一张门票，但售票处推出了一个优惠活动，一个体重为 x 的人可以和体重至少为 2x 配对，这样两人只需买一张票。现在给出了 n 个人的体重，请你计算他们最少需要买几张门票？

输入格式
第一行一个整数 n，表示人数。

第二行 n 个整数，每个整数 a_i

​ 表示每个人的体重。

输出格式
一个整数，表示最少需要购买的门票数目。

数据范围
对于 30%30% 的数据：1 \le n \le 251≤n≤25，1\le a_i \le 1001≤a
i
​ ≤100。

对于 60%60% 的数据：1 \le n \le 100001≤n≤10000，1\le a_i \le 10001≤a
i
​ ≤1000。

对于 100%100% 的数据：1<=n<=5E5 1<=ai<=1E5

---

 本题出自计蒜客的蓝桥杯模拟赛。
 先对所有数字排序。
 一开始想的是各种贪法，结果只能贪出一点部分分。后来就想到，如果某种方案配对了x对，那么我们可以统一将这x对中比较大的数字，从大到小依次用a[n],a[n-1]……a[n-x+1]给替换掉；而比较小的数字从小到大依次用a[1]……a[x]替换掉，可知替换出来还是满足条件的方案。另外我们将每一对视作一条边，连接小数字的有序数列和大数字的有序数列，那么会产生一个二分图。
 如果两条边出现交叉，也就是出现a[i]<a[j], a[ii]>a[jj]，a[i]*2<=a[ii]，a[j]*2<=a[jj]。那么可以将i连接jj而j连接ii。经过一阵重新连接，我们发现，可能的方案等价于a[1]连接a[n-x+1]……a[x]连接a[n]，于是现在我们只需要找出具体对于哪个x成立就行了，那么二分答案咯~

#include<cstdio>
#include<algorithm>
#define M (L+R+1>>1)
using namespace std;

int a[500005],n,L,R;

bool check(int x)
{
	for(int i=1;i<=x;i++)
		if(a[i+n-x]<a[i]*2)
			return false;
	return true;
}

int main()
{
	scanf("%d",&n);
	for(int i=1;i<=n;i++)
		scanf("%d",&a[i]);
	sort(a+1,a+n+1);
	L=0,R=n/2;
	while(L<R)
		if(check(M))
			L=M;
		else
			R=M-1;
	printf("%d",n-L);
	return 0;
}