結果

問題 No.3030 ミラー・ラビン素数判定法のテスト
ユーザー shu8Creamshu8Cream
提出日時 2022-02-28 20:30:11
言語 C++17
(gcc 12.3.0 + boost 1.83.0)
結果
WA  
実行時間 -
コード長 2,811 bytes
コンパイル時間 2,172 ms
コンパイル使用メモリ 207,652 KB
実行使用メモリ 6,944 KB
最終ジャッジ日時 2024-07-06 23:33:44
合計ジャッジ時間 3,038 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge3
このコードへのチャレンジ
（要ログイン）

テストケース

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

ソースコード

diff # 

//
//  ミラーラビン素数判定法
//
/*

    高速に素数判定を行う、乱択アルゴリズム
    2^64までの数であれば、確実に判定可能
    計算量 O((logn)^3) とにかく高速

*/

#include <bits/stdc++.h>
using namespace std;
#define rep(i,n) for (int i=0; i<(n); i++)
#define rrep(i,n) for (int i=(n-1); i>=0; i--)
#define all(x) (x).begin(), (x).end()
#define rall(x) (x).rbegin(), (x).rend()
#define sz(x) int((x).size())
using ll = long long;
using P = pair<ll,ll>;
using vi = vector<ll>;
using vvi = vector<vi>;
const ll INF = 8e18;

template<class T> inline bool chmax(T& a, T b) {
    if (a < b) { a = b; return true; }
    return false;
}
template<class T> inline bool chmin(T& a, T b) {
    if (a > b) { a = b; return true; }
    return false;
}

template <class T> string to_string(T s);
template <class S, class T> string to_string(pair<S, T> p);
string to_string(char c) { return string(1, c); }
string to_string(string s) { return s; }
string to_string(const char s[]) { return string(s); }

template <class T>
string to_string(T v) {
    if (v.empty()) return "{}";
    string ret = "{";
    for (auto x : v) ret += to_string(x) + ",";
    ret.back() = '}';
    return ret;
}
template <class S, class T>
string to_string(pair<S, T> p) {
    return "{" + to_string(p.first) + ":" + to_string(p.second) + "}";
}

void debug_out() { cout << endl; }

template <typename Head, typename... Tail>
void debug_out(Head H, Tail... T) {
    cout << to_string(H) << " ";
    debug_out(T...);
}

#ifdef _DEBUG
#define debug(...) debug_out(__VA_ARGS__)
#else
#define debug(...)
#endif

struct Miller_Rabin{
    const vi v32 = {2,7,61};
    const vi v64 = {2, 325, 9375, 28178, 450775, 9780504, 1795265022};
    
    ll mod_pow(ll a, ll b, ll n){
        if(b==0) return 1;
        if(b%2!=0) return a * mod_pow(a, b-1, n) % n;
        else return mod_pow(a * a % n, b / 2, n) % n;
    }

    bool check(ll n){
        if(n==1) return false;
        if(n==2) return true;
        if(n%2==0) return false;
        auto judge = [&](vi vec)->bool{
            ll d = n-1;
            d = d/(d&-d);
            for(ll a:vec){
                if(n<=a) break;
                ll t = d;
                ll y = mod_pow(a,t,n);
                if(y==1) continue;
                while(y!=n-1){
                    y = mod_pow(y,2,n);
                    if(y==1 || t==n-1) return false;
                    t<<=1;
                }
            }
            return true;
        };
        if(n<=4'759'123'141) return judge(v32);
        else return judge(v64);
    }
};

int main() {
    cin.tie(nullptr);
    ios::sync_with_stdio(false);
    Miller_Rabin mr;
    int n; cin >> n;
    rep(i,n){
        ll a; cin >> a;
        cout << a << " " << (mr.check(a) ? 1:0) << endl;
    }
}
0