|
より難しい問題を解くには，より多くの計算時間や記憶領域が必要になることは直感的に明らかである．計算時間や記憶領域などの計算資源をどのくらい使用すれば，どの程度の難度の問題が解けるのかを理論的に解明するのが，計算量クラスの階層性の研究である．本研究では，非決定性回路族の深さと非決定性ゲート数の関係について調べた．その結果，ゲート数がｎの多項式，深さがlogｎの多項式の任意の非決定性回路族は，非決定性ゲート数を多項式の範囲で増やすことで，深さをO(log n)まで小さくできることを証明した．また，いくつかの組合せ問題のNP完全性・PSPACE完全性を証明した．
|
