結果

問題 No.3030 ミラー・ラビン素数判定法のテスト
ユーザー okok
提出日時 2019-09-04 07:26:32
言語 C++14
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 1,494 bytes
コンパイル時間 807 ms
コンパイル使用メモリ 94,792 KB
実行使用メモリ 6,820 KB
最終ジャッジ日時 2024-11-18 16:52:59
合計ジャッジ時間 2,264 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

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()); 
	// mt19937 mt(time(NULL)); 
	// uniform_int_distribution<> rand(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;
	}
	
	// cout<<num-1<<" = 2^"<<s<<" * "<<d<<endl;
	
	for(long long i = 0; i < k; i++){
		// long long a = rand(mt), n = d, a2 = 1;
		long long a = mt()%num, 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, 100)<<endl;
	}
	
	
	return 0;
}
0