アルゴリズム論(アルゴリズム ロン)

情報科学を専攻する学部生が避けて通れないアルゴリズムと計算量の理論を、数学的な正確さを保ちつつ教科書として整理した一冊です。著者の浅野哲夫氏は計算幾何学やグラフアルゴリズムの研究者であり、本書ではソート・探索といった基本から、グラフ上の最短路・最小全域木、動的計画法、そして NP 完全性と計算量クラスの議論まで、学部の 1 〜 2 学期に相当する範囲を体系的に扱っています。

記述はアルゴリズムの正当性証明と計算量解析を重視しており、コードを写経して動かすタイプの入門書とは明確に性格が異なります。擬似コードで手順を示した後、なぜ正しいのか、なぜその計算量になるのかを定理と証明で裏づける構成で、この点がプログラミング入門書との決定的な違いです。証明に慣れていない読者にとっては最初の数章で苦労するかもしれませんが、ここを乗り越えると「正しさを論証する力」が身につきます。

大学院入試の準備や、競技プログラミングで理論的背景を固めたい段階で参照する使い方にも適しています。実装寄りのアルゴリズム本で「なぜそうなるか」が腑に落ちなかったとき、本書の該当章を読むと欠けていた論理の鎖がつながります。