カーナビゲーション(car navigation)の機能の一つは，出発地と目的地を与えると最短の経路を出すというものです． これは、OR (=Operations Research, or Operational Research) とよばれる学問領域の，ネットワーク関連問題のひとつの手法を利用しています．
この講義では，この問題（2地点間の最短路を出す問題）はどういうものでどのようにモデル化できるのか，この問題を解くのにどういった難しさがあるのか，どうするとうまく解けるのかについて，具体例を解きながら考えていきます．