#P11961. [GESP202503 五级] 原根判断

[GESP202503 五级] 原根判断

题目背景

截止 2025 年 3 月,本题可能超出了 GESP 考纲范围。在该时间点下,原根是 NOI 大纲 8 级知识点(NOI 级),而相对简单的无需原根知识的做法中,使用的费马小定理与欧拉定理也属于 NOI 大纲 7 级知识点(提高级),且均未写明于 GESP 大纲中。需要注意,GESP 大纲和 NOI 大纲是不同的大纲。

若对题目中原根这一概念感兴趣,可以学习完成 【模板】原根

题目描述

小 A 知道,对于质数 pp 而言,pp 的原根 gg 是满足以下条件的正整数:

  • 1<g<p1<g<p
  • gp1modp=1g^{p-1}\bmod{p}=1
  • 对于任意 1i<p11\le i<p-1 均有 gimodp1g^i\bmod{p}\neq1

其中 amodpa\bmod{p} 表示 aa 除以 pp 的余数。

小 A 现在有一个整数 aa,请你帮他判断 aa 是不是 pp 的原根。

输入格式

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

每组测试数据包含一行,两个正整数 a,pa,p

输出格式

对于每组测试数据,输出一行,如果 aapp 的原根则输出 Yes,否则输出 No

3
3 998244353
5 998244353
7 998244353
Yes
Yes
No

提示

数据范围

对于 40%40\% 的测试点,保证 3p1033\le p\le10^3

对于所有测试点,保证 1T201\le T\le203p1093\le p\le10^91<a<p1<a<ppp 为质数。