[論文レビュー] A Representation of Binary Matrices

Hristina Kostadinova, Krasimir Yordzhev|arXiv (Cornell University)|Jan 6, 2012

Matrix Theory and Algorithms参考文献 4被引用数 4

ひとこと要約

この論文では、ビット単位の演算を活用してメモリ使用量と計算効率を最適化する、C++ベースのオブジェクト指向的二値行列表現を提案している。各行を1つの整数として保存し、ビット単位の演算（AND、OR、NOT、XOR）を適用することで、メモリ使用量をO(n²)からO(n)に削減し、行列乗算などの演算をO(n³)からO(n²)に高速化し、従来の2次元配列実装よりも顕著に性能向上を実現している。

ABSTRACT

In this article we discuss the presentation of a random binary matrix using sequence of whole nonnegative numbers. We examine some advantages and disadvantages of this presentation as an alternative of the standard presentation using two-dimensional array. It is shown that the presentation of binary matrices using ordered n-tuples of natural numbers makes the algorithms faster and saves a lot of memory. In this work we use object-oriented programming using the syntax and the semantic of C++ programming language.

研究の動機と目的

• 標準の2次元配列による二値行列表現の代替として、よりメモリ効率的かつ高速な手法の開発。
• オブジェクト指向的C++プログラミングにおける整数の順序付きn-タプルとビット演算の利点の提示。
• n-タプル表現と従来の2次元配列アプローチとの間での性能とメモリ使用量の比較。
• コンピュータ代数の授業における効率的なビット演算アルゴリズム設計の実用的例の提供。

提案手法

• n×nの二値行列の各行を、[0, 2ⁿ−1]の範囲にある1つの符号なし整数として表現し、2進数表現の性質を活用する。
• C++のビット演算子（&、|、~、^）を用いて、行列演算（AND、OR、NOT、転置、論理積）を効率的に実装する。
• C++のオブジェクト指向プログラミングの原則を活用し、クラス（Bn_tuple）内に行列データと演算をカプセル化することで、型安全性とモジュラリティを確保する。
• 行列乗算を最適化するため、転置された行同士のビット単位ANDを逐次計算することで、演算回数を削減する。
• 標準C++の意味論に準拠するため、比較演算子と代入演算子をビット演算および算術演算を用いて定義する。
• 標準C++演算セット（Op）の演算回数に基づいて、アルゴリズムの計算量を評価する。ただし、各演算は定数時間で実行可能と仮定する。

実験結果

リサーチクエスチョン

• RQ1 ビット演算を用いたn-タプル表現による二値行列の表現は、2次元配列と比較してメモリ使用量を削減できるか？
• RQ2 AND、OR、NOT、転置、乗算などのビット演算ベースの二値行列演算の実装は、従来の配列ベースのアルゴリズムよりも高速に実行できるか？
• RQ3 n-タプル表現と2次元配列表現を用いた場合の行列演算の漸近的時間計算量はそれぞれどのように異なるか？
• RQ4 Bn_tupleクラスとBn_arrayクラスの間で、初期化コストとメモリフットプリントはどのように比較できるか？
• RQ5 コンピュータ代数分野における二値行列処理に、ビット演算を用いることでどの程度の性能向上が達成できるか？

主な発見

• Bn_tuple表現により、メモリ使用量がO(n²)からO(n)の整数に削減され、顕著にメモリフットプリントが減少した。
• 成分ごとのAND、OR、代入などの行列演算は、O(n²)からO(n)の演算回数に削減され、処理速度が向上した。
• Bn_tupleにおける行列転置および否定演算はO(n²)の演算を要するが、これは配列バージョンと同等の計算量であり、メモリ局所性が優れている。
• Bn_tupleにおける行列乗算はO(n²)の演算に最適化されたのに対し、配列ベースのアプローチではO(n³)であったため、顕著な性能向上が得られた。
• Bn_tupleオブジェクトの初期化にはO(n)の演算で十分であり、Bn_arrayと比較してO(n²)の演算を要するため、さらに効率的である。
• 理論的解析により、Bn_tupleベースのアルゴリズムはBn_arrayのそれよりも漸近的に高速かつメモリ効率的であることが確認された。