プログラミング
Show HN: 多項式計算を2倍高速化
Show HN: Compute polynomials twice as fast (thomasahle.com)
要約
この記事は、ハッシュアルゴリズムで使用される乗算の回数を削減する方法について、著者らが長年研究してきた成果を紹介しています。完全なLean証明を経て、多項式評価をより効率的に行うための新しい方法をウェブサイトで公開し、Knuthらの既存手法と比較できるようにしています。
全文翻訳
数年前、共著者と私は、ハッシュアルゴリズムで使用される乗算の回数を減らせないかと思っていました。
私たちは構築方法と100ページにわたる証明を持っていましたが、それが正しいと100%確信しているわけではありませんでした。
今では完全なLean証明があるので、それを公開することにしました。
このウェブサイトは、多項式を評価する必要がある人が誰でも、私たちの方法や、Knuthらによる以前のアプローチのいくつかをどのように使用できるかを簡単に確認できるようにするために作成しました。