[論文レビュー] Efficient Algorithms for Zeckendorf Arithmetic

Connor Ahlbach, Jeremy Usatine+1 more|arXiv (Cornell University)|Jul 18, 2012

Numerical Methods and Algorithms参考文献 14被引用数 5

ひとこと要約

本稿では、ゼッケンドルフ算術の線形時間アルゴリズムを提示する。ゼッケンドルフ形式（非連続なフィボナッチ数の和として一意に表される整数）で表現された整数の加算および減算は、O(n)サイズおよびO(log n)深さの組み合わせ論理ネットワークを用いて実行可能である。主な貢献は、無効な桁（2と連続する1）を除去するためのスライディングウィンドウを用いた3パス法であり、最適なリソースバウンドを満たす並列および逐次計算を可能にする。

ABSTRACT

We study the problem of addition and subtraction using the Zeckendorf representation of integers. We show that both operations can be performed in linear time; in fact they can be performed by combinational logic networks with linear size and logarithmic depth. The implications of these results for multiplication, division and square-root extraction are also discussed.

研究の動機と目的

• ゼッケンドルフ形式で表現された整数に対する算術演算（特に加算および減算）の効率的アルゴリズムの開発。
• サイズ（論理ゲート数）および深さ（最長パス）の観点から、これらの演算の計算量の複雑性を分析し、最適なバウンドを達成すること。
• ゼッケンドルフ表現と2進表現の間の変換を活用することで、乗算、除算、平方根抽出への拡張。
• これらの演算が、近似的に最適なリソース使用量を持つ組み合わせ論理ネットワークに実装可能であることを示すこと。これは、サイズおよび深さの理論的下界と一致する。

提案手法

• 加算アルゴリズムは3パス方式を採用する：左から右へのパスで4桁のスライディングウィンドウを用いて2を除去し、右から左へのパスで連続する1を解消し、最終的にクリーニングを行う。
• ウィンドウルールは、020x → 100x′および030x → 110x′のような構成を変換し、値を保存したままキャリーを伝搬させ、2および3を除去する。
• 減算のためには、まず左から右へのスキャンにより、絶対値が大きい方の符号を特定し、その後、絶対値に対して同じ加算アルゴリズムを適用する。
• 乗算、除算、平方根抽出は、ゼッケンドルフから2進に変換し、既知の効率的2進アルゴリズムを適用し、再びゼッケンドルフ表現に変換することで実装する。
• 2進からゼッケンドルフへの変換には、ゼッケンドルフ加算器の木構造を用い、各加算器は線形時間加算アルゴリズムに基づく。これにより、O(n²)サイズおよびO((log n)²)深さを達成する。
• ゼッケンドルフから2進への変換にはキャリーセーブアダーを用い、O(n²)サイズおよびO(log n)深さを実現する。これは、全演算の全体的な複雑性を支配する。

実験結果

リサーチクエスチョン

• RQ1 組み合わせ論理ネットワークを用いて、サイズと深さが最適なO(n)で、ゼッケンドルフ表現における加算を線形時間で行うことは可能か？
• RQ2 符号付き整数に対して、ゼッケンドルフ表現における減算を効率的に実装する方法は何か？特に、符号の決定方法について。
• RQ3 直接的にゼッケンドルフ表現で乗算、除算、平方根抽出を行う場合の計算量の複雑性は何か？
• RQ4 リソース使用量が有界であるように、2進表現とゼッケンドルフ表現の間の効率的変換を達成できるか？これにより、高レベルの算術演算が可能になる。

主な発見

• 2つのn桁のゼッケンドルフ表現の加算は、O(n)時間で、サイズO(n)、深さO(log n)の組み合わせ論理ネットワークを用いて実行可能である。
• 符号付き整数の減算に対しても同様のバウンドが成立し、符号は入力列における最初の非ゼロ桁をスキャンすることで特定される。
• 乗算、除算、平方根抽出は、O(n²)サイズおよびO((log n)²)深さの組み合わせ論理ネットワークで実装可能であり、2進への変換と逆変換をコアコンponentsとして用いる。
• 2進からゼッケンドルフへの変換ステップがリソース使用量を支配し、O(n²)サイズおよびO((log n)²)深さを要する。一方、ゼッケンドルフから2進への変換はO(n²)サイズおよびO(log n)深さを要する。
• 提案されたアルゴリズムは、すべての入力桁に依存する任意の関数に対して、サイズおよび深さの観点で最適な漸近的バウンドを達成しており、理論的下界と一致する。