結果
| 問題 |
No.8030 ミラー・ラビン素数判定法のテスト
|
| ユーザー |
|
| 提出日時 | 2020-12-11 18:12:17 |
| 言語 | C++17 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 437 ms / 9,973 ms |
| コード長 | 789 bytes |
| コンパイル時間 | 2,262 ms |
| コンパイル使用メモリ | 192,396 KB |
| 最終ジャッジ日時 | 2025-01-16 22:17:43 |
|
ジャッジサーバーID (参考情報) |
judge1 / judge1 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 10 |
コンパイルメッセージ
main.cpp: In function ‘int main()’:
main.cpp:43:21: warning: ignoring return value of ‘int scanf(const char*, ...)’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
43 | int q; scanf("%d",&q);
| ~~~~~^~~~~~~~~
main.cpp:45:30: warning: ignoring return value of ‘int scanf(const char*, ...)’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
45 | lint x; scanf("%lld",&x);
| ~~~~~^~~~~~~~~~~
ソースコード
#include <bits/stdc++.h>
#define rep(i,n) for(int i=0;i<(n);i++)
using namespace std;
using lint=long long;
bool Miller_Rabin(lint n){
if(n<=1) return false;
if(n%2==0) return n==2;
auto modpow=[](lint a,lint k,lint m){
lint r=1;
for(lint x=a;k>0;k>>=1){
if(k&1) r=__int128(r)*x%m;
x=__int128(x)*x%m;
}
return r;
};
int r=0;
lint d=n-1;
while(d%2==0) r++, d>>=1;
for(lint a:{2,3,5,7,11,13,17,19,23,29,31,37}){
if(a>=n-2) break;
lint x=modpow(a,d,n);
if(x==1 || x==n-1) continue;
bool b=false;
rep(_,r-1){
x=__int128(x)*x%n;
if(x==n-1){
b=true;
break;
}
}
if(!b) return false;
}
return true;
}
int main(){
int q; scanf("%d",&q);
rep(_,q){
lint x; scanf("%lld",&x);
printf("%lld %d\n",x,Miller_Rabin(x));
}
return 0;
}