結果

問題 No.8030 ミラー・ラビン素数判定法のテスト
ユーザー ok
提出日時 2019-09-04 07:31:33
言語 C++14
(gcc 13.3.0 + boost 1.87.0)
結果
WA  
実行時間 -
コード長 1,423 bytes
コンパイル時間 739 ms
コンパイル使用メモリ 95,808 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-11-18 16:54:31
合計ジャッジ時間 4,141 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 4 WA * 6
権限があれば一括ダウンロードができます

ソースコード

diff # 

#include<iostream>
#include<string>
#include<iomanip>
#include<cmath>
#include<vector>
#include<algorithm>

#include<ctime>
#include <random>
#include <limits>

using namespace std;

#define int long long
#define endl "\n"


long long power(long long x, long long n, long long mod){
	long long ans = 1;
	while(n){
		if(n&1) ans *= x;
		n >>= 1;
		x *= x;
		x %= mod;
		ans %= mod;
	}
	return ans;
}

bool Miller_Rabin(long long num, long long k){
	if(num <= 1)        return false;
	else if(num == 2)   return true;
	else if(num%2 == 0) return false; 
	
	long long s = 0, d = 0;
	random_device rnd;
	mt19937 mt(rnd()); 
	// uniform_int_distribution<> rd(1,min((int)numeric_limits<int>::max(), num-1));
	
	for(long long n = num-1;;){
		if(n%2){ 
			d = n; break;
		} else s++, n >>= 1;
	}
	
	for(long long i = 0; i < k; i++){
		// long long a = rd(mt), n = d, a2 = 1;
		long long a = mt()%(num-1)+1, n = d, a2 = 1;
		bool flag = true;
		a2 = power(a, d, num);
		
		if(a2 == 1) continue;
		for(long long r = 0, two = 1; r < s; r++, two <<= 1){
			a2 = power(a, two*d, num);
			
			if(a2 == num-1){
				flag = false;
				break;
			}
		}
		
		if(flag) return false;
	}
	
	return true;
}

signed main(){
	// cin.tie(0);
	// ios::sync_with_stdio(false);
	// cout<<fixed<<setprecision(10);
	
	int n;
	
	cin>>n;
	
	for(int i = 0; i < n; i++){
		int x;
		cin>>x;
		
		cout<<x<<" "<<Miller_Rabin(x, 100000)<<endl;
	}
	
	
	return 0;
}
0