結果
| 問題 |
No.577 Prime Powerful Numbers
|
| コンテスト | |
| ユーザー |
|
| 提出日時 | 2025-05-06 15:19:41 |
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
TLE
|
| 実行時間 | - |
| コード長 | 2,234 bytes |
| コンパイル時間 | 3,418 ms |
| コンパイル使用メモリ | 285,036 KB |
| 実行使用メモリ | 19,136 KB |
| 最終ジャッジ日時 | 2025-05-06 15:19:52 |
| 合計ジャッジ時間 | 10,266 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| sample | -- * 1 |
| other | TLE * 1 -- * 9 |
ソースコード
#include <bits/stdc++.h>
#define rep(i, n) for (int i = 0; i < (n); ++i)
using namespace std;
using ll = long long;
template<class T>
T pow_mod(T a, T n, T m) {
T res = 1%m;
a %= m;
while (n) {
if (n&1) res = res*a%m;
a = a*a%m;
n >>= 1;
}
return res;
}
bool isPrime(ll n) {
if (n <= 1) return false;
if (n == 2) return true;
if (n%2 == 0) return false;
vector<ll> a = {2, 325, 9375, 28178, 450775, 9780504, 1795265022};
int s = 0; ll d = n-1;
while (d%2 == 0) {
++s;
d >>= 1;
}
for (ll x : a) {
if (x >= n) break;
ll b = pow_mod<__int128_t>(x, d, n);
if (b != 1) {
bool ok = true;
rep(i, s) {
if (b == n-1) {
ok = false;
break;
}
b = __int128_t(b)*b%n;
}
if (ok) return false;
}
}
return true;
}
ll gcd(ll a, ll b) {
a = abs(a), b = abs(b);
if (b == 0) return a;
return gcd(b, a%b);
}
ll pollard(ll n) {
if (n%2 == 0) return 2;
if (isPrime(n)) return n;
auto f = [&](ll x) -> ll { return (__int128_t(x)*x+1)%n; };
ll step = 0;
while (1) {
++step;
ll x = step, y = f(x);
while (1) {
ll p = gcd(y-x+n, n);
if (!p or p == n) break;
if (p != 1) return p;
x = f(x); y = f(f(y));
}
}
}
vector<ll> fatorList(ll n) {
if (n == 1) return {};
ll p = pollard(n);
if (p == n) return {p};
vector<ll> left = fatorList(p);
vector<ll> right = fatorList(n/p);
left.insert(left.end(), right.begin(), right.end());
sort(left.begin(), left.end());
return left;
}
bool solve() {
ll n;
cin >> n;
if (n%2 == 0) {
if (n == 2) return false;
return true;
}
for (int b = 1; b <= 60; ++b) {
ll qb = 1ll<<b;
ll pa = n-qb;
auto fs = fatorList(pa);
if (fs[0] == fs.back()) return true;
}
return false;
}
int main() {
int q;
cin >> q;
rep(qi, q) {
if (solve()) puts("Yes");
else puts("No");
}
return 0;
}