今回は、この授業の最終回でしたが、前回までに証明した「部分終結式の基本定理」を踏まえ、（拡張）Euclid 互除法による多項式剰余列計算の際に起こり得る係数膨張を抑える方法の一つとして、Collins (1967) による「縮小 PRS 算法」を紹介しました。
- George E. Collins. Subresultants and Reduced Polynomial Remainder Sequences. Journal of the ACM, Volume 14, Issue 1, 128-142, 1967. doi: 10.1145/321371.321381
縮小 PRS 算法による係数膨張の抑制の仕組みを説明した上で、数式処理システム Mathematica を用いて例題を計算し、擬剰余による PRS と縮小 PRS での係数膨張の程度を比較しました。
以上でこの授業を一通り終えました。この授業では、計算代数の基礎を取り上げ、多項式演算、アルゴリズム、計算量といった、現実の計算を考慮する上で必要な概念を説明しました。今後も皆さんの学習に役立てていただければ嬉しく思います。
なお、今回、本授業最後となるレポート課題を出題しました。それから、今回のレポート課題には、今日の授業の内容が必要ですが、今日は学会参加等で授業を欠席している人もいましたので、今回のレポート課題と授業資料を PDF ファイルにして配布します。
0 件のコメント:
コメントを投稿