Description
给定一个正整数 n n n ,表示 1 1 1 到 n n n 这 n n n 个正整数,以及给出一个正整数 s s s 和一个正整数 k k k ,要求你造出一个数组 a a a , a a a 数组应该满足 a i = = 0 a_i==0 ai==0 或者 a i = = 1 a_i==1 ai==1 ( 1 ≤ i ≤ n ) (1 \le i \le n) (1≤i≤n) ,并且满足 n = ∑ i = 1 n n=\sum\limits_{i=1}^n n=i=1∑n 和 s = ∑ i = 1 n a i × i s=\sum\limits_{i=1}^na_i\times i s=i=1∑nai×i,请问是否存在这样的a数组。
Input
本题有多组数据。
第一行一个正整数
T
T
T,表示数据组数。
对于每组数据,一行
3
3
3 个正整数
n
,
k
,
s
n, k,s
n,k,s
Output
对于每组数据:
输出一行,一个字符串,
Y
e
s
Yes
Yes 或
N
o
No
No,表示是否能够创建这样的
a
a
a 数组,满足题意
Sample Input
3
5 2 10
5 2 5
5 2 2
Sample Output
No
Yes
No
HINT
数据范围:
对于 100 % 100\% 100% 的数据, 100 ≤ T ≤ 10000 , 1 ≤ n , k ≤ 1 0 9 , 1 ≤ s ≤ 1 0 18 100 \le T \le 10000, 1 \le n,k \le 10^9,1 \le s \le 10^{18} 100≤T≤10000,1≤n,k≤109,1≤s≤1018
Solution
由于 a i a_i ai 只能为 1 1 1 或 0 0 0,因此存在 k k k 组 a i = 1 a_i=1 ai=1,同时 a i × i a_i\times i ai×i 只能等于 0 0 0 或 i i i。那么,问题就变成在 1 ∼ n 1\sim n 1∼n 中选 k k k 个数使其和为 s s s。
这个和是有上下界的。最小是 1 + ⋯ + k = ( 1 + k ) × k 2 1+\cdots+k=\dfrac{(1+k)\times k}{2} 1+⋯+k=2(1+k)×k,最大是 ( n − k + 1 ) + ⋯ + n = ( n − k + 1 + n ) × k 2 (n-k+1)+\cdots+n=\dfrac{(n - k + 1 + n)\times k}{2} (n−k+1)+⋯+n=2(n−k+1+n)×k。
那我们就要证明这些和能取遍上界到下界的所有和,这是为什么呢?
证明:
1 + 2 + ⋯ + k 1+2+\cdots+k 1+2+⋯+k 这是和的下界,考虑对它进行 + 1 +1 +1 操作:先把最后的 k ← k + 1 k\gets k+1 k←k+1,直到 k = n k=n k=n,再来对第二个数 k − 1 k-1 k−1 进行 + 1 +1 +1,直到这个数 = n − 1 =n-1 =n−1,如果还不够,继续类推
那么就可以确定,上界与下界之间的和都可以构造出来。
那么程序只要判断是不是 ( 1 + k ) × k 2 ≤ s ≤ ( n − k + 1 + n ) × k 2 \dfrac{(1+k)\times k}{2}\le s\le\dfrac{(n - k + 1 + n)\times k}{2} 2(1+k)×k≤s≤2(n−k+1+n)×k 即可
Code
#include <bits/stdc++.h>
using namespace std;
long long T, n, k, s;
signed main()
{
scanf("%lld", &T);
while (T--)
{
scanf("%lld%lld%lld", &n, &k, &s);
if (s > (n + n - k + 1) * k / 2 || s < (1 + k) * k / 2)
printf("No\n");
else
printf("Yes\n");
}
}