目次
第1章 準備
第2章 チューリング機械の基礎
第3章 基本的包含関係と階層構造
第4章 NP完全問題
第5章 NL、PSPACE、EXPTIME、およびNEXPTIMEの完全問題
第6章 NPを基にした階層
著者等紹介
荻原光徳[オギハラミツノリ]
1963年川崎市生まれ。1987年東京工業大学理学部情報科学科卒業。1993年東京工業大学大学院理学部博士後期課程情報科学専攻修了。現在、米国ロチェスター大学コンピュータサイエンス学科主任教授、理学博士。学術雑誌「Theory of Computing Systems」および「International Journal of Foundations of Computer Science」編集委員(本データはこの書籍が刊行された当時に掲載されていたものです)
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。