sqrt_mod
関数 · 素数法上で x の平方根を 1 つ返す
template <internal::modint mint>
std::optional<mint> sqrt_mod(mint x);
概要
素数法上で x の平方根を 1 つ返す
戻り値
平方根が存在しなければ std::nullopt
計算量
- 法を $P$ として $O(\log^2 P)$
関連項目
kth_root_mod— $K$ 乗根 $\bmod P$（$P$ は素数）を 1 つ求める
関数 · 素数法上で x の平方根を 1 つ返す
template <internal::modint mint>
std::optional<mint> sqrt_mod(mint x);
素数法上で x の平方根を 1 つ返す
平方根が存在しなければ std::nullopt
kth_root_mod — $K$ 乗根 $\bmod P$（$P$ は素数）を 1 つ求める