使用 graphviz 形象化有向图
dot 一般用于绘制有向图，无向图则可用 neato 或者 fdp，可以互相通用，差别在于 dot 生成的有向图效果要好点， neato 和 fdp 生成的无向图效果要好点。其他的如辐射状的图形可用 twopi，圆形的可用 circo。他们的命令行参数都是一致的，只是所用之算法不一而已。
如对于如下无向图：
graph G {
? ? run -- intr;
? ? intr -- runbl;
? ? runbl -- run;
? ? run -- kernel;
? ? kernel -- zombie;
? ? kernel -- sleep;
? ? kernel -- runmem;
? ? sleep -- swap;
? ? swap -- runswap;
? ? runswap -- new;
? ? runswap -- runmem;
? ? new -- runmem;
? ? sleep -- runmem;
}
neato -Tsvg proc.dot -o proc.svg 则效果好点， fdp 生成的则差不多，图更紧凑点。其他的生成之图，就比较差。
neato 生成：
fdp 生成：
产生一个有限自动机简直就是小儿科：
digraph finite_state_machine {
? ? rankdir=LR;
? ? size="8,5"
? ? node [shape = doublecircle]; LR_0 LR_3 LR_4 LR_8;
? ? node [shape = circle];
? ? LR_0 -> LR_2 [ label = "SS(B)" ];
? ? LR_0 -> LR_1 [ label = "SS(S)" ];
? ? LR_1 -> LR_3 [ label = "S($end)" ];
? ? LR_2 -> LR_6 [ label = "SS(b)" ];
? ? LR_2 -> LR_5 [ label = "SS(a)" ];
? ? LR_2 -> LR_4 [ label = "S(A)" ];
? ? LR_5 -> LR_7 [ label = "S(b)" ];
? ? LR_5 -> LR_5 [ label = "S(a)" ];
? ? LR_6 -> LR_6 [ label = "S(b)" ];
? ? LR_6 -> LR_5 [ label = "S(a)" ];
? ? LR_7 -> LR_8 [ label = "S(b)" ];
? ? LR_7 -> LR_5 [ label = "S(a)" ];
? ? LR_8 -> LR_6 [ label = "S(b)" ];
? ? LR_8 -> LR_5 [ label = "S(a)" ];
}
dot -Tpng fsm.dot -o fsm.png
其他更精彩的使用可以参看 http://www.graphviz.org/Gallery.php，绝对能让你惊奇。
2. 邻接矩阵形象化
考虑下面这个邻接矩阵：
#define NUM ? 6
int b[NUM][NUM] =
{
? 0, 1, 0, 0, 1, 0,
? 0, 0, 0, 0, 0, 1,
? 0, 0, 0, 0, 0, 0,
? 0, 1, 0, 0, 0, 0,
? 0, 0, 0, 1, 0, 0,
? 0, 0, 1, 0, 0, 0
};
要将其形象化，可以将其先转化为 DOT 语言描述，鉴于 DOT 语言描述这种结构有天然的优势，可以很容易的写下如下C 函数转化之：
void gen_graphic(const char *fname)
{
? FILE *fp;
? int k, j;
? char name[255];
? char cmd[255];
? sprintf(name, "%s.dot", fname);
? fp = fopen(name, "wb");
? fputs("digraph vis {\n", fp);
? fputs("\tsize="5,3";\t/* set img width*height in inch*/\n", fp);
? for(k=0; k<NUM; k++)
? ? for(j=0; j<NUM; j++)
? ? ? ? if(b[k][j])
? ? ? ? ? fprintf(fp, "\t%d -> %d;\n", k+1, j+1);
? fputs("}\n", fp);
? fclose(fp);
? sprintf(cmd, "circo -Tsvg %s.dot > %s.svg", fname, fname);
? system(cmd);
}
多次尝试发现，这个图使用 circo 效果要好点，尽管官方建议的有向图产生工具是 dot。
调用该函数 gen_graphic(vis_src); 产生的邻接矩阵图为：
闭包运算后的图为：
