|
厳密な理論保証を持つアルゴリズム設計理論，計算複雑性理論に関して以下に記載するものを含め多くの成果を得た．「厳密計算の費やす資源に対する信頼性評価」に関して，指数時間計算困難性に関して，種々の問題の相互関係を明らかにし，厳密計算理論の一分野を開拓した．「信頼性の低い計算構成要素を用いて信頼性の高い計算結果を得るアルゴリズム設計理論」に関して，信頼性の低い比較による最大値最小値同時発見問題に対して，必要比較回数を改善した．「頑健な厳密計算アルゴリズム設計技法とその現実的計算量解析手法の発展」に関して，グラフにおけるトークン整列問題のNP完全性を示し，一般グラフの4近似，木の2近似を達成した．
|
