結果
問題 | No.981 一般冪乗根 |
ユーザー | 37zigen |
提出日時 | 2020-02-10 17:01:49 |
言語 | Java21 (openjdk 21) |
結果 |
AC
|
実行時間 | 613 ms / 6,000 ms |
コード長 | 3,007 bytes |
コンパイル時間 | 2,456 ms |
コンパイル使用メモリ | 79,768 KB |
実行使用メモリ | 237,476 KB |
最終ジャッジ日時 | 2024-10-09 22:21:08 |
合計ジャッジ時間 | 82,377 ms |
ジャッジサーバーID (参考情報) |
judge3 / judge1 |
(要ログイン)
テストケース
テストケース表示入力 | 結果 | 実行時間 実行使用メモリ |
---|---|---|
testcase_00 | AC | 439 ms
51,640 KB |
testcase_01 | AC | 442 ms
237,476 KB |
testcase_02 | AC | 468 ms
46,104 KB |
testcase_03 | AC | 457 ms
46,316 KB |
testcase_04 | AC | 455 ms
46,448 KB |
testcase_05 | AC | 333 ms
45,824 KB |
testcase_06 | AC | 330 ms
45,736 KB |
testcase_07 | AC | 326 ms
45,668 KB |
testcase_08 | AC | 322 ms
45,756 KB |
testcase_09 | AC | 326 ms
46,384 KB |
testcase_10 | AC | 322 ms
45,380 KB |
testcase_11 | AC | 312 ms
45,760 KB |
testcase_12 | AC | 329 ms
45,716 KB |
testcase_13 | AC | 331 ms
46,088 KB |
testcase_14 | AC | 316 ms
45,692 KB |
testcase_15 | AC | 330 ms
44,976 KB |
testcase_16 | AC | 323 ms
45,496 KB |
testcase_17 | AC | 341 ms
46,132 KB |
testcase_18 | AC | 321 ms
46,128 KB |
testcase_19 | AC | 334 ms
46,504 KB |
testcase_20 | AC | 331 ms
45,936 KB |
testcase_21 | AC | 318 ms
45,708 KB |
testcase_22 | AC | 329 ms
45,736 KB |
testcase_23 | AC | 324 ms
45,836 KB |
testcase_24 | AC | 327 ms
45,960 KB |
testcase_25 | AC | 575 ms
45,316 KB |
testcase_26 | AC | 488 ms
46,228 KB |
testcase_27 | AC | 248 ms
44,796 KB |
testcase_28 | AC | 613 ms
47,644 KB |
evil_60bit1.txt | AC | 850 ms
46,728 KB |
evil_60bit2.txt | AC | 826 ms
45,108 KB |
evil_60bit3.txt | AC | 915 ms
46,552 KB |
evil_hack | AC | 138 ms
41,176 KB |
evil_hard_random | AC | 853 ms
46,400 KB |
evil_hard_safeprime.txt | AC | 1,310 ms
46,948 KB |
evil_hard_tonelli0 | TLE | - |
evil_hard_tonelli1 | RE | - |
evil_hard_tonelli2 | RE | - |
evil_hard_tonelli3 | TLE | - |
evil_sefeprime1.txt | AC | 1,398 ms
46,796 KB |
evil_sefeprime2.txt | AC | 1,338 ms
46,520 KB |
evil_sefeprime3.txt | AC | 1,382 ms
46,760 KB |
evil_tonelli1.txt | RE | - |
evil_tonelli2.txt | RE | - |
ソースコード
import java.io.PrintWriter; import java.util.Arrays; import java.util.HashMap; import java.util.Scanner; class Main { public static void main(String[] args) throws Exception { new Main().run(); } void run() { Scanner sc = new Scanner(System.in); PrintWriter pw = new PrintWriter(System.out); int T = sc.nextInt(); for (int i = 0; i < T; ++i) { long p = sc.nextLong(); long k = sc.nextLong(); long a = sc.nextLong(); long kthroot = kth_root(a, k, p); pw.println(kthroot); } pw.close(); } long kth_root(long a, long k, long p) { long g = gcd(k, p - 1); if (pow(a, (p - 1) / g, p) != 1) return -1; a = pow(a, inv(k / g, (p - 1) / g), p); for (long div = 2; div * div <= g; ++div) { int sz = 0; while (g % div == 0) { g /= div; ++sz; } if (sz > 0) { long b = peth_root(a, div, sz, p); a = b; } } if (g > 1) a = peth_root(a, g, 1, p); return a; } long peth_root(long a, long p, int e, long mod) { long q = mod - 1; int s = 0; while (q % p == 0) { q /= p; ++s; } long pe = pow(p, e, mod); long ans = pow(a, (mul((pe - 1) , inv(q, pe) , pe) * q + 1) / pe, mod); long c = 2; while (pow(c, (mod - 1) / p, mod) == 1) ++c; c = pow(c, q, mod); HashMap<Long, Integer> map = new HashMap<>(); long add = 1; int v = (int) Math.sqrt(p) + 1; long mul = pow(c, mul(v, pow(p, s - 1, mod - 1),mod-1), mod); for (int i = 0; i <= v; ++i) { map.put(add, i); add = add * mul % mod; } mul = inv(pow(c, pow(p, s - 1, mod - 1), mod), mod); out: for (int i = e; i < s; ++i) { long err = mul(inv(pow(ans, pe, mod), mod) , a , mod); long target = pow(err, pow(p, s - 1 - i, mod - 1), mod); for (int j = 0; j <= v; ++j) { if (map.containsKey(target % mod)) { int x = map.get(target % mod); ans = mul(ans , pow(c, mul((j + v * x) , pow(p, i - e, mod - 1) , (mod - 1)), mod) , mod); continue out; } target = mul(target , mul , mod); } throw new AssertionError(); } return ans; } int cnt(long a, long base, long p) { int ret = 0; while (a != 1) { a = pow(a, base, p); ++ret; } return ret; } long inv(long a, long p) { a %= p; long u = 1, v = 0; long b = p; while (b > 0) { long q = a / b; a %= b; u -=mul(v , q , p); u = (u+p)%p; { u ^= v; v ^= u; u ^= v; a ^= b; b ^= a; a ^= b; } } return u < 0 ? u + p : u; } long pow(long a, long n, long p) { n %= p - 1; long r = 1; for (; n > 0; n >>= 1, a = mul(a , a , p)) if (n % 2 == 1) r = mul(r , a, p); return r; } long gcd(long a, long b) { return a == 0 ? b : gcd(b % a, a); } long mul(long a,long b,long p) { if(a<0||b<0)throw new AssertionError(); if(a>b)return mul(b,a,p); else if(a==0)return 0; else if(a==1)return b; else if(a%2==0)return mul(a/2,b*2%p,p)%p; else return (b+mul(a-1,b,p))%p; } static void tr(Object... objects) { System.out.println(Arrays.deepToString(objects)); } }