量子計算量の下界の評価手法

摘要

論理回路による計算のモデル化は，すべての計算の基礎であり，量子計算においても，重要な位置 を占める．したがって，量子回路上で論理関数を計算する方法や，その最小化，簡単化について研究することは， 大変重要となる．本論文では，量子論理回路の深さ最小化問題を明確に定式化し，この問題が量子論理回路サイ ズの下界導出への幾何学的アプローチと密接な関係があることを示す．