K-good（数论/取模运算/构造）

题目
题意：给定一个数$n<=1e18$，问是否存在一个数$k>=2$，使得$n$可以由$k$个 模$k$意义下各不相等的正整数相加得到。
参考
思路：题意转化为给定$n$，是否存在$k$，使得$n==k\ast (k+1)/2+k\ast x$，其中$x>=0$。$k$个数在模$k$意义下取值为$1,2,...,k-1,k$，它们相加后为$k\ast (k+1)/2$，再加上若干个$k$，即得到上式。
所以$n$要满足两个条件：

• $n>=1+2+...+k=\frac{k\ast (k+1)}{2}$
• $n=\frac{k\ast (k+1)}{2}(\%k)$
  当$k$为偶数时，上述第二式可以简化为$n=\frac{k}{2}(\%k)$，该式成立，当且仅当$2\ast n$是$k$的倍数，而$n$不是$k$的倍数。且我们应该取最小的$k$，为满足第一式，此时$k$取$k1=2^{p+1}$，其中$p$为$n$能整除2的最大次数。
  假如$k1$能满足第一式，则可以得到答案。
  如果$k1$不满足第一式，考虑$k2=\frac{2\ast n}{k1}$，根据$k1$的性质（$2\ast n$是$k1$的倍数，而$n$不是$k1$的倍数），可得$k2$为奇数，且此时由$k1\ast (k1+1)>2\ast n=>k2<k1+1=>k2<=k1-1$。因此$\frac{k2\ast (k2+1)}{2}<=\frac{k2\ast k1}{2}=n$，因此，此时$k2$能满足第一式。

综上，$k1$和$k2$至少有一个满足题意。

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int maxn = 200010;

ll n, k;

void solve() {
	scanf("%lld", &n);
	ll k2 = n;
	while (k2 % 2 == 0) {
		k2 /= 2;
	}
	if (k2 == 1) {
		printf("-1\n");
		return;
	}
	if (k2 <= 2e9 && (k2 + 1) / 2 * k2 <= n) {
		printf("%lld\n", k2);
	} else {
		printf("%lld\n", n / k2 * 2);
	}
}
int main() {
	int t;
	scanf("%d", &t);
	while (t--) {
		solve();
	}
}
/*
 k * (k - 1) / 2 + k * x == n
*/