[論文レビュー] Addition Chains Meet Postage Stamps: Reducing the Number of Multiplications

Jukka Kohonen, Jukka Corander|arXiv (Cornell University)|Oct 26, 2013

Logic, programming, and type systems参考文献 4被引用数 3

ひとこと要約

この論文は、繰り返し関数の適用を計算する際に必要な乗算回数を削減するため、加法的チェーンであり、かつ加法的2ベース（ステムベース）である「ステムチェーン」を導入する。ゼロコスト関数 $ u $ と $ v $ を活用することで、$ i=1,\ldots,n $ の各 $ u(x^i) $ を $ n-1 $ 回未満の乗算で計算可能となり、行列乗算や部分集合畳み込みなどの応用で顕著な高速化が達成される。特に $ n=20 $ の場合、66%の削減が実証された。

ABSTRACT

We introduce stamp chains. A stamp chain is a finite integer sequence that is both an addition chain and an additive 2-basis, i.e., a solution to the postage stamp problem. We provide a simple method for converting known postage stamp solutions of length k into stamp chains of length k+1. Using stamp chains, we construct an algorithm that computes u(x^i) for i=1,...,n in less than n-1 multiplications, if u is a function that can be computed at zero cost, and if there exists another zero-cost function v such that v(a,b) = u(ab). This can substantially reduce the computational cost of repeated multiplication, as illustrated by application examples related to matrix multiplication and data clustering using subset convolution. In addition, we report the extremal postage stamp solutions of length k=24.

研究の動機と目的

• 中間の累乗を必要としない場合でも、$ u(x^i) $（$ i=1,\ldots,n $）を計算する際に $ n-1 $ 回の乗算が行われる計算上の非効率性を是正すること。
• 加法的チェーンと切手問題の間の構造的関係を特定・活用し、必要な乗算回数を最小限に抑えること。
• ゼロコスト合成関数 $ v(a,b) = u(ab) $ を用いて関数評価を再利用することで、$ y_i = u(x^i) $ を $ n-1 $ 回未満の乗算で計算するアルゴリズムを開発すること。
• 既知の極値ステムベースから効率的なステムチェーンを構築し、実応用における最小乗算シーケンスを実現すること。
• 行列の累乗計算やベイズ的クラスタリングにおける部分集合畳み込みなど、特定の関数値のみが必要となる問題に適用可能なフレームワークを提供すること。

提案手法

• ステムチェーンを、各要素が以前の2つの要素の和である加法的チェーンであり、かつ1から $ n $ までのすべての整数を最大2つの要素の和で生成可能なステムベースである集合として定義する。
• アルゴリズムAを提案し、$ n $ の範囲を満たす長さ $ k $ のステムチェーンを用いることで、$ k-1 $ 回の乗算のみで $ y_1, \ldots, y_n $ を計算する。これは特定の累乗のみを計算し、それらを $ v $ を用いて合成することで実現される。
• 関数 $ u $ と $ v(ab) = u(ab) $ が無視できるコストで計算可能であるという事実を活用し、合成指数の $ u(x^i) $ を計算する際の完全な乗算を回避する。
• 定理1を用いて、既知の適切な長さ $ k $ のステムベースを、長さ $ k+1 $ のステムチェーンに変換する。
• ベイズ的クラスタリングにおける部分集合畳み込みにこの手法を適用し、各関数テーブルの最終要素のみが必要であるため、$ v $ を用いることで完全な畳み込みを実行せずとも高速に評価可能である。
• 既知の極値ステムベース（例：$ k=24 $）を用いて、最小長のステムチェーンを生成し、実用的な計算コストの低減を実現する。

実験結果

リサーチクエスチョン

• RQ1 関数 $ u $ と $ v(ab) = u(ab) $ が無視できるコストで計算可能である場合、$ i=1,\ldots,n $ の $ u(x^i) $ を計算する際に、乗算回数をどのように削減できるか？
• RQ2 加法的チェーンと切手問題を結びつける構造的性質は何か？ これにより、最小乗算シーケンスがどのように実現されるか？
• RQ3 既知の切手問題の解法を、関数計算に効率的な加法的チェーンに体系的に変換できるか？
• RQ4 実世界の応用において、ステムチェーンの使用は標準的な繰り返し乗算と比較して、どの程度の計算コスト削減をもたらすか？
• RQ5 中程度の $ k $（例：$ k=24 $）における極値ステムベースおよびステムチェーンは何か？ これらはどのように最適な性能を実現するか？

主な発見

• $ n=20 $ の場合、極値ステムチェーン $ \{1,2,3,6,9,10,11\} $ を用いることで、部分集合畳み込みの回数が19回から6回に削減され、計算時間は約2/3に短縮された。
• 乗算回数は $ n-1 $ から、$ n $ の範囲を満たすステムチェーンの長さ $ k $ に対する $ k-1 $ に削減され、$ k \ll n $ の場合に顕著なコスト削減が達成される。
• 長さ $ k=24 $ の極値ステムチェーンを構築し、$ \overline{n}(24) \geq 22 $ の範囲を達成した。これは高効率なチェーンの実現可能性を示した。
• $ k \leq 82 $ および $ n \leq 2100 $ の範囲で既知の極値ステムベースは、定理1を用いて適切なステムチェーンに変換可能であり、スケーラブルな応用が可能である。
• ベイズ的クラスタリングにおける部分集合畳み込みへの応用では、完全な畳み込みを一部のみ実行し、残りは $ v $ を用いることで、時間計算量を $ O(n \cdot 3^N) $ から $ O(k \cdot 3^N) $ に削減でき、$ k \ll n $ の場合に顕著な高速化が得られた。