rt，由于本人学艺不精，对于 exgcd 理解不透彻，有如下几个问题。

下令 $a$ 是被求逆的数，$p$ 是模数。

1. 若 $\gcd(a, p)\neq 1$，怎么办？是没有逆元还是怎么样？
2. 若 $a\geq p$，怎么办？是正常求逆还是有其它办法？
3. exgcd 求逆是 $\log$ 级的吗？
4. 如何判断哪些数在模 $p$ 的意义下有逆元？