#878301 (C++17) No.3030 ミラー・ラビン素数判定法のテスト

提出ソース
結果

問題	No.3030 ミラー・ラビン素数判定法のテスト
ユーザー	eQe
提出日時	2023-06-05 18:26:07
言語	C++17 (gcc 12.3.0 + boost 1.83.0)
結果	AC
実行時間	35 ms / 9,973 ms
コード長	12,553 bytes
コンパイル時間	5,627 ms
コンパイル使用メモリ	299,888 KB
実行使用メモリ	5,376 KB
最終ジャッジ日時	2024-06-09 05:13:55
合計ジャッジ時間	6,344 ms
ジャッジサーバーID （参考情報）	judge1 / judge3
このコードへのチャレンジ
（要ログイン）
テストケース

テストケース表示
入力	結果	実行時間実行使用メモリ
testcase_00	AC	2 ms 5,248 KB
testcase_01	AC	2 ms 5,376 KB
testcase_02	AC	2 ms 5,376 KB
testcase_03	AC	2 ms 5,376 KB
testcase_04	AC	23 ms 5,376 KB
testcase_05	AC	22 ms 5,376 KB
testcase_06	AC	14 ms 5,376 KB
testcase_07	AC	14 ms 5,376 KB
testcase_08	AC	14 ms 5,376 KB
testcase_09	AC	35 ms 5,376 KB
権限があれば一括ダウンロードができます
ソースコード

