合同算術において、バレットの還元アルゴリズムは P.D. バレットによって 1986 年に開発されたアルゴリズムである。[1]以下の式を計算することを考える。
![{\displaystyle c=a\,{\bmod {\,}}n\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/503c8ba05db125f22fd715d5153961ace5913121)
愚直な方法は、高速な除算アルゴリズムを使用する方法である。バレットの還元アルゴリズムは、除算を乗算に置き換えることにより、
が定数で
であるときにこの計算を高速化する。
の浮動小数点数としての逆数を
とおくと、
を床関数として
![{\displaystyle a\,{\bmod {\,}}n=a-\lfloor as\rfloor n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c6b12603f87ef58c93c749a75483dc0455735556)
となる。
が十分な精度で計算される限り、これは誤差なく成り立つ。
1ワード版のバレットの還元アルゴリズム[編集]
バレットが最初に考案したのは、上記のアルゴリズムの整数版であり、特に値がマシンのワードに収まる場合に適用できる。
上記の方法で
を整数の範囲内で計算する場合、自明に対応するのは
による除算を用いる方法である。
func reduce(a uint) uint {
q := a / n // 小数部分は暗黙に切り捨てられる
return a - q * n
}
しかし、除算の計算には時間がかかり、CPUによっては定数時間で完了しない命令が使用されうる。そこで、バレットの方法では
による除算なら低コストな右シフトとして実現できることに注目し、
を
で近似する。
が与えられたとき、最良の
を見つけるために以下の式を考える。
![{\displaystyle {\frac {m}{2^{k}}}={\frac {1}{n}}\;\Longleftrightarrow \;m={\frac {2^{k}}{n}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14d9b84af65b8907ad0857b41691e2dc32460340)
を整数にするために、
をどうにか整数に丸める必要がある。最も近い整数に丸めるのが最適だが、
が
より大きくなるとアンダーフローを生じうるため、一般には
を用いる。
すると、前述の関数は以下のように書き換えられる。
func reduce(a uint) uint {
q := (a * m) >> k // ">> k" は k ビットの右シフト
return a - q * n
}
ここで、
なので、この関数における q
は小さめに評価される。これによりa
は
に必ずしも収まらず、
の値を取りうる。そのため、値が
を超えた場合は
を引くことによってこれを補正する。
func reduce(a uint) uint {
q := (a * m) >> k
a -= q * n
if n <= a {
a -= n
}
return a
}
は近似にすぎないので、近似が正当となる
の範囲を考える必要がある。
の近似誤差は
![{\displaystyle e={\frac {1}{n}}-{\frac {m}{2^{k}}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/0d76c9283b7f6f98e080e1d423c2538f4090e2b9)
なので、q
の誤差は
である。
、すなわち
である限り、この還元は正当である。
である場合も必ずしもこの関数が誤った値を返すわけではないが、
を先述の範囲内に収めることで一般の場合においての正当性を保証できる。
を大きく取ると、還元が正当となる
の範囲は広がる一方、他の計算においてオーバーフローを生じる可能性がある。
16 ビット整数のシステム上で
としたときを考える。
アルゴリズムが意味をなすためには、少なくとも
は
以上である必要がある。さもなくば、剰余を必要としない小さい値に対してしか還元が正しく動作しなくなってしまう。
のときは、
であり、
のときは
である。後者においては
を
で近似することになるので、前者における
による近似と全く等価になる。
とすれば
となり、よりよい近似を得る。
と
において、アルゴリズムが正しい値を与える入力の範囲を考える。前者においては、
なので、
すなわち
である。
は整数なので、実質的な上限は 478 である。(実際は 504 まで正しく動く。)
においては、
なので
の実質的な上限は 7387 である。(実際は 7473 まで正しく動く。)
近似がより良くなる次の
は 13 であり、
を与える。もっとも、計算途中に現れる
が
でオーバーフローすることに注意すれば、この問題設定では
とした方が良い。
特定の k に対する証明[編集]
なる最小の整数
をとり、
を
とすると、これは上記の式で説明した「意味をなす」
である。前述のコードに対応して次の値を定義する。
![{\displaystyle q=\left\lfloor {\frac {ma}{2^{k}}}\right\rfloor }](https://wikimedia.org/api/rest_v1/media/math/render/svg/32c3b1e0c074fe6274b12f5766feb3314ded5b79)
.
床関数の定義から、
は整数で、
である。また、
なら
となる。このとき、前述のコードを数式で表すと
![{\displaystyle a\,{\bmod {\,}}n={\begin{cases}r&{\text{if }}r<n\\r-n&{\text{otherwise}}\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/184558b4e4d806ebdd0523f088c5b30db0744c40)
このとき、
であることが以下のように示せる。
なら
![{\displaystyle {\frac {a}{2^{k}}}\cdot (2^{k}\mod n)<n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/679091703904c5361686e2d2996b3871f5ab4497)
である。
が
にかかわらず成立するので、以下の式変形を得る。
![{\displaystyle {\frac {a\cdot (2^{k}\mod n)}{2^{k}}}+n\cdot {\frac {ma\mod 2^{k}}{2^{k}}}<2n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29b879c0916b77190c3110ecb3aaadf6d5c89ddf)
![{\displaystyle a-\left(a-{\frac {a\cdot (2^{k}\mod n)}{2^{k}}}\right)+{\frac {n\cdot (ma\mod 2^{k})}{2^{k}}}<2n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc7d0caecacc21322e80d847ac9d498320ee6fa6)
![{\displaystyle a-{\frac {a}{2^{k}}}\cdot \left(2^{k}-(2^{k}\mod n)\right)+{\frac {n\cdot (ma\mod 2^{k})}{2^{k}}}<2n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/abea91c08c1b9ed1fe85a7e8405c953a3e7ba726)
![{\displaystyle a-{\frac {na}{2^{k}}}\cdot \left({\frac {2^{k}-(2^{k}\mod n)}{n}}\right)+{\frac {n\cdot (ma\mod 2^{k})}{2^{k}}}<2n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/817aa57e7247699bb68a09cb25d0fe7c8e6c0f13)
![{\displaystyle a-{\frac {na}{2^{k}}}\cdot \left\lfloor {\frac {2^{k}}{n}}\right\rfloor \ +{\frac {n\cdot (ma\mod 2^{k})}{2^{k}}}<2n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8246aa567072e8c815b4c201212dacdcfedaac40)
![{\displaystyle a-{\frac {nma}{2^{k}}}+{\frac {n\cdot (ma\mod 2^{k})}{2^{k}}}<2n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d524103030be00ccda006e94559ab8e524b67c49)
![{\displaystyle a-\left({\frac {ma-(ma\mod 2^{k})}{2^{k}}}\right)\cdot n<2n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/32bd3814baca4889b404f7da728e5ecccace2382)
![{\displaystyle a-\left\lfloor {\frac {ma}{2^{k}}}\right\rfloor \cdot n<2n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ea08d9acdc32ce4ed21d7da19c1ec9b71ee0ade6)
![{\displaystyle a-qn<2n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f70da4f09fdd1d89bb5d099917fc09fd7651c61)
![{\displaystyle r<2n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bd1365ae5c33ff5360de3c978e7f939dd4173700)
マルチワード版のバレットの還元アルゴリズム[編集]
バレットはこのアルゴリズムをRSA暗号の実装のために考案した。しかし、RSA暗号においては入力値は基本的にワードサイズを超える。そのためバレットは上記のアルゴリズムのマルチワード版も与えた。詳細については Handbook of Applied Cryptography を参照のこと。[2]
多項式に対するバレットのアルゴリズム[編集]
バレットのアルゴリズムは多項式除算に対しても適用できる。これは、多項式を反転して X 進数を用いることで計算される。[3]
関連項目[編集]
参考文献[編集]