|
物理的にメモリ領域の制限された小型携帯端末上で、大容量のデータ処理を実行するアプリケーションなどの開発には、これまでとは本質的に異なるアルゴリズム設計の技術が求められる。メモリ領域制限が様々な計算機モデル上のアルゴリズム設計にどのような影響を与えるのかを明らかにした。特に、非決定性計算量クラスNLの弱線形領域計算の限界を示す線形領域仮説を提唱し、この仮説からの自然な帰結を示すことで仮説の正当性を検証した。また、多項式状態計算量と対数メモリ領域量の等価性から、非一様オートマトン族を用いてメモリ領域制限付き計算の能力の限界を明らかにした。この他の研究したモデルに、量子アディアバティック計算がある。
|
