結果

問題 No.8030 ミラー・ラビン素数判定法のテスト
ユーザー goodbaton
提出日時 2018-12-25 14:35:08
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
AC  
実行時間 390 ms / 9,973 ms
コード長 1,470 bytes
コンパイル時間 816 ms
コンパイル使用メモリ 99,912 KB
実行使用メモリ 5,248 KB
最終ジャッジ日時 2024-11-16 23:10:32
合計ジャッジ時間 2,352 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge5
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 10
権限があれば一括ダウンロードができます

ソースコード

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

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
  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);
    bool f = true;
    if(y == 1) continue;
    for(int j=0;j<s && f;j++){
      f &= y != x-1;
      y = (y * y) % x;
    }
    if(f) return false;
  }
  return true;
}

int main(){
  int n;
  ll x;

  cin >> n;

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