研究課題/領域番号 |
23K11027
|
研究種目 |
基盤研究(C)
|
配分区分 | 基金 |
応募区分 | 一般 |
審査区分 |
小区分60040:計算機システム関連
|
研究機関 | 岩手大学 |
研究代表者 |
平山 貴司 岩手大学, 理工学部, 准教授 (30316509)
|
研究分担者 |
山中 克久 岩手大学, 理工学部, 教授 (60508836)
|
研究期間 (年度) |
2023-04-01 – 2028-03-31
|
研究課題ステータス |
交付 (2023年度)
|
配分額 *注記 |
3,900千円 (直接経費: 3,000千円、間接経費: 900千円)
2027年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2026年度: 650千円 (直接経費: 500千円、間接経費: 150千円)
2025年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
2024年度: 1,040千円 (直接経費: 800千円、間接経費: 240千円)
2023年度: 780千円 (直接経費: 600千円、間接経費: 180千円)
|
キーワード | 可逆論理回路 / トフォリゲート / 下界 / 最小化アルゴリズム / 量子コンピュータ |
研究開始時の研究の概要 |
量子コンピュータが将来の情報処理技術として期待されている。現在、実現の前段階として情報工学分野では、量子コンピュータの構成要素となる可逆論理回路の研究が盛んに行われている。 本研究は、AND-EXOR論理式(排他的論理和形)の性質を用いて、可逆論理回路合成におけるゲート数最小化の理論的限界を解明しようとするものである。これは、可逆論理回路のゲート数の下界が、AND-EXOR論理式の積項数から計算できるという性質の応用である。本研究では、可逆論理回路とAND-EXOR論理式を比較し、ゲートの特性と論理式の積項数の関連を見い出し、下界の提案と改善を行う。合わせて、下界の応用についても研究する。
|