数理科学IIB（第9回）

今回から、有限体上の1変数多項式のもう一つのアルゴリズムである　Cantor-Zassenhaus アルゴリズムの紹介に入りました。このアルゴリズムは、「因子次数分離分解」 (Distinct Degree Factorization, DDF) と「同次因子分離分解」 (Equal Degree Factorization, EDF) から構成されています。

今回は、最初の段階のDDFについて解説し、EDFの概要を述べました。次回はEDFの詳細について説明する予定です。