[离散数学实践指导书.docVIP

《》实验指导课程类型：必修课 适应专业：计算机科学与技术 总学时：学时 实验学时：（上机） 实验次数：7先修课程：C（++）语言 一、前言 《离散数学》课程实验的目的是培养学生使用所学过的计算机程序设计语言求解一些简单的离散数学问题，通过实验帮助实验者理解有关的重要概念，加深了解和更好地掌握《离散数学》课程教学大纲要求的内容。 在《离散数学》的课程实验过程中，要求学生做到： 1. 预习实验指导书有关部分，认真做好实验内容的准备，就实验可能出现的情况提前做出思考和分析； 2. 认真书写实验报告。实验报告包括实验目的和要求，实验情况及其分析；写出程序设计说明，给出源程序框图和清单； 3. 实验完成之后，应算法与源程序评价对结果分析，提交源程序； 4. 遵守机房纪律，爱护实验设备。 二、实验目的 1. 培养学生动手编程解决实际问题的能力； 2. 训练学生分析问题和调试程序的能力； 3. 锻炼学生科技实验的能力； 4. 为后续的课程学习和工作奠定良好的基础。 三、实验要求 1. 问题分析：充分地分析和理解问题本身，弄清要求做什么，用什么算法。 2. 程序设计 1) 根据所采用的算法，设计数据结构，画出流程图并编程； 2) 最后准备调试程序的数据及测试方案。 3. 上机调试  1) 对程序进行编译，纠正程序中可能出现的语法错误；  2) 调试前，先运行一遍程序看看究竟将会发生什么；  3) 如果情况，根据事先设计的测试方案并结合现场情况进行错误跟踪，包括单步调试. 设置观察窗输出中间变量值等手段。 4. 整理实验报告  1) 实验内容：采用的算法名称；  2) 问题描述：包括目标. 任务. 条件约束描述等；  3) 设计：数据结构设计和核心算法设计. 主要功能模块的输入. 处理（算法框架）和输出；  4) 测试范例：测试结果的分析讨论. 测试过程中遇到的主要问题及所采用的解决措施；  5) 心得：包括程序的改进设想，经验和体会；  6) 程序清单：源程序，其中包括变量说明及详细的注释。 四、实验目录 本部分共有个实验:关系矩阵性质判断、关系的基本运算、求相容关系的极大相容类。 序 号 实验名称 实验简介 实验 学时 每组 人数 实验 类型 建立关系矩阵 使用VC++实现一个程序 4 1 设计 关系的5种性质判断 使用VC++实现一个简单的程序判断关系的五种性质 1 设计 关系的基本运算 编程实现求关系的逆、关系的合成实现Warshall算法求关系的传递闭包1 设计 求相容关系的极大相容类 编程实现求相容关系的极大相容类 6 1 五. 具体实验说明 实验1：关系矩阵实验类型：学习型实验 实验要求和目的：理解并掌握关系的矩阵表示方法、关系的。学会用所学过的程序设计语言编程，解决关系的自动问题。 实验内容：用二维数组存储关系矩阵，根据关系，的关系。分别输入两个关系作为实验数据，输出并打印。 实验步骤： a) 利用vc++建立工程； b) 设计关系的矩阵表示的实现程序； 实验2：关系5种性质判断 实验类型：学习型实验 实验要求和目的：理解并掌握关系的矩阵表示方法、利用关系的矩阵判断一个关系是否具有自反、反自反、对称、反对称和传递性。学会用所学过的程序设计语言编程，解决关系性质的自动判断问题。 实验内容：用二维数组存储关系矩阵，根据关系矩阵的特征，判断给定的关系具有哪些性质。分别输入两个关系作为实验数据，输出并打印判断结果。 实验步骤： a) 利用vc++建立工程； b) 设计判定关系的自反、反自反、对称、反对称、传递性质的实现程序。 实验：关系的基本运算（求关系的逆、关系的合成） 实验类型：学习型实验 实验要求和目的：通过本实验加深理解逆关系、合成关系。掌握求逆关系合成关系的实现方法 实验内容：用矩阵的转置，求得其逆关系的关系矩阵。用矩阵的布尔乘积求复合关系的关系矩阵。用Warshall算法求关系闭包。要求分别输入两组实验数据，输出并打印运行结果。 实验步骤： a) 利用vc++建立工程； b) 设计求矩阵的逆、布尔乘积warshall算法的实现程序。 Warshall算法： 利用关系的矩阵表示，可通过Warshall算法计算有限集合上二元关系的传递闭包。 设A是有限集合，|A|=n, RíA′A. (1) 置矩阵A:=MR; (2) 置i:=1; (3) 对所有j,若A[j,i]=1,则对k=1,2, …, n,置A[j,k]=A[j,k]+A[i,k]; (4) 置i:=i+1; (5) 若i≤n,则转至(3),否则结束。实验：求相容关系的极大相容类 实验类型：学习型实验 实验要求