結果

問題 No.3030 ミラー・ラビン素数判定法のテスト
ユーザー goodbatongoodbaton
提出日時 2018-12-27 20:58:44
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 1,565 bytes
コンパイル時間 827 ms
コンパイル使用メモリ 101,696 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-11-18 16:35:34
合計ジャッジ時間 3,332 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

diff # 

#include <cstdio>
#include <cstdlib>
#include <cmath>
#include <cstring>
#include <cstdint>

#include <iostream>
#include <complex>
#include <string>
#include <algorithm>
#include <numeric>
#include <vector>
#include <queue>
#include <stack>
#include <map>
#include <set>
#include <unordered_map>
#include <unordered_set>

#include <functional>
#include <cassert>

typedef long long ll;
using namespace std;

#ifdef LOCAL
#define debug(x) cerr << __LINE__ << " : " << #x << " = " << (x) << endl;
#else
#define debug(x) ;
#endif

#define mod 1000000007 //1e9+7(prime number)
#define INF 1000000000 //1e9
#define LLINF 2000000000000000000LL //2e18
#define SIZE 200010


namespace MillerRabin {
  typedef __int128_t Int;
  Int power(Int k, Int n, ll M){
    if(n==0) return 1;
    if(n==1) return k % M;

    Int res = power(k, n/2, M);
    res = res * res % M;
    return n%2 ? res % M * k % M : res;
  }

  bool isPrime(ll x) {
    int a[] = {2, 3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 37, -1}; // x < 2^64
    //int a[] = {2, 7, 61, -1}; // x < 2^32
    if(x == 2) return true;
    if(x <= 1 || x % 2 == 0) return false;
    Int d = x-1;
    int s = 0;
    for(;d%2 == 0;s++) d >>= 1;
    for(int i=0;a[i] != -1 && a[i] < x;i++){
      Int y = power(a[i], d, x);
      if(y == 1) continue;
      for(int j=0;j<s-1 && y == x-1;j++) y = (y * y) % x;
      if(y == x-1) return false;
    }
    return true;
  }
};

int main(){
  int n;
  ll x;

  cin >> n;

  for(int i=0;i<n;i++){
    cin >> x;
    cout << x << " " << MillerRabin::isPrime(x) << endl;
  }
  return 0;
}
0