[論文レビュー] BSSSN: Bit String Swapping Sorting Network for Reversible Logic Synthesis

Md. Saiful Islam|arXiv (Cornell University)|Aug 27, 2010

Quantum Computing Algorithms and Architecture参考文献 11被引用数 6

ひとこと要約

この論文では、ゲート数を最小限に抑えるためにビットストリングスワップを利用する、可逆論理合成のためのソーティングネットワークBSSSNを提案する。ソーティングプロセスをトフォリゲート操作の系列としてモデル化し、無駄なゲートを排除することで、O(n²)のゲート複雑度を達成する。さらに、テンプレート最適化およびゲート削除技術を用いることで、さらなる削減が可能である。

ABSTRACT

In this paper, we have introduced the notion of UselessGate and ReverseOperation. We have also given an algorithm to implement a sorting network for reversible logic synthesis based on swapping bit strings. The network is constructed in terms of n*n Toffoli Gates read from left to right and it has shown that there will be no more gates than the number of swappings the algorithm requires. The gate complexity of the network is O(n2). The number of gates in the network can be further reduced by template reduction technique and removing UselessGate from the network.

研究の動機と目的

• 量子計算および低消費電力計算のための効率的な可逆論理回路におけるゲート数の最小化という課題に対処する。
• 複雑性を低減するため、ビットストリングスワップを用いたソーティングネットワークを体系的に構築するアプローチを開発する。
• ゲートレベルの最適化を簡素化するための「UselessGate」と「ReverseOperation」の概念を導入する。
• 必要なビットスワップの数と等しくなるようにトフォリゲートの数を保証することで、最適なゲート数を達成する。
• テンプレート削減および冗長なゲート除去を用いて、実用的な可逆回路の合成を可能にする。

提案手法

• nビット入力間のビットストリングスワップを用いて、左から右へのトフォリゲートネットワークとしてソーティングプロセスをモデル化する。
• 各スワップ操作が1つ以上のトフォリゲートに対応するようにネットワークを構築し、正しくかつ可逆的であることを保証する。
• 出力状態に影響を与えないゲートを「UselessGate」と定義し、最適化段階で検出および削除可能にする。
• 互いにキャンセルし合う冗長なゲートペアを特定・削除するため、「ReverseOperation」を導入する。
• さらにゲート数を削減するため、テンプレート削減技術を適用する。
• 系統的な pruning を通じて、最終的なネットワークが可逆性を維持しつつ、O(n²)のゲート数にまで削減されるように保証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにしてビットストリングスワップを用いた可逆論理のための効率的なソーティングネットワークを合成できるか？
• RQ2 可逆回路においてゲートが「不要」とされる基準は何か？ また、そのようなゲートはどのようにして検出され、削除されるか？
• RQ3 キャンセルし合う冗長なゲートペアを体系的に特定・削除することで、機能に影響を与えずにゲート数を削減できるか？
• RQ4 テンプレート削減および不要ゲート削除は、ソーティングネットワーク全体のゲート複雑度をどの程度まで低減できるか？
• RQ5 ビットストリングスワップを用いて構築されたソーティングネットワークの理論的ゲート複雑度は何か？ また、O(n²)未満に最適化可能か？

主な発見

• 提案されたBSSSNネットワークは、必要なビットストリングスワップの数に比例してO(n²)のゲート複雑度を達成する。
• ネットワーク内のトフォリゲートの数は、実行されたスワップの数と正確に一致しており、最小限のゲート数を保証している。
• 出力に影響を与えない「不要ゲート」は、検出および削除可能であり、機能に影響を与えずに回路サイズを縮小できる。
• 互いにキャンセルし合う「逆操作」は、検出および削除可能であり、さらにゲート数を削減できる。
• テンプレート削減技術は、特に大きなネットワークにおいて、ゲート数を顕著に削減し、全体の効率性を向上させる。
• 本手法により、量子計算および低消費電力応用に適した、リソースのオーバーヘッドが低い実用的な可逆回路の合成が可能になる。