2014 Fiscal Year Annual Research Report
可逆論理回路合成のための新しい論理式のクラスとその最小化アルゴリズム
| Project/Area Number |
24500053
|
|---|
| Research Institution | Iwate University |
|---|
Principal Investigator |
平山 貴司 岩手大学, 工学部, 講師 (30316509)
|
|---|
| Project Period (FY) |
2012-04-01 – 2015-03-31
|
| Keywords | 可逆論理回路 / AND-EXOR論理式 |
|---|
| Outline of Annual Research Achievements |
量子コンピュータは、理論上任意の並列度で計算を行うことが可能なコンピュータであり、現在のディジタルコンピュータの延長とは本質的に異なる高い計算能力を持つ。しかしながら、量子コンピュータは、現在、基礎研究の段階であり、実現されていない。量子コンピュータの世界初の実現に向けて、国内国外を問わず、多数の研究機関が量子回路の研究でしのぎを削っている。量子回路の論理合成レベルの基本モデルは可逆論理回路であり、NOTゲート, CNOTゲート, Toffoliゲートなどの量子論理ゲートを組み合わせて構成される。効率の良い量子回路を実現するためには、なるべく量子論理ゲートの段数が少ない可逆論理回路を論理合成することが望ましい。これらのゲートの論理動作はAND演算とEXOR演算である。このため、可逆論理回路の合成を目指して、AND-EXOR論理式の積項の性質に着目した。
これまでの実験やアルゴリズムの検討に基づいて、AND-EXOR論理式と可逆論理回路との対応について理論とアルゴリズムを発展させた。その結果、規模の小さい回路については、最適性を保証することができ、最小性が保証されない場合にも、可逆論理回路のゲート数の下界が得られるようになった。
可逆論理回路の論理ゲートと、AND-EXOR論理式の積項の性質に着目し、新しい論理式のクラスを提案した。本クラスから得られる可逆論理回路は、従来のクラスよりもNOTゲートを多く使用するが、回路全体のコストは従来よりも削減された。しかし、本クラスの最小化アルゴリズムは、解の探索範囲が広く、回路の規模が大きい場合に計算時間がかかることが弱点である。これについては、探索範囲を制限する方法を繰り返し実験し、解の精度を大きく落とさずに計算時間を削減する手法を開発した。
これらの成果をまとめた論文は、学術論文誌に掲載された。また、関連成果を国内の学会にて発表した。
|
-
-
-
[Presentation] 最適あみだくじの符号化2014
Author(s)
吉田隆宏, 西谷泰昭, 平山貴司, 山中克久
Organizer
平成26年度第2回情報処理学会東北支部研究会
Place of Presentation
岩手大学工学部（岩手県）
Year and Date
2014-12-21
-
-
-
-
