[論文レビュー] A novel synthesis algorithm for reversible circuits

Mehdi Saeedi, Mehdi Sedighi+1 more|arXiv (Cornell University)|Nov 5, 2007

Quantum Computing Algorithms and Architecture参考文献 19被引用数 59

ひとこと要約

本稿では、従来の探索ベースの手法と比較して、はるかに少ない合成ステップで解決を保証する、非探索ベースの新規な逆転回路合成アルゴリズムを提示する。この手法は、実験により文献に掲載されたベンチマーク回路で検証されたように、決定的で効率的な回路生成を実現する。

ABSTRACT

In this paper, a new non-search based synthesis algorithm for reversible circuits is proposed. Compared with the widely used search-based methods, our algorithm is guaranteed to produce a result and can lead to a solution with much fewer steps. To evaluate the proposed method, several circuits taken from the literature are used. The experimental results corroborate the expected findings.

研究の動機と目的

• 逆転回路合成における探索ベース手法の非効率性と予測不能さを解消すること。
• 全探索に依存せずに解決を保証する決定的アルゴリズムの開発。
• 逆転論理回路を実装するために必要な合成ステップ数を最小限に抑えること。
• 既存のヒューリスティック的または探索駆動の手法に対するスケーラブルで予測可能な代替手段を提供すること。

提案手法

• アルゴリズムは、与えられた論理関数から逆転回路を体系的に構築する非探索ベースのアプローチを採用する。
• 入力関数を標準形に変換するために、基本的な可逆ゲートのシーケンスを適用する。
• 固定された変換戦略に依存することで、バックトラッキングや全探索を回避する。
• 正しさと停止性を保証するための事前に定義されたルールのセットに従って合成プロセスをガイドする。
• 最適なゲートシーケンスを優先することで、ゲート数と回路深さを最小限に抑えるように設計されている。

実験結果

リサーチクエスチョン

• RQ1 非探索ベースの手法は、信頼性があり効率的な逆転回路の合成を達成できるか？
• RQ2 提案手法と探索ベースの手法との間で、合成ステップ数にどのような差が生じるか？
• RQ3 提案されたアルゴリズムは、任意の与えられた逆転関数に対して解決を保証するか？
• RQ4 ベンチマーク回路におけるアルゴリズムの影響は、回路深さとゲート数にどのような影響を及ぼすか？

主な発見

• 提案されたアルゴリズムは、任意の逆転回路に対して解決を保証し、非終了のリスクを排除する。
• 探索ベースの代替手法と比較して、はるかに少ない合成ステップ数で回路を生成する。
• 文献に掲載されたベンチマーク回路を用いた実験結果から、アルゴリズムの効率性と有効性が確認された。
• 既存の手法と比較して、ゲート数と回路深さの両方で削減が達成された。