Graphviz

graphviz では .dot ファイルを作成し読み込ませる事でグラフを描画する.例えば次のような foo.dot では, 5点8枝のグラフを記述することができる. 枝 label があるとかなり動作が重くなるようで,大きなものを描きたい場合はない方がよいだろう. といっても数千点ほどの規模でもうまくいかない.

digraph foo {
  1 -> 2 [ label = "4" ];
  1 -> 3 [ label = "5" ];
  2 -> 3 [ label = "8" ];
  2 -> 4 [ label = "2" ];
  2 -> 5 [ label = "15" ];
  3 -> 4 [ label = "10" ];
  3 -> 5 [ label = "6" ];
  4 -> 5 [ label = "9" ];
}