raw source code
#include<bits/stdc++.h>
#include<atcoder/all>
#define all(a) begin(a),end(a)
#define fin(...) rr vo(pp(__VA_ARGS__))
#define ep(...) emplace(__VA_ARGS__)
#define eb(...) emplace_back(__VA_ARGS__)
#define ef(...) else if(__VA_ARGS__)
#define wh(...) while(__VA_ARGS__)
#define lb(...) lower_bound(__VA_ARGS__)
#define ub(...) upper_bound(__VA_ARGS__)
#define ov4(a,b,c,d,e,...) e
#define ov5(a,b,c,d,e,f,...) f
#define fo1(b) for(ll ii=0,bb=(ll)(b);ii<bb;++ii)
#define fo2(i,b) for(ll i=0,bb=(ll)(b);i<bb;++i)
#define fo3(i,a,b) for(ll i=(ll)(a),bb=(ll)(b);i<bb;++i)
#define fo4(i,a,b,c) for(ll i=(ll)(a),bb=(ll)(b),cc=(ll)(c);i<bb;i+=cc)
#define fo(...) ov4(__VA_ARGS__,fo4,fo3,fo2,fo1)(__VA_ARGS__)
#define of2(i,a) for(ll i=(ll)(a)-1;i>=0;--i)
#define of3(i,a,b) for(ll i=(ll)(a)-1,bb=(ll)(b);i>=bb;--i)
#define of4(i,a,b,c) for(ll i=(ll)(a)-1,bb=(ll)(b),cc=(ll)(c);i>=bb;i-=cc)
#define of(...) ov4(__VA_ARGS__,of4,of3,of2)(__VA_ARGS__)
#define fe2(a,v) for(au&&a:v)
#define fe3(a,b,v) for(au&&[a,b]:v)
#define fe4(a,b,c,v) for(au&&[a,b,c]:v)
#define fe(...) ov4(__VA_ARGS__,fe4,fe3,fe2)(__VA_ARGS__)
#define LL(...) ll __VA_ARGS__;li(__VA_ARGS__)
#define DD(...) dd __VA_ARGS__;li(__VA_ARGS__)
#define ST(...) str __VA_ARGS__;li(__VA_ARGS__)
#define SS(n,a) strs a(n);li(a)
#define U2(h,w,a) u2 a(h,w);li(a)
#define UL2(n,a) u1 a(n);li(a)
#define UL3(n,a,b) u1 a(n),b(n);li(a,b)
#define UL4(n,a,b,c) u1 a(n),b(n),c(n);li(a,b,c)
#define UL5(n,a,b,c,d) u1 a(n),b(n),c(n),d(n);li(a,b,c,d)
#define UL(...) ov5(__VA_ARGS__,UL5,UL4,UL3,UL2)(__VA_ARGS__)
#define UV3(n,a,b) u1 a(n),b(n);vi(a,b)
#define UV4(n,a,b,c) u1 a(n),b(n),c(n);vi(a,b,c)
#define UV5(n,a,b,c,d) u1 a(n),b(n),c(n),d(n);vi(a,b,c,d)
#define UV(...) ov5(__VA_ARGS__,UV5,UV4,UV3)(__VA_ARGS__)
#define I template
#define J typename
#define O operator
#define rr return
#define uu using
#define au auto
#define cs const
namespace atcoder{}namespace my{void main();void solve();}int main(){my::main();}
namespace my{uu namespace std;uu namespace atcoder;
uu is=istream;uu os=ostream;uu vo=void;uu bo=bool;uu dd=long double;
uu ll=long long;uu i64=ll;uu i128=__int128_t;uu ul=unsigned long long;uu u64=ul;uu u128=__uint128_t;
uu ml=modint998244353;is&O>>(is&i,ml&x){ll t;i>>t;x=t;rr i;}os&O<<(os&o,cs ml&x){rr o<<x.val();}
I<J T>uu v1=vector<T>;
I<J T>struct v2:v1<v1<T>>{uu v1<v1<T>>::v1;v2(ll a,ll b,T x={}){this->resize(a,v1<T>(b,x));}};
I<J T>struct v3:v1<v2<T>>{uu v1<v2<T>>::v1;v3(ll a,ll b,ll c,T x={}){this->resize(a,v2<T>(b,c,x));}};
I<J T>struct v4:v1<v3<T>>{uu v1<v3<T>>::v1;v4(ll a,ll b,ll c,ll d,T x={}){this->resize(a,v3<T>(b,c,d,x));}};
uu u1=v1<ll>;uu u2=v2<ll>;uu u3=v3<ll>;uu u4=v4<ll>;uu m1=v1<ml>;uu m2=v2<ml>;uu m3=v3<ml>;uu m4=v4<ml>;
uu str=string;uu strs=v1<str>;str sp=" ",nc="",nl="\n";str Yes(bo y=1){rr y?"Yes":"No";}str No(){rr Yes(0);}

I<J A,J B=A>struct cp{
  A a;B b;cp():a(),b(){}cp(A a,B b):a(a),b(b){}cp(pair<A,B>p):a(p.first),b(p.second){}cp O-()cs{rr cp(-a,-b);}
  cp&O+=(cs cp&c){a+=c.a,b+=c.b;rr*this;}cp O+(cs cp&c)cs{rr cp{*this}+=c;}bo O==(cs cp&c)cs{rr a==c.a&&b==c.b;}
  cp&O-=(cs cp&c){a-=c.a,b-=c.b;rr*this;}cp O-(cs cp&c)cs{rr cp{*this}-=c;}bo O!=(cs cp&c)cs{rr a!=c.a||b!=c.b;}
  bo O<(cs cp&c)cs{rr a!=c.a?a<c.a:b<c.b;}bo O>=(cs cp&c)cs{rr!(*this<c);}friend is&O>>(is&i,cp&c){rr i>>c.a>>c.b;}
  bo O>(cs cp&c)cs{rr a!=c.a?a>c.a:b>c.b;}bo O<=(cs cp&c)cs{rr!(*this>c);}friend os&O<<(os&o,cs cp&c){rr o<<c.a<<sp<<c.b;}
};uu cl=cp<ll>;uu cls=v1<cl>;
I<J A,J B=A,J C=A>struct tr{
  A a;B b;C c;tr():a(),b(),c(){}tr(A a,B b,C c):a(a),b(b),c(c){}bo O==(cs tr&t)cs{rr a==t.a&&b==t.b&&c==t.c;}
  bo O<(cs tr&t)cs{rr a!=t.a?a<t.a:b!=t.b?b<t.b:c<t.c;}friend is&O>>(is&i,tr&t){rr i>>t.a>>t.b>>t.c;}
  bo O>(cs tr&t)cs{rr a!=t.a?a>t.a:b!=t.b?b>t.b:c>t.c;}friend os&O<<(os&o,cs tr&t){rr o<<t.a<<sp<<t.b<<sp<<t.c;}
};uu tl=tr<ll>;uu tls=v1<tl>;
I<J T>struct set:std::set<T>{set(){}set(cs v1<T>&a){fe(e,a)this->ep(e);}};
I<J T>struct uset:unordered_set<T>{uset(){}uset(cs v1<T>&a){fe(e,a)this->ep(e);}};
I<J T>struct mset:multiset<T>{mset(){}mset(cs v1<T>&a){fe(e,a)this->ep(e);}
  vo erase(cs T&x){if(this->count(x))multiset<T>::erase(this->find(x));}};
uu mp=map<ll,ll>;I<J T,J U>uu umap=unordered_map<T,U>;uu ump=umap<ll,ll>;uu sl=set<ll>;uu usl=uset<ll>;uu msl=mset<ll>;
I<J T>uu qmax=priority_queue<T>;I<J T>uu qmin=priority_queue<T,v1<T>,greater<T>>;uu dl=deque<ll>;I<J T>uu fn=function<T>;
ll oo=3e18;dd ee=1e-12,pi=acosl(-1);u1 dx{-1,0,1,0,-1,1,1,-1},dy{0,-1,0,1,-1,-1,1,1};
ul rnd(){static ul x=98,y=67,z=12,w=81;ul t=(x^(x<<11));x=y,y=z,z=w;rr(w=(w^(w>>19))^(t^(t>>8)));}
ll rnd_rng(ll r){rr rnd()%r;}ll rnd_rng(ll l,ll r){rr rnd()%(r-l)+l;}

bo odd(ll x){rr x&1;}bo eve(ll x){rr~x&1;}ll pm1(ll x){rr 1-2*(x&1);}ll pw2(ll n){rr 1LL<<n;}
ll rng1(ll l,ll r){rr pw2(r)-pw2(l);}ll rngbit(ll x,ll l,ll r){rr rng1(l,r)&x;}//[l,r)
ll ppc(ll x,ll l=0,ll r=63){rr __builtin_popcountll(rngbit(x,l,r));}
ll sqr(ll x){ll r=max(sqrtl(x)-1,dd());wh(r+1<=x/(r+1))++r;rr r;}I<J T>T sq(cs T&a){rr a*a;}I<J T>T cb(cs T&a){rr a*a*a;}
ll msb(ll x){rr x?63-__builtin_clzll(x):-1;}ll lsb(ll x){rr x?__builtin_ctzll(x):-1;}
ll l2(u128 x){x|=1;ll r=0;wh(x)x>>=1,++r;rr r;}ll l10(u128 x){x|=1;ll r=0;wh(x)x/=10,++r;rr r;}
u1 io(ll n,ll x=0){u1 a(n);fo(i,n)a[i]=i+x;rr a;}bo in(ll l,ll m,ll r){rr l<=m&&m<r;}
I<J T>ll len(cs T&a){rr a.size();}I<J T>bo mu(cs T&a){rr !len(a);}
I<J T>bo at(T S,ll i){rr S>>i&1;}I<J T>T at(cs v1<T>&v,ll i){ll n=len(v);rr v[(i%n+n)%n];}
I<J T>T flo(T x,T y){rr(y<0?flo(-x,-y):(x>=0?x/y:(x+1)/y-1));}I<J T>ll sgn(cs T&a){rr(a>ee)-(a<-ee);}
I<J T>T cei(T x,T y){rr(y<0?cei(-x,-y):(x<=0?x/y:(x-1)/y+1));}I<J T,J U>ll sgn(cs T&a,cs U&b){rr sgn(a-b);}

I<J T>au&srt(v1<T>&a){sort(all(a));rr a;}I<J T>au&rv(v1<T>&a){reverse(all(a));rr a;}
I<J T>au&rsr(v1<T>&a){srt(a),rv(a);rr a;}I<J T>au&uq(v1<T>&a){srt(a),a.erase(unique(all(a)),end(a));rr a;}
I<J T>au slice(cs v1<T>&a,ll l,ll r){rr v1<T>(begin(a)+l,begin(a)+r);}
I<J T>T rect(cs v1<T>&s,ll l,ll r){assert(0<=l&&l<=r&&r<=len(s));T t{};if(r)t+=s[r-1];if(l)t-=s[l-1];rr t;}
I<J T>decltype(au)bg(T&a){rr*begin(a);}I<J T,J U=T>vo af(v1<T>&v,U e=U{}){v.ep(begin(v),e);}
I<J T>decltype(au)rb(T&a){rr*rbegin(a);}I<J T>vo df(v1<T>&v){v.erase(begin(v));}
I<J T>T pop(v1<T>&v){T r=rb(v);v.pop_back();rr r;}
I<J T>T pop(qmax<T>&q){T r=q.top();q.pop();rr r;}I<J T>T pof(deque<T>&q){T r=bg(q);q.pop_front();rr r;}
I<J T>T pop(qmin<T>&q){T r=q.top();q.pop();rr r;}I<J T>T pob(deque<T>&q){T r=rb(q);q.pop_back();rr r;}
I<J T>au&O++(v1<T>&v,int){fe(e,v)++e;rr v;}I<J T>au&O--(v1<T>&v,int){fe(e,v)--e;rr v;}
I<J T>au&O^=(v1<T>&v,cs v1<T>u){copy(all(u),back_inserter(v));rr v;}I<J T>au O^(v1<T>v,cs v1<T>&u){rr v^=u;}
I<J T,J U>bo amax(T&a,cs U&b){rr a<b?a=b,1:0;}I<J...T>au max(T...a){rr max(initializer_list<common_type_t<T...>>{a...});}
I<J T,J U>bo amin(T&a,cs U&b){rr a>b?a=b,1:0;}I<J...T>au min(T...a){rr min(initializer_list<common_type_t<T...>>{a...});}
I<J T>T max(cs v1<T>&a){rr*max_element(all(a));}I<J T>au max(cs v2<T>&a){T r=bg(bg(a));fe(v,a)amax(r,max(v));rr r;}
I<J T>T min(cs v1<T>&a){rr*min_element(all(a));}I<J T>au min(cs v2<T>&a){T r=bg(bg(a));fe(v,a)amin(r,min(v));rr r;}
I<J T,J U>ll lbs(cs v1<T>&a,cs U&b){rr lb(all(a),b)-begin(a);}I<J T>T sum(cs v1<T>&a){rr accumulate(all(a),T{});}
I<J T,J U>ll ubs(cs v1<T>&a,cs U&b){rr ub(all(a),b)-begin(a);}I<J T>T sum(cs v2<T>&a){T r{};fe(e,a)r+=sum(e);rr r;}

struct fio{fio(){cin.tie(0);ios::sync_with_stdio(0);cout<<fixed<<setprecision(12);}}fio;
os&O<<(os&o,cs i128&x){if(x<0)rr o<<"-"<<-x;if(x<10)rr o<<(char)(x+'0');rr o<<x/10<<(char)(x%10+'0');}
os&O<<(os&o,cs u128&x){if(x<10)rr o<<(char)(x+'0');rr o<<x/10<<(char)(x%10+'0');}
I<J T,J U>os&O<<(os&o,cs pair<T,U>&p){rr o<<p.first<<sp<<p.second;}
I<J T>os&O<<(os&o,qmax<T>q){wh(len(q))o<<pop(q)<<sp;rr o;}I<J T>os&O<<(os&o,cs set<T>&v){fe(e,v)o<<e<<(&e==&rb(v)?nc:sp);rr o;}
I<J T>os&O<<(os&o,qmin<T>q){wh(len(q))o<<pop(q)<<sp;rr o;}I<J T>os&O<<(os&o,cs mset<T>&v){fe(e,v)o<<e<<(&e==&rb(v)?nc:sp);rr o;}
I<J T>os&O<<(os&o,cs v1<T>&v){fe(e,v)o<<e<<(&e==&rb(v)?nc:sp);rr o;}I<J T,J U>os&O<<(os&o,cs map<T,U>&m){fe(p,m)o<<p<<nl;rr o;}
I<J T>os&O<<(os&o,cs v2<T>&v){fe(e,v)o<<e<<(&e==&rb(v)?nc:nl);rr o;}
I<J T>is&O>>(is&i,v1<T>&v){fe(e,v)i>>e;rr i;}I<J...T>ll li(T&...a){(cin>>...>>a);rr 0;}
I<J...T>vo vi(ll i,T&...a){(cin>>...>>a[i]);}I<J T,J...A>vo vi(v1<T>&a,A&...b){fo(i,len(a))vi(i,a,b...);}
ll pp(){cout<<nl;rr 0;}I<J T,J...A>ll pp(cs T&a,cs A&...b){cout<<a;((cout<<sp<<b),...);rr pp();}

struct edg{ll t,w;edg(){}edg(ll t,ll w=1):t(t),w(w){}};uu graph=v2<edg>;
u2 tou(cs graph&g){ll n=len(g);u2 a(n);fo(u,n)fe(v,w,g[u])a[u].eb(v);rr a;}
graph tog(cs u2&a){ll n=len(a);graph g(n);fo(u,n)fe(v,a[u])g[u].eb(v);rr g;}
au mgi(u2&g,ll m){UV(m,a,b);a--,b--;fo(i,m)g[a[i]].eb(b[i]),g[b[i]].eb(a[i]);rr tuple(a,b);}
au ygi(u2&g,ll m){UV(m,a,b);a--,b--;fo(i,m)g[a[i]].eb(b[i]);rr tuple(a,b);}au ti(u2&g){rr mgi(g,len(g)-1);}

u1 en(cs str&s,cs str&b="a"){ll n=len(s);u1 r(n,-1);fo(i,n)if(len(b)==1)r[i]=s[i]-b[0];else fo(j,len(b))if(s[i]==b[j])r[i]=j;rr r;}
au de(cs u1&a,cs str&b){ll n=len(a);str r(n,'$');fo(i,n)if(len(b)==1)r[i]=a[i]+b[0];else fo(j,len(b))if(a[i]==j)r[i]=b[j];rr r;}
u2 en(cs strs&s,cs str&b="a"){u2 r;fe(e,s)r.eb(en(e,b));rr r;}
au de(cs u2&a,cs str&b){ll n=len(a);strs r(n);fo(i,n)r[i]=de(a[i],b);rr r;}
str ins(){str s;li(s);rr s;}strs inss(ll n){strs s(n);li(s);rr s;}u1 abc(){rr en(ins());}u2 abcs(ll n){rr en(inss(n));}

I<J F>struct rec:F{rec(F&&f):F(forward<F>(f)){}I<J...T>decltype(au)O()(T&&...a)cs{rr F::O()(*this,std::forward<T>(a)...);}};
I<J...A>u1 zp(A&...a){u1 v;fe(e,{a...})v^=e;uq(v);(vo)initializer_list<u1>{(vo([&](u1&a){fe(e,a)e=lbs(v,e);}(a)),u1())...};rr v;}
I<J F,J...A>u1 vs(cs F&f,A&...a){ll n;fe(e,{a...})n=len(e);u1 o=io(n);sort(all(o),f);
  (vo)initializer_list<u1>{(vo([&](u1&a){u1 c=a;fo(i,n)a[i]=c[o[i]];}(a)),u1())...};rr o;}
ll bsl(cs fn<bo(ll)>&j,ll o,ll n){wh(abs(o-n)>1)(j((o+n)/2)?o:n)=(o+n)/2;rr o;}
dd bsd(cs fn<bo(dd)>&j,dd o,dd n){fo(l2(abs(o-n)/ee))(j((o+n)/2)?o:n)=(o+n)/2;rr o;}
I<J T>au zt(v1<T>a){fo(i,1,len(a))a[i]+=a[i-1];rr a;}
au rle(cs u1&a){cls r;fe(e,a)len(r)&&e==rb(r).a?++rb(r).b,0:(r.eb(e,1),0);rr r;}
au rce(cs u1&a){cls r;ump m;fe(e,a)++m[e];fe(k,v,m)r.eb(k,v);rr srt(r);}
au pow(i128 x,u128 n,i128 m=0){i128 r=1;wh(n){if(n&1)r*=x;x*=x;if(m)r%=m,x%=m;n>>=1;}rr r;}
u1 divs(ll n){u1 r;for(ll i=1;i*i<=n;i++)if(n%i==0)r.eb(i),r.eb(n/i);rr uq(r);}
cls fact(ll n){ump m;for(ll i=2;i*i<=n;i++)wh(n%i==0)++m[i],n/=i;if(n>1)++m[n];cls r;fe(e,m)r.eb(e);rr srt(r);}

//https://nyaannyaan.github.io/library/modint/modint-montgomery64.hpp
//https://yukicoder.me/submissions/794260 (reduce)

struct montgomery64{
  uu ml=montgomery64;
  
