用Graphviz自动布局各种图

dot是一种高层的画图语言，用dot画图只用给出结点和边，就像图论中描述图一样，然后由程序自动对结点和边进行布局，不用像在低层的画图语言（如Troff与TeX常用的子语言）那样要具体到指定坐标。graphviz极大地节省了画图所需的时间，而且自动布局的效果往往比人手更好（特别是与我这种不会画画的人比）。如果能推广它，将鼓励人们更愿意用图表达思想，使世界更美好。关于dot的更多信息见http://www.graphviz.org/。

命令用法

在用dot语言写好图的描述后，就可以调用其中一个graphviz程序生成图片：

dot [options] [files]
neato [options] [files]
twopi [options] [files]
circle [options] [files]
fdp [options] [files]
sfdp [options] [files]
patchwork [options] [files]

其中不同命令作于绘制不同风格的图：

命令	用于	例子
dot	有向图（分层地画）
neato	无向图（基于弹簧模型）
twopi	星形图（结点中心放到同心的一系列圆上，包括圆心）
circo	环状的图
fdp	无向图（基于力）
patchwork	方形树

可用选项包括：

http://viz-js.com/提供了在线试用。

语法

DOT语言的语法为：

     graph : [ 'strict' ] ('graph' | 'digraph') [ ID ] '{' stmt_list '}'
 stmt_list : [ stmt [ ';' ] stmt_list ]
      stmt : node_stmt
           | edge_stmt
           | attr_stmt
           | ID '=' ID
           | subgraph
 attr_stmt : ('graph' | 'node' | 'edge') attr_list
 attr_list : '[' [ a_list ] ']' [ attr_list ]
    a_list : ID '=' ID [ (';' | ',') ] [ a_list ]
 edge_stmt : (node_id | subgraph) edgeRHS [ attr_list ]
   edgeRHS : edgeop (node_id | subgraph) [ edgeRHS ]
 node_stmt : node_id [ attr_list ]
   node_id : ID [ port ]
      port : ':' ID [ ':' compass_pt ]
           | ':' compass_pt
  subgraph : [ 'subgraph' [ ID ] ] '{' stmt_list '}'
compass_pt : ('n' | 'ne' | 'e' | 'se' | 's' | 'sw' | 'w' | 'nw' | 'c' | '_')

• graph为起始符号，用于声明顶层的图，并决定它是否有向图，有strict表示不容许重边
• node_stmt用于声明一些结点并设置属性
• edge_stmt用于声明一些边（必要时也创建结点）并设置属性，其中edgeop为--（对无向图）或->（对有向图）
• attr_stmt用于声明图、结点和边的默认属性
• subgraph用于声明子图，子图用于
  • 让其中结点和边尽可能聚在一起
  • 设立新的属性作用域
  • 简化声明，如{a b c}--{d e f}，即给出了$K_{3,3}$图的9条边

ID可以为以下形式之一（在语义上一样，如不区分abc_2与”abc_2”，也不区分2.34与”2.34”）：

• 由字母（[a-zA-Z\200-\377]）、下划线和数字（[0-9]）组成，不由数字开始
• 数值 [-]?(.[0-9]+|[0-9]+(.[0-9]*)?)
• 双引号形式字符串，其中可用\"转义和反斜杠-换行转义，还可用+串接
• <和>包围的HTML代码，可多行

另外，可用C/C++风格注释或shell风格的注释。

以下是部分属性：

图属性

结点属性

其中颜色值可为”h,s,v”（三者均为0与1间的浮点数）、X11颜色名（如white、black、red、green、blue、yellow、magenta、cyan、burlywood）或”#rrggbb”。

边属性