アルゴリズム

計算機科学入門

西田泰伸
森北出版

第1章 アルゴリズムと問題解決

  • 1.1 アルゴリズムとは何か
  • 1.2 アルゴリズムの記述法
  • 1.3 厳密な定義と数学的議論
  • 演習問題1

第2章 ソートアルゴリズム

  • 2.1 単純なソート
  • 2.2 高性能ソート
  • 2.3 プログラミング課題
  • 2.4 厳密な定義と数学的議論
  • 演習問題2

第3章 探索アルゴリズム

  • 3.1 二分探索
  • 3.2 ハッシュ法
  • 3.3 プログラミング課題
  • 3.4 厳密な定義と数学的議論
  • 演習問題3

第4章 ネットワークアルゴリズム

  • 4.1 グラフとネットワーク
  • 4.2 最短道問題
  • 4.3 最大フロー問題
  • 4.4 プログラミング課題
  • 演習問題4

第5章 順序機械

  • 5.1 状態のあるシステム
  • 5.2 順序機械の構成
  • 5.3 順序機械の簡単化
  • 5.4 厳密な定義と数学的議論
  • 演習問題5

第6章 オートマトンと正規言語

  • 6.1 形式言語,正規言語,正規表現
  • 6.2 決定性と非決定性のオートマドン
  • 6.3 正規言語の性質
  • 演習問題6

第7章 文脈自由言語

  • 7.1 文脈自由文法とプログラミング言語の構文規則
  • 7.2 形式文法の性質
  • 7.3 プッシュダウンオートマトン
  • 7.4 プログラミング課題
  • 演習問題7

第8章 計算モデル

  • 8.1 計算不能問題
  • 8.2 チューリング機械
  • 8.3 計算の複雑さ
  • 8.4 各種複雑性の関係
  • 演習問題8

演習問題解答
参考文献
索引