1. はじめに
今後書く予定の ECPP に関する記事*1の前準備としてしたためました.
2. 理論
有限体 上で定義される楕円曲線 の Abel 群を考えます.,すなわち の -有理点の数をうまく数えるのが目標です.
Schoof のアルゴリズムは楕円曲線の位数計算アルゴリズムとしてよく使われるものになります.これは中国人剰余定理(CRT)に立脚しています.
Hasse の定理
を 上で定義された楕円曲線とすると,
この定理は何を言っているかというと, はだいたい 個くらいの点を持っており,誤差は くらいに収まる,ということです.
しかしいまは を正確に求めたいので,この定理で満足するわけにはいきません.それでも,この Hasse の定理をテコにして考える,ということが楕円曲線関連ではよく行われます.
たとえば,Legendre の記号を使って考えると,
であり,
が成り立ちます.そしてこのような総和は平方剰余の相互法則を使ってうまく計算できます.これは位数計算アルゴリズムとしてはもっとも簡単なものです.
もう一つ用語を導入しておきましょう.
Frobenius 写像
を Frobenius 写像と呼ぶ.Frobenius 写像のトレースを によって定める.
この辺の議論も面白いんですがここに書くと脱線するので気になる人は AEC とかを読んでください.
Schoof のアルゴリズムのアイデアは小さな に対して を計算し,CRT と Euclid の互除法から を復元することにあります.どのくらいの について見ればいいかというと,
を満たすような最小の まででよく,このとき用意すべき素数の個数は,素数定理より くらいで与えられます.
を計算するさいのこまごまとしたテクニックにはここでは触れません.実装もやりません.
Schoof のアルゴリズムのすごい点は,これが初の多項式時間位数計算アルゴリズムであることです.時間計算量は だそうです.現在では を Elkies 素数と Atkins 素数に分類することで高速化を図った Schoof-Elkies-Atkin 法が使われます.
*1:書かないかもしれません.