  static u64 m;
  static u64 minv;//m^{-1}
  static u64 n2;//n=2^64,n2=n^2%m
  
  static u64 get_minv(){
    u64 r=m;
    fo(5)r*=2-m*r;//newton's method
    rr r;
  }
  
  static void set_mod(u64 m){
    assert(m<(1ULL<<63));
    assert(m&1);
    ml::m=m;
    n2=-u128(m)%m;
    minv=get_minv();
    assert(m*minv==1);
  }
  
  static u64 mod(){
    rr m;
  }
  
  u64 a;
  montgomery64(cs i64&a=0):a(reduce((u128)a*n2)){};
  
  static u64 reduce(cs u128&a){//montgomery reduction
    u128 r=(a+u128(u64(a)*-minv)*m)>>64;
    rr r>=m?r-m:r;
  }
  
  ml&O+=(cs ml&b){if((a+=b.a)>=m)a-=m;rr*this;}
  ml&O-=(cs ml&b){if(i64(a-=b.a)<0)a+=m;rr*this;}
  ml&O*=(cs ml&b){a=reduce(u128(a)*b.a);rr*this;}
  ml&O/=(cs ml&b){*this*=b.inv();rr*this;}
  
  ml O+(cs ml&b)cs{rr ml(*this)+=b;}
  ml O-(cs ml&b)cs{rr ml(*this)-=b;}
  ml O*(cs ml&b)cs{rr ml(*this)*=b;}
  ml O/(cs ml&b)cs{rr ml(*this)/=b;}
  bo O==(cs ml&b)cs{rr a==b.a;}
  bo O!=(cs ml&b)cs{rr a!=b.a;}
  ml O-()cs{rr ml()-ml(*this);}
  
