概念別逆引き

詰まり方から読む章を選ぶための逆引き。

詰まり方	読む章	確認観点
証明を書けない	第1章, 第2章, 第3章	定義展開、対偶、背理法、帰納法、反例を確認する。
O記法を感覚で使っている	第4章	定義からの証明とループ解析を確認する。
再帰が追えない	第3章, 第5章	停止性、呼び出しスタック、帰納法の対応を確認する。
グラフ探索が曖昧	第6章, 第8章	BFS/DFS、キュー/スタック、到達可能性を確認する。
状態数の見積もりが苦手	第7章, 第8章, 第10章	組合せ、状態空間、指示変数を確認する。
オートマトンの記法が読めない	第2章, 第6章, 第9章	関数、グラフ、DFA/NFAを確認する。
情報理論で止まる	第7章, 第10章, 第12章	ビット列、確率、期待値、Hamming距離を確認する。
暗号で止まる	第4章, 第7章, 第10章, 第11章	計算困難性、鍵空間、合同算術、群・体を確認する。
並行計算で止まる	第2章, 第6章, 第12章, 第13章	関係、グラフ、行列、状態遷移、安全性・活性を確認する。