どんな本？

「動的計画法、なんとなく書ける」から「なぜこの漸化式で正しいのか説明できる」への昇格試験のような一冊。分割統治、貪欲法、ネットワークフロー、NP完全性まで、アルゴリズム界の主要キャストが総出演します。特にフローと最小カット周りの丁寧さが際立っていて、双対性の直感を掴んだ瞬間、AtCoderの問題文が急に別言語に見えてくる。ページ数は鈍器級ですが、証明が「なるほど」で終わるのが快感なのです。積読しても本棚の格が上がる、副作用まで優秀な名著。