#P6736. 「Wdsr-2」白泽教育

    ID: 5707 远端评测题 1000~2000ms 128MiB 尝试: 0 已通过: 0 难度: 8 上传者: 标签>2020递归数论洛谷原创O2优化枚举,暴力欧拉公式块状链表,块状数组,分块

「Wdsr-2」白泽教育

Description

慧音希望琪露诺解决以下关于 xx 的方程:

anxb(modp)a \uparrow^n x \equiv b \pmod p

其中,a,n,b,pa, n, b, p 为已知的常数,xx 为未知数。

琪露诺被高德纳箭号表示法搞得云里雾里的,但是她不想被头槌。你能帮帮她吗?

Input Format

本题有多组测试数据。

第一行,一个整数 TT,表示数据组数。

对于每组数据:

一行,四个整数 a,n,b,pa, n, b, p

Output Format

对于每组数据,输出一行,一个整数,如果原方程有解,输出该方程的最小非负整数解;否则,输出 1-1

3
2 1 1 3
3 1 2 7
7 1 2 4
0
2
-1
3
2 2 4 7
3 2 4 6
5 2 1 3
2
-1
0
3
4 3 5 8
2 3 9 11
6 3 1 5
-1
3
0

Hint

本题开启捆绑测试。

Subtask nn pp TT 分值 时限
11 n=1n = 1 2p1092 \leq p \leq 10^9pp 为质数 1T1001 \leq T \leq 100 15pts15 \operatorname{pts} 2.00s2.00 \operatorname{s}
22 n=2n = 2 无特殊限制 1T5×1031 \leq T \leq 5 \times 10^3 25pts25 \operatorname{pts} 1.00s1.00 \operatorname{s}
33 n=3n = 3 无特殊限制 60pts60 \operatorname{pts} 2.00s2.00 \operatorname{s}

对于 100%100\% 的数据,1a1091 \leq a \leq 10^91n31 \leq n \leq 30b<p1090 \leq b < p \leq 10^91T2×1041 \leq T \leq 2 \times 10^4