K-good（奇偶性构造）

K-good

[Link](Problem - D - Codeforces)

题意

给你一个数$n$，问你能否将起拆成$k$个数，这$k$个数和为$n$且$modk$的值各不相同。

思路

​ 也就是余数为$0,1,...,k-1$将其转化为数学式子，即$n-k(k-1)/2\equiv 0(modk)$，由于要是$k$个正整数的和因此将余数$0$转变为$k$，即需满足$n-k(k+1)/2\equiv 0(modk)且k\ge 2$。

​ 如果$k$是奇数一定且满足$k(k+1)/2\le n$成立，如果$k$是偶数且$k(2k+1)\le n$也成立，奇数显然成立，偶数的话$n-k(k+1)/2\equiv 0(modk)$是不一定成立的，但$n-2k(2k+1)\equiv 0(modk)$一定成立。

​ 特殊构造一下将$n$分解为$2^k\times t$的形式其中$t$是奇数，则要不然就是$2^k$成立，要不然就是$t$成立，若$t==1$且$2^k$不成立则无解。

Code

#include <bits/stdc++.h>
#define x first
#define y second
#define debug(x) cout<<#x<<":"<<x<<endl;
using namespace std;
typedef long double ld;
typedef long long LL;
typedef pair<int, int> PII;
typedef pair<double, double> PDD;
typedef unsigned long long ULL;
const int N = 1e5 + 10, M = 2 * N, INF = 0x3f3f3f3f, mod = 1e9 + 7;
const double eps = 1e-8, pi = acos(-1), inf = 1e20;
int dx[] = {-1, 0, 1, 0}, dy[] = {0, 1, 0, -1};
int h[N], e[M], ne[M], w[M], idx;
void add(int a, int b, int v = 0) {
    e[idx] = b, w[idx] = v, ne[idx] = h[a], h[a] = idx ++;
}
LL n, m, k;
int a[N];
void solve() {
    cin >> n;
    m = n, k = 1;
    while (m % 2 == 0) m /= 2, k <<= 1;
    
    if (k <= 1e9 && k * (2 * k + 1) <= n) {
        cout << k * 2 << '\n';
        return ;
    }
    if (m != 1 && m <= 2e9 && m * (m + 1) / 2 <= n) {
        cout << m << '\n';
        return ;
    }

    cout << -1 << '\n';
}
int main() {
    ios::sync_with_stdio(false), cin.tie(0);
    int T;
    cin >> T;
    while (T -- ) {
        solve();
    }
    return 0;
}