結果

問題 No.3030 ミラー・ラビン素数判定法のテスト
ユーザー LuzhiledLuzhiled
提出日時 2017-11-07 14:15:10
言語 C++11
(gcc 11.4.0)
結果
WA  
実行時間 -
コード長 1,069 bytes
コンパイル時間 1,508 ms
コンパイル使用メモリ 161,796 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-11-18 16:07:39
合計ジャッジ時間 2,091 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge5
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
6,816 KB
testcase_01 AC 1 ms
6,816 KB
testcase_02 AC 2 ms
6,820 KB
testcase_03 AC 2 ms
6,820 KB
testcase_04 WA -
testcase_05 WA -
testcase_06 WA -
testcase_07 WA -
testcase_08 WA -
testcase_09 WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include <bits/stdc++.h>
using namespace std;

bool is_SPRP(uint64_t n, uint32_t a) {
  uint64_t d = n - 1, s = 0;
  while ((d & 1) == 0) {
    ++s;
    d >>= 1;
  }
  __uint128_t cur = 1, pw = d;
  while (pw) {
    if (pw & 1) {
      cur = (cur * a) % n;
    }
    a = ((__uint128_t)a * a) % n;
    pw >>= 1;
  }
  if (cur == 1) {
    return true;
  }
  for (uint64_t r = 0; r < s; r++) {
    if (cur == n - 1) {
      return true;
    }
    cur = (cur * cur) % n;
  }
  return false;
}

bool is_prime(uint64_t x) {
  if (x <= 1) return false;
  if (x < 1ULL << 32) {
    const vector<uint32_t> bases{2, 7, 61};
    for (const uint32_t base : bases) {
      if (x != base && !is_SPRP(x, base)) return false;
    }
  } else {
    const vector<uint64_t> bases{2, 325, 9375, 28178, 450775, 9780504, 1795265022};
    for (const uint64_t base : bases) {
      if (x != base && !is_SPRP(x, base)) return false;
    }
  }

  return true;
}

int main() {
  int q;
  cin >> q;

  while (q--) {
    uint64_t n;
    cin >> n;

    cout << n << " " << is_prime(n) << endl;
  }
}
0