2014 年度研究成果報告書

可逆論理回路合成のための新しい論理式のクラスとその最小化アルゴリズム

研究課題

研究課題/領域番号	24500053
研究種目	基盤研究(C)
配分区分	基金
応募区分	一般
研究分野	計算機システム・ネットワーク
研究機関	岩手大学
研究代表者	平山貴司岩手大学, 工学部, 講師 (30316509)
研究協力者	村山達郎 ALI Md Belayet 菅原隼人松尾亘
研究期間 (年度)	2012-04-01 – 2015-03-31
キーワード	可逆論理回路 / AND-EXOR論理式
研究成果の概要	量子コンピュータの実現には、なるべく量子論理ゲート数が少ない可逆論理回路を論理合成することが望ましい。本研究の特色は、可逆論理回路の最小化を行うために、AND-EXOR論理式の新しいクラスAESPを提案したことである。これにより、可逆論理回路のゲート数最小化問題は、AESPの積項数最小化に帰着できるようになった。加えて、AESPの最小化アルゴリズムや可逆論理回路のゲート数の下界を提案した。本研究の成果は、量子回路の実現と、将来の量子コンピュータの実現のための基礎として貢献する。
自由記述の分野	情報工学