  ml pow(u128 n)cs{
    ml r(1),x(*this);
    wh(n){
      if(n&1)r*=x;
      x*=x;
      n>>=1;
    }
    rr r;
  }
  
  ml inv()cs{
    rr pow(m-2);
  }
  
  u64 val()cs{
    rr reduce(a);
  }
  
  friend os&O<<(os&o,cs ml&b){
    rr o<<b.val();
  }
};
u64 montgomery64::m, montgomery64::minv, montgomery64::n2;


I<J ml>bo miller_rabin(ll n,u1 as){//n<2^{63}
  ll t=0,d=n-1;
  wh(eve(d))d>>=1;
  
  if(ml::mod()!=n)ml::set_mod(n);
  
  fe(a,as){
    if(a%n==0)continue;
    ll t=d;
    ml y=ml(a).pow(t);
    wh(t!=n-1&&y!=1&&y!=n-1)y*=y,t<<=1;
    if(y!=n-1&&eve(t))rr 0;
  }
  rr 1;
}

bo is_prime(ll n){//n<2^{63}
  if(eve(n))rr n==2;
  if(n<=1)rr 0;
  if(n<4759123141LL)rr miller_rabin<montgomery64>(n,{2,7,61});
  rr miller_rabin<montgomery64>(n,{2,325,9375,28178,450775,9780504,1795265022});
}

vo main(){ll T=1;fo(T)solve();}
vo solve(){
  LL(Q);
  fo(Q){
    LL(N);
    pp(N,is_prime(N));
  }
}}