异常抛出
DOT文件构建
添加求min函数
DFS生成树的简单模型,对于XML中的X1.1需要去除.1，才能显示约束图和伪树
使用DFSgeneration类生成DFS伪树，并添加简单的启发式方法
简单的启发式方法使用