結果

問題 No.981 一般冪乗根
ユーザー 37zigen37zigen
提出日時 2020-02-09 18:17:07
言語 Java21
(openjdk 21)
結果
AC  
実行時間 256 ms / 6,000 ms
コード長 2,717 bytes
コンパイル時間 2,642 ms
コンパイル使用メモリ 80,792 KB
実行使用メモリ 46,076 KB
最終ジャッジ日時 2024-04-18 03:14:02
合計ジャッジ時間 50,039 ms
ジャッジサーバーID
（参考情報） 		judge2 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 242 ms
44,696 KB
testcase_01 AC 236 ms
44,608 KB
testcase_02 AC 239 ms
44,932 KB
testcase_03 AC 230 ms
44,796 KB
testcase_04 AC 220 ms
45,220 KB
testcase_05 AC 223 ms
45,208 KB
testcase_06 AC 228 ms
44,924 KB
testcase_07 AC 222 ms
44,960 KB
testcase_08 AC 206 ms
44,604 KB
testcase_09 AC 213 ms
45,004 KB
testcase_10 AC 219 ms
44,868 KB
testcase_11 AC 229 ms
44,916 KB
testcase_12 AC 215 ms
45,124 KB
testcase_13 AC 242 ms
44,968 KB
testcase_14 AC 203 ms
44,932 KB
testcase_15 AC 212 ms
44,828 KB
testcase_16 AC 211 ms
44,412 KB
testcase_17 AC 211 ms
45,216 KB
testcase_18 AC 213 ms
44,824 KB
testcase_19 AC 207 ms
45,084 KB
testcase_20 AC 227 ms
45,184 KB
testcase_21 AC 220 ms
44,684 KB
testcase_22 AC 216 ms
45,180 KB
testcase_23 AC 217 ms
44,928 KB
testcase_24 AC 214 ms
45,080 KB
testcase_25 AC 233 ms
45,356 KB
testcase_26 AC 222 ms
45,056 KB
testcase_27 AC 207 ms
44,912 KB
testcase_28 AC 256 ms
46,076 KB
evil_60bit1.txt WA -
evil_60bit2.txt WA -
evil_60bit3.txt WA -
evil_hack AC 121 ms
41,684 KB
evil_hard_random WA -
evil_hard_safeprime.txt WA -
evil_hard_tonelli0 WA -
evil_hard_tonelli1 WA -
evil_hard_tonelli2 WA -
evil_hard_tonelli3 WA -
evil_sefeprime1.txt WA -
evil_sefeprime2.txt WA -
evil_sefeprime3.txt WA -
evil_tonelli1.txt WA -
evil_tonelli2.txt WA -
権限があれば一括ダウンロードができます

ソースコード

diff # 

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, ((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, v * pow(p, s - 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 = 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 = ans * pow(c, (j + v * x) * pow(p, i - e, mod - 1) % (mod - 1), mod) % mod;
					continue out;
				}
				target = 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 -= v * q % p;
			u %= 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 = a * a % p)
			if (n % 2 == 1)
				r = r * a % p;
		return r;
	}

	long gcd(long a, long b) {
		return a == 0 ? b : gcd(b % a, a);
	}

	static void tr(Object... objects) {
		System.out.println(Arrays.deepToString(objects));
	}

}
0