Codeforces Round 859 (Div. 4)（G）

最新推荐文章于 2023-08-14 20:52:53 发布

ahardstone

最新推荐文章于 2023-08-14 20:52:53 发布

阅读量263

点赞数 1

分类专栏：练习题文章标签：算法 c++ 开发语言

本文链接：https://blog.csdn.net/gfyy_bkj/article/details/129660122

版权

练习题专栏收录该内容

42 篇文章 1 订阅

订阅专栏

文章讨论了一种关于子序列和的数学规律，即当n=1时，所有和均为1；假设n=k时，所有sum_k中的数均可达到，那么n=k+1时，通过递推sum_k+a_k+1，证明了小于等于sum_k+1的部分均有子集存在。程序实现验证了这一结论。

摘要由CSDN通过智能技术生成

G. Subsequence Addition
标签
规律、数学
链接
传送门、
结论
当前前缀和小于这个数就是NO，其他是YES（1处特殊）
证明
$n=1时，sum_1=1,均可以到达$
$假设n=k时，sum_k中所有的数均可以到达$
$那么n=k+1时，sum_{k+1}=sum_k+a_{k+1}$
$其中小于等于sum_k部分均有子集和存在，又因为a_{k+1}\leqslant sum_k$
$而且，sum_{k+1}是全集，必然存在$
$对于sum_{k}+1,sum_k+2...,sum_k+a_{k+1}$
$只需sum_{k+1},减去a_{k+1}-x\leqslant sum_{k}(0\leqslant x < a_{k+1})$
$即全集中取出这些子集，必然存在，$
$得证k+1的时候，小于等于sum_{k+1}的部分均有子集存在$
$结论成立$
实现

#include <bits/stdc++.h>
#define ll long long
#define inf 0x3f3f3f3f
#define INF 0x3f3f3f3f3f3f3f3f 
#define ls (id << 1)
#define rs (id << 1 | 1)
using namespace std;
typedef pair<int, int> pii;
const int N = 2e5 + 5;
int a[N];
void solve() {
	int n;
	cin >> n;
	for (int i = 1; i <= n; i++) cin >> a[i];
	sort(a + 1, a + 1 + n);
	if (a[1] != 1) {
		cout << "NO\n";
		return;
	} 
	ll sum = 1;
	for (int i = 2; i <= n; i++) {
		if (a[i] > sum) {
			cout << "NO\n";
			return;
		}
		sum += a[i];
	}
	cout << "YES\n";
}
int main() {
	ios::sync_with_stdio(false);
	cin.tie(0);
	int T = 1;
	cin >> T; 
	while (T--) {
		solve();
	}
	return 0;
}