目次
８ テューリング機械入門（コンピュータで解けない問題；テューリング機械 ほか）
９ 決定不能性（帰納的可算でない言語；帰納的可算な決定不能問題 ほか）
１０ 実行不能な問題（クラスＰとクラスＮＰ；最初のＮＰ完全問題 ほか）
１１ その他の「問題のクラス」（ＮＰに属す言語の補集合；多項式領域で解ける問題 ほか）
著者等紹介
野崎昭弘［ノザキアキヒロ］
１９５９年東京大学理学部数学科卒業。１９６１年東京大学大学院修士課程修了。現在、大妻女子大学教授。理学博士
高橋正子［タカハシマサコ］
１９６２年お茶の水女子大学理学部数学科卒業。１９７２年ペンシルバニア大学大学院博士課程修了。現在、国際基督教大学教授。Ｐｈ．Ｄ．
町田元［マチダハジメ］
１９７０年東京大学理学部数学科卒業。１９７４年東京大学大学院修士課程修了。現在、一橋大学教授。博士（数理科学）
山崎秀記［ヤマザキヒデキ］
１９７２年東京大学教養学部基礎科学科卒業。１９７５年東京大学大学院修士課程修了。現在、一橋大学教授。理学博士
※書籍に掲載されている著者及び編者、訳者、監修者、イラストレーターなどの紹介情報です。
感想・レビュー
※以下の感想・レビューは、株式会社ブックウォーカーの提供する「読書メーター」によるものです。
kaizen@名古屋de朝活読書会
17
#説明歌 「手に負えない問題」「多項式時間」「多項式領域」「NP完全」2019/06/23
枕流だった人
0
千
