結果
| 問題 |
No.8030 ミラー・ラビン素数判定法のテスト
|
| ユーザー |
AC2K
|
| 提出日時 | 2023-03-31 14:58:11 |
| 言語 | C++23 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
WA
|
| 実行時間 | - |
| コード長 | 2,221 bytes |
| コンパイル時間 | 2,730 ms |
| コンパイル使用メモリ | 243,736 KB |
| 実行使用メモリ | 5,376 KB |
| 最終ジャッジ日時 | 2024-09-22 19:06:31 |
| 合計ジャッジ時間 | 3,822 ms |
|
ジャッジサーバーID (参考情報) |
judge4 / judge5 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 5 WA * 5 |
ソースコード
#include<bits/stdc++.h>
template <class T, class U = T>
constexpr inline U mod_pow(T base, T exp, T mod) {
T ans = 1;
base %= mod;
while (exp > 0) {
if (exp & 1) {
ans *= base;
ans %= mod;
}
base *= base;
base %= mod;
exp >>= 1;
}
return ans;
}
namespace prime {
namespace miller {
using i128 = __int128_t;
using u128 = __uint128_t;
using u64 = uint64_t;
using u32 = uint32_t;
bool miller_rabin(uint64_t n,const uint64_t bases[],int siz) {
if (n == 2) { return true; }
if (n < 2 || (n & 1) == 0) { return false; }
uint64_t n1 = n - 1, d = n - 1;
uint32_t s = 0;
for (; (d & 1) == 0; d >>= 1) { s += 1; }
for (int i = 0; i < siz; i++) {
uint64_t a = bases[i];
if (a >= n) { a %= n; if (a == 0) { continue; } }
uint64_t t = mod_pow<u128>(a, d, n);
if (t == 1) { continue; }
for (uint32_t j = 1; t != n1; ++j) {
if (j >= s) { return false; }
(t *= t) %= n;
}
}
return true;
}
constexpr u64 bases_int[3] = { 2, 7, 61 }; // intだと、2,7,61で十分
constexpr u64 bases_ll[7] = { 2, 325, 9375, 28178, 450775, 9780504, 1795265022 };
bool is_prime(u64 n) {
if (n < 2) {
return false;
}
else if (n == 2) {
return true;
}
else if (~n & 1) {
return false;
}
if (n < (1ul << 31)) {
return miller_rabin(n, bases_int, 3);
}
else {
return miller_rabin(n, bases_ll, 7);
}
}
};
};
///@brief fast prime check(MillerRabinの素数判定)
int main() {
int n;
scanf("%d", &n);
for (int i = 0; i < n; i++) {
uint64_t xi;
scanf("%lld", &xi);
printf("%lld ", xi);
if (prime::miller::is_prime(xi)) {
puts("1");
}
else {
puts("0");
}
}
}
AC2K