結果
| 問題 |
No.981 一般冪乗根
|
| ユーザー |
chocorusk
|
| 提出日時 | 2020-03-27 07:18:35 |
| 言語 | C++14 (gcc 13.3.0 + boost 1.87.0) |
| 結果 |
AC
|
| 実行時間 | 10 ms / 6,000 ms |
| コード長 | 4,072 bytes |
| コンパイル時間 | 1,611 ms |
| コンパイル使用メモリ | 123,160 KB |
| 実行使用メモリ | 6,824 KB |
| 最終ジャッジ日時 | 2025-01-02 08:14:42 |
| 合計ジャッジ時間 | 62,501 ms |
|
ジャッジサーバーID (参考情報) |
judge1 / judge2 |
(要ログイン)
| ファイルパターン | 結果 |
|---|---|
| other | AC * 44 |
コンパイルメッセージ
main.cpp: In function ‘int main()’:
main.cpp:182:10: warning: ignoring return value of ‘int scanf(const char*, ...)’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
182 | scanf("%d", &t);
| ~~~~~^~~~~~~~~~
main.cpp:185:14: warning: ignoring return value of ‘int scanf(const char*, ...)’ declared with attribute ‘warn_unused_result’ [-Wunused-result]
185 | scanf("%lld %lld %lld", &p, &k, &a);
| ~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
ソースコード
#include <cstdio>
#include <cstring>
#include <iostream>
#include <string>
#include <cmath>
#include <bitset>
#include <vector>
#include <map>
#include <set>
#include <queue>
#include <deque>
#include <algorithm>
#include <complex>
#include <unordered_map>
#include <unordered_set>
#include <random>
#include <cassert>
#include <fstream>
#include <utility>
#include <functional>
#include <time.h>
#include <stack>
#include <array>
#define popcount __builtin_popcount
using namespace std;
//typedef long long int ll;
using ll=__int128_t;
typedef pair<ll, int> P;
ll gcd(ll a, ll b){
if(b==0) return a;
return gcd(b, a%b);
}
ll powmod(ll a, ll k, ll mod){
ll ap=a, ans=1;
while(k){
if(k&1){
ans*=ap;
ans%=mod;
}
ap=ap*ap;
ap%=mod;
k>>=1;
}
return ans;
}
ll inv(ll a, ll m){
ll b=m, x=1, y=0;
while(b>0){
ll t=a/b;
swap(a-=t*b, b);
swap(x-=t*y, y);
}
return (x%m+m)%m;
}
vector<P> fac(ll x){
vector<P> ret;
for(ll i=2; i*i<=x; i++){
if(x%i==0){
int e=0;
while(x%i==0){
x/=i;
e++;
}
ret.push_back({i, e});
}
}
if(x>1) ret.push_back({x, 1});
return ret;
}
mt19937_64 mt(334);
ll solve1(ll p, ll q, int e, ll a){
int s=0;
ll r=p-1, qs=1, qp=1;
while(r%q==0){
r/=q;
qs*=q;
s++;
}
for(int i=0; i<e; i++) qp*=q;
ll d=qp-inv(r%qp, qp);
ll t=(d*r+1)/qp;
ll at=powmod(a, t, p), inva=inv(a, p);
if(e>=s){
if(powmod(at, qp, p)!=a) return -1;
else return at;
}
uniform_int_distribution<long long> rnd(1, p-1);
ll rv;
while(1){
rv=powmod(rnd(mt), r, p);
if(powmod(rv, qs/q, p)!=1) break;
}
int i=0;
ll qi=1, sq=1;
while(sq*sq<q) sq++;
while(i<s-e){
ll qq=qs/qp/qi/q;
vector<P> v(sq);
ll rvi=powmod(rv, qp*qq*(p-2)%(p-1), p), rvp=powmod(rv, sq*qp*qq, p);
ll x=powmod(powmod(at, qp, p)*inva%p, qq*(p-2)%(p-1), p), y=1;
for(int j=0; j<sq; j++){
v[j]=P(x, j);
(x*=rvi)%=p;
}
sort(v.begin(), v.end());
ll z=-1;
for(int j=0; j<sq; j++){
int l=lower_bound(v.begin(), v.end(), P(y, 0))-v.begin();
if(v[l].first==y){
z=v[l].second+j*sq;
break;
}
(y*=rvp)%=p;
}
if(z==-1) return -1;
(at*=powmod(rv, z, p))%=p;
i++;
qi*=q;
rv=powmod(rv, q, p);
}
return at;
}
ll solve0(ll p, ll q, ll r, ll a){
ll d=q-inv(r%q, q);
ll t=(d*r+1)/q;
ll at=powmod(a, t, p), inva=inv(a, p);
if(powmod(at, q, p)!=a) return -1;
else return at;
}
ll solve(ll p, ll k, ll a){
if(p==2 || a==1) return 1;
ll a1=a;
ll g=gcd(p-1, k);
ll c=inv(k/g%((p-1)/g), (p-1)/g);
a=powmod(a, c, p);
if(g==1){
if(powmod(a, k, p)==a1) return a;
else return -1;
}
ll g1=gcd(g, (p-1)/g), g2=g;
vector<P> f1=fac(g1), f;
for(auto r:f1){
ll q=r.first;
int e=0;
while(g2%q==0){
g2/=q;
e++;
}
f.push_back({q, e});
}
ll ret=1, gp=1;
if(g2>1){
ll x=solve0(p, g2, (p-1)/g2, a);
if(x==-1){
return -1;
}
ret=x, gp*=g2;
}
for(auto r:f){
ll qp=1;
for(int i=0; i<r.second; i++) qp*=r.first;
ll x=solve1(p, r.first, r.second, a);
if(x==-1) return -1;
if(gp==1){
ret=x, gp*=qp;
continue;
}
ll s=inv(gp%qp, qp), t=(1-gp*s)/qp;
if(t>=0) ret=powmod(ret, t, p);
else ret=powmod(ret, p-1+t%(p-1), p);
if(s>=0) x=powmod(x, s, p);
else x=powmod(x, p-1+s%(p-1), p);
(ret*=x)%=p;
gp*=qp;
}
if(powmod(ret, k, p)!=a1) return -1;
return ret;
}
int main()
{
int t;
scanf("%d", &t);
for(int i=0; i<t; i++){
long long p, k, a;
scanf("%lld %lld %lld", &p, &k, &a);
long long ans=solve(p, k, a);
printf("%lld\n", ans);
}
return 0;
}
chocorusk