《量子計算中可逆邏輯電路的合成》是依託電子科技大學,由楊國武擔任醒目負責人的面上項目。
基本介紹
- 中文名：量子計算中可逆邏輯電路的合成
- 依託單位：電子科技大學
- 項目類別：面上項目
- 項目負責人：楊國武
- 批准號：60773205
- 申請代碼：F0209
- 負責人職稱：教授
- 研究期限：2008-01-01 至 2010-12-31
- 支持經費：29（萬元）
項目摘要
量子信息、量子計算機是近十幾年的研究熱點。本項目研究量子計算中可逆邏輯電路的合成。主要是針對三個方面的研究：多值可逆邏輯電路和混合值可逆邏輯電路的一致性問題和合成算法；直接用基本量子門合成可逆邏輯電路；不完全詳述函式的合成。混合可逆門一致性的研究還沒有。多值和混合值可逆邏輯電路合成的研究以及不完全詳述函式的合成的研究還只是剛剛起步。但是，多值和混合值可逆門的物理實現已經給出；多值和混合值可逆邏輯在量子密碼和量子計算中有重要的套用。因此這些可逆邏輯電路的合成的研究非常重要。本項目先將可逆門，可逆邏輯電路映射為相應的排列，將可逆門一致性問題轉化為群論中生成元生成的群的問題。然後利用GAP軟體找出遞歸關係來證明可逆門的一致性。在合成算法方面，則利用GAP軟體和SAT軟體，綜合深度搜尋、廣度搜尋、啟發式搜尋、雙向搜尋、模版最佳化等算法，來研究、設計最佳化的合成算法，並實現它們。
