|
交替性計算モデルの概念をより明確にするために、既存の計算モデルである決定性・非決定性・確率的計算モデルそれぞれを比較し、従来の計算量理論の手法や新しい技法を適用することで、各計算モデルで定義される計算量(すなわち、計算に必要な時間とメモリ領域)の各クラス間の未知なる関係性を明らかにすることである。さらに、計算量・アルゴリズム理論の応用的側面を考察した。そして、与えられたオブジェクト指向ソフトウェアが「ある種の複雑ネットワークを持つ」性質に着目し、ソフトウェア構造を再構成することで、ソフトウェアへの機能追加し易い構造(良構造)へ変形するアルゴリズムを構築した。
|
