Product Details
ISBN 10 : 4062579332
Content Description
現代社会において、あらゆるところに利用され、なくてはならない存在のコンピュータ。遥か昔、計算をするためだけの道具だった計算機は、歴史とともに発展し、現代のコンピュータの姿となったが、いまでももの凄いスピードで進化し続けている。
このコンピュータの発展とともに生まれたのが、計算の方法・手順を考えるアルゴリズムの理論や、そして計算量の理論だ。計算の複雑さからアルゴリズムの評価が検討され、問題を解く上での基本ステップの実行回数から時間計算量が考えられてきた。
ある問題のアルゴリズムが作れたからといって、その問題がきれいに簡単に解けるのだろうか? --答えはNOだ。問題を解くアルゴリズムを作れたからといって、実際にコンピュータに計算させたら、果てしない時間(例えば地球の寿命を超えるような時間)がかかってしまうような問題もある。
「問題が解ける・解けない」「計算できる・計算できない」を考えたとき、問題の難易度によって、クラスPの問題とかクラスNPの問題とかにクラス分けができる。このクラスPとクラスNPが完全に一致するかどうかを決めるのが、P≠NP問題である。1971年以来、多くの数学者が挑戦し続けているが、P≠NP(PとNPが一致しない)であるか、P=NP(PとNPが一致する)であるか、どちらも証明されていない。現代数学における未解決の超難問である。
本書は、コンピュータの歴史から、アルゴリズム理論、計算量理論を経て、「P≠NP問題」を丁寧に解説し、2000年にアメリカのクレイ研究所がミレニアム問題として懸賞金を懸けた7つの難問の一つ、「P≠NP問題」に迫ります。
【著者紹介】
野崎昭弘 : 1936年、横浜市生まれ。東京大学理学部数学科卒業、同大学院数物系研究科修了。電電公社(現NTT)電気通信研究所、東京大学教養学部、同理学部、山梨大学工学部、国際基督教大学教養学部、大妻女子大学社会情報学部、サイバー大学IT総合学部教授を経て、大妻女子大学名誉教授。専門はアルゴリズム理論、多値論理学、数学教育。『ゲーデル、エッシャー、バッハ』(共訳・白揚社、第22回日本翻訳文化賞受賞)など、著書・和訳多数。第3回日本数学会出版賞受賞(本データはこの書籍が刊行された当時に掲載されていたものです)
Customer Reviews
Book Meter Reviews
こちらは読書メーターで書かれたレビューとなります。
powered by
ちくわん
読了日:2018/10/13
Satoshi
読了日:2020/02/09
とりもり
読了日:2016/01/21
トルネードG&T
読了日:2016/03/06
まえぞう
読了日:2016/01/09
(外部サイト)に移動します
Recommend Items
Feedback
Missing or incorrect information?
Product information of this page .

