离散数学应用实践.pdf

《离散数学应用实践 》 实验报告 课序号： 07 学 号： 1143041254 姓 名： 发权 任课教师： 瑜 评阅成绩： 评阅意见： 提交报告时间： 2012 年 12 月 27 日 实验五：判断图是否是树 （一） 问题描述 编写一个程序， 从控制台输入一个用邻接矩阵表示的图， 程序实现判断该图是不是树，并从控制台输出判断结果。 （二） 实验准备 《离散数学》《数据结构》《Java 程序设计语言》 开发环境： eclipse 编程语言： Java （三） 算法分析 该程序运用的是定理“ T 连通且 m=n-1” “T 连通且 无圈” “连通且不含圈的图称为数” 《离散数学》P226. 实验中，为图的每个的节点设置一个 flag 标志，标记每 个节点是否被访问过，我用广度遍历从其中一个节点开始沿 边遍历，如果图是连通的，那无论从哪个顶点开始遍历，每 个顶点都会被访问过，既被访问过的节点数 =图的节点数。这 可以证明图是连通的； 接下来，计算出图的边数 m； 继而可以判断 m是否等于图的节点数 n-1 ； “T 连通且 m=n-1” “T 连通且无圈” “连通且 不含圈的图称为数” 最终证明图是树。 判断连通性，如图： A a B b C c D d （1） （2） 图（ 1）中，图是连通的，无论从哪个节点遍历，都能把整 个图遍历了， m=n-1； 图（2 ）中，图是不连通的，对其的遍历要么只遍历 c ，要 么只遍历了 abd，m！=n-1 。 计算图的边数，如图 1 0 1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 1 对图的邻接矩阵进行遍历，计算出边的数目 m； （四） 程序源代码 import java.util.Scanner; public class isTree { private Integer[][] elems;// 图的邻接矩阵表示 priv