離散対数問題とは 整数 に対して, を満たす最小の非負整数 を求める問題です. 例えば のとき, より が解となります. Baby-step Giant-stepアルゴリズム 底 と mod が互いに素なときに使える離散対数問題の 解法です. とします. とおくと, となります. したが…