| はじめに ⅰ |
| プロローグ 離散数学へのいざない（伊藤大雄／京都大学） 1 |
| 基礎理論編 |
| 第1章 数列と数え上げ（宇野裕之／大阪府立大学） 20 |
| 第2章 順序木の列挙（中野眞一／群馬大学） 38 |
| 第3章 平面上の点集合から見た離散数学（岡本吉央／東京工業大学） 48 |
| 第4章 最短路問題（伊藤大雄／京都大学） 58 |
| 第5章 離散数学における確率的手法（山本真基／東海大学） 71 |
| 第6章 計算の複雑さ －PとNPのはなし－（茨木俊秀／京都情報大学院大学） 85 |
| ゲーム・パズル編 |
| 第7章 ケーキ分割問題（伊藤大雄／京都大学） 100 |
| 第8章 頭とパソコンを使ってパズルを解こう －『数の六角パズル』を題材にして－（上原隆平／北陸先端科学技術大学） 115 |
| 第9章 フランク・ハラリィの一般化三並べ（伊藤大雄／京都大学） 124 |
| 第10章 ハノイの塔（松浦昭洋／東京電機大学） 136 |
| 第11章 ゴスパー曲線とその一般化（福田宏／北里大学・中村義作／東海大学） 152 |
| 発展理論編 |
| 第12章 グラフマイナー（河原林健一／国立情報研究所） 170 |
| 第13章 連結度と関連問題（石井利昌／小樽商科大学） 182 |
| 第14章 マトロイドと組合せ最適化（岩田覚／京都大学） 197 |
| 第15章 論理関数における双対性（牧野和久／東京大学） 207 |
| 第16章 計算量理論の最先端（玉置卓／京都大学） 218 |
| 応用編 |
| 第17章 安定結婚問題（宮崎修一／京都大学） 232 |
| 第18章 オンライン問題（堀山貴史／埼玉大学） 246 |
| 第19章 ビザンティン合意問題とその周辺（増山繁／豊橋技術科学大学） 261 |
| 第20章 バイオインフォマティクス（阿久津達也／京都大学） 270 |
| 第21章 ペトリネットとその拡張モデル（辻孝吉／愛知県立大学） 283 |
| 第22章 複雑ネットワーク（巳波弘佳／関西学院大学） 295 |
| エピローグ 論文のできるまで－一般化ハムサンドイッチ定理を題材にして－（伊藤大雄／京都大学） 308 |
| あとがき 322 |
| 索引 323 |
| はじめに ⅰ |
| プロローグ 離散数学へのいざない（伊藤大雄／京都大学） 1 |
| 基礎理論編 |
| 第1章 数列と数え上げ（宇野裕之／大阪府立大学） 20 |
| 第2章 順序木の列挙（中野眞一／群馬大学） 38 |
| 第3章 平面上の点集合から見た離散数学（岡本吉央／東京工業大学） 48 |
