CF23C题解

注：本题解在洛谷题解中发布过，为作者本人。

解题思路：

首先我们看到要求 $2N-1$ 中选择 $N$ 个，且两种水果选择在总量的一半以上，可以猜想在所有情况中，均至少有一组解，不过一个正确的结论是需要严谨的证明的。

我们可以将 $a$ 数组从小到大排序，得到有序数组 $a_1,a_2,\dots ,a_{2N-1}$。因为数组有序，所以很容易知道：
$$a_3\ge a_2,a_5\ge a_4,\dots ,a_{2N-1}\ge a_{2N-2}$$
由此可得：
$$a_1+a_3+a_5+\cdots +a_{2N-1}\ge a_2+a_4+a_6+\cdots +a_{2N-2}$$
同理可以得到：
$$a_2+a_4+\cdots +a_{2N-2}+a_{2N-1}\ge a_1+a_3+\cdots +a_{2N-3}$$
如果此时：
$$o_1+o_3+o_5+\cdots +o_{2N-1}\ge \frac{1}{2}\sum _{i=1}^{2N-1}{o}_i$$
那么已经满足要求，即可输出所有奇数位上的元素序号。否则一定可得：
$$o_2+o_4+\cdots +o_{2N-2}+o_{2N-1}>\frac{1}{2}\sum _{i=1}^{2N-1}{o}_i$$
即可输出所有偶数位上的元素和最后一位元素的序号。由此也可以证明本题一定有解。

Code：

#include<cstdio>
#include<algorithm>
#include<cmath>
#define int long long
using namespace std;
const int N=2e5+5;
int t,n;
struct node{
	int id,apple,orange;
	bool operator <(const node &other) const{
		return apple<other.apple;
	}
}a[N];
signed main(){
	scanf("%lld",&t);
	while(t--){
		scanf("%lld",&n);puts("YES");int sumor=0;
		for(int i=1;i<2*n;i++){
			scanf("%lld%lld",&a[i].apple,&a[i].orange);
			a[i].id=i;sumor+=a[i].orange;
		}sort(a+1,a+2*n);int ans=0;
		for(int i=1;i<2*n;i+=2)ans+=a[i].orange;
		if(ans>=ceil(1.0*sumor/2)){
			for(int i=1;i<2*n;i+=2)printf("%lld ",a[i].id);
		}else{
			for(int i=2;i<2*n;i+=2)printf("%lld ",a[i].id);
			printf("%lld",a[2*n-1].id);
		}puts("");
	}return 0;
}