离散数学实验报告四个实验.docx
- 文档编号:26356648
- 上传时间:2023-06-18
- 格式:DOCX
- 页数:24
- 大小:376.53KB
离散数学实验报告四个实验.docx
《离散数学实验报告四个实验.docx》由会员分享,可在线阅读,更多相关《离散数学实验报告四个实验.docx(24页珍藏版)》请在冰豆网上搜索。
离散数学实验报告四个实验
《离散数学》
课程设计
学院计算机学院
学生姓名
学号
指导教师
评阅意见
提交日期2011年11月25日
引言
《离散数学》是现代数学的一个重要分支,也是计算机科学与技术,电子信息技术,生物技术等的核心基础课程。
它是研究离散量(如整数、有理数、有限字母表等)的数学结构、性质及关系的学问。
它一方面充分地描述了计算机科学离散性的特点,为学生进一步学习算法与数据结构、程序设计语言、操作系统、编译原理、电路设计、软件工程与方法学、数据库与信息检索系统、人工智能、网络、计算机图形学等专业课打好数学基础;另一方面,通过学习离散数学课程,学生在获得离散问题建模、离散数学理论、计算机求解方法和技术知识的同时,还可以培养和提高抽象思维能力和严密的逻辑推理能力,为今后爱念族皮及用计算机处理大量的日常事务和科研项目、从事计算机科学和应用打下坚实基础。
特别是对于那些从事计算机科学与理论研究的高层次计算机人员来说,离散数学更是必不可少的基础理论工具。
实验一、编程判断一个二元关系的性质(是否具有自反性、反自反性、对称性、反对称性和传递性)
一、前言引语:
二元关系是离散数学中重要的内容。
因为事物之间总是可以根据需要确定相应的关系。
从数学的角度来看,这类联系就是某个集合中元素之间存在的关系。
二、数学原理:
自反、对称、传递关系
设A和B都是已知的集合,R是A到B的一个确定的二元关系,那么集合R就是A×B的一个合于{()∈A×}的子集合
设R是集合A上的二元关系:
自反关系:
对任意的x∈A,都满足<>∈R,则称R是自反的,或称R具有自反性,即R在A上是自反的⇔(∀x)((x∈A)→(<>∈R))=1
对称关系:
对任意的∈A,如果<>∈R,那么<>∈R,则称关系R是对称的,或称R具有对称性,即R在A上是对称的⇔(∀x)(∀y)((x∈A)∧(y∈A)∧(<>∈R)→(<>∈R))=1
传递关系:
对任意的∈A,如果<>∈R且<>∈R,那么<>∈R,则称关系R是传递的,或称R具有传递性,即R在A上是传递的⇔(∀x)(∀y)(∀z)[(x∈A)∧(y∈A)∧(z∈A)∧((<>∈R)∧(<>∈R)→(<>∈R))]=1
三、实验原理:
通过二元关系与关系矩阵的联系,可以引入N维数组,以数组的运算来实现二元关系的判断。
图示:
性质
关系矩阵特性
自反性
主对角线元素全为1
反自反性
主对角线元素全为0
对称性
对称矩阵
反对称性
非主对角线上的元素等于1且与之对称的元素等于0
传递性
矩阵(M*M)中1所在的位置,M中与之相对应位置鲜红都为1
四、实验环境:
7
五、实验语言:
C语言
六、程序源代码:
""
N4
()
{
;
;
M[N][N];
("判断R是否为自反关系、对称关系、是否可传递?
\n");
("请输入一个4*4的矩阵。
\n");
(0<)/*输入一个4*4的矩阵*/
(0<)
(""[i][j]);
(0<)
{
(0<)
("%4d"[i][j]);
("\n");
}
(0<)
{
(M[i][i]1)判断自反性
{
(1
0;
;
}
(M[i][i]0)判断反自反性
{
(1)
1;
;
}
{
2;
;
}
}
(0<)
{
(0<)
(M[i][j][j][i])判断对称性
{
1;
;
}
}
(0<)
{
(0<)
(M[i][j]1)判断反对称性
{
(M[j][i]0)
{
(
(1)1)
0;
;
}
}
}
(01)
{
2;
}
(0<)判断可传递性
(0<)
(M[i][j]1)
;
(0<)
(M[i][k]*M[k][i]0)
;
0;
(0)
("关系R是自反关系\n");
(1)
("关系R是反自反关系\n");
(2)
("关系R是反自反关系\n");
(0)
("关系R是反对称关系\n");
(1)
("关系R不是对称关系\n");
(2)
("关系R是对称关系\n");
(0)
("关系R是不可传递关系\n");
("关系R是可传递关系\n");
("");
}
七、程序运行截图:
、程序启动截图:
、程序输入截图:
、程序运行结果截图:
八、实验总结:
实验简洁高效地判断二元关系的性质。
实验二、编程求一个二元关系的自反闭包、对称闭包、传递闭包
一、前言引语
一个二元关系可能具有某种性质,也可能不具有这种性质。
现在讨论怎样使一个二元关系变成具有指定性质的新关系,并且还要满足最小性条件。
二、数学原理
自反闭包、对称闭包、传递闭包
设R是定义在A上的二元关系,若存在A上的关系R′满足:
1)R′是自反的(或对称的、或可传递的),
2)R⊆R′,
3)对A上任何其它满足1)和2)的关系R〞,都有:
R′⊆R〞。
则称R′为R的自反闭包(或对称闭包、或传递闭包),分别记为r(R)、(s(R)和t(R))。
三、实验原理
算法的基本思想
对每个结点(从第一列开始),找出所有具有到此结点的有向边的结点(即该列中元素为1的所在行的结点),再将这些结点所在行同该结点所在行进行逻辑加后作为这些结点所在的新行(添加新的有向边)(反映了如果这些结点没有到其它结点的有向边,但有到该结点的有向边,再通过该结点间接到达其它结点,根据传递闭包的定义,这些结点就必然有一条有向边到达其它结点)。
▪设R是集合上的二元关系是R的关系矩阵
▪
(1)置新矩阵
▪
(2)置(列)1
▪(3)对所有的i(1≤i≤n)
如A()=1,则对1,2,…
A()()∨A()
▪(即将A的第i行与A的第j行进行逻辑加后送回A的第i行)
▪(4)1
▪(5)如j≤n转(3),否则停止。
四、实验环境:
7
五、实验编程语言:
C语言
六、实验程序源代码
:
<>
(n)
{
;设置临时变量
a=0,b=0;设置临时变量
[10][10];
(a=0;a { ("请输入矩阵第行元素: "); (b=0;b { (""[a][b]); } ("\n"); } (i=0;i { (0;j { ([j][i]1) { (k=0 { [j][k][i][k][j][k]; } } } } ("所得的可传递闭包关系矩阵是: \n"); (i=0 { (j=0 { (""[i][j]); } ("\n"); } } : <> () { ("利用算法求二元关系的可传递闭包\n"); (,); m,n; ("请输入矩阵的行数(必须小于10): "); ("",); ("请输入矩阵的列数(必须小于10): "); ("",); (m,n); (“”); 0; } 七、实验截图 .程序启动画面: .输入关系矩阵的行数和列数以及关系矩阵的各个元素。 .得出结果,并打印在屏幕上。 八、实验总结 如果当一个集合的元素的个数n很大时,求在该集合上的二元关系的可传递闭包是非常复杂的。 幸好算法给我们提供了一个求二元关系的可传递闭包的高效方法。 结合计算机程序技术,利用算法我们可以轻松的求出一个二元关系的可传递闭包。 本次实验便捷高效地达到了实验的目的。 实验三、编程求一个二元关系的复合运算 一、实验引语: 关系作为集合,除了具有一般的运算功能外,还具有自身独特的复合运算。 二、数学原理 设R是集合A到B的二元关系,S是集合B到C的二元关系,则 R。 S={(x,z) A ( y B)[(x,y) R∧(y,z) S]}称为R和S的复合关系。 三、实验原理: 矩阵的运算 四、实验环境: 7 五、实验语言: C语言 六、实验程序源代码 "" "" M3 N3 P3 () { ; p; A[N][M][M][P][N][P]; ("关系的复合运算\n"); (“请输入一个3*3的矩阵”); ("A: \n"); (1<) { (1<) ("%4d"[i][j]); ("\n"); } (“请输入一个3*3的矩阵”); ("B: \n"); (1<) { (1<) ("%4d"[i][j]); ("\n"); } ("经过复合运算后得到C: \n"); (1<) { (1<) { 0; (1<) [i][k]*B[k][j]; (x>0) C[i][j]=1; C[i][j]=0; ("%4d"[i][j]); } ("\n"); } (""); 0; } 七、程序运行截图: 、程序启动截图: 、程序输入截图: 、程序运行结果截图: 八、实验总结: 本实验利用计算机技术,快速便捷地实现了关系的运算,极大提高了效率。 实验四: 编程实现拓扑排序算法 一、实验引言 一个复杂的工程通常可以分解成一组小任务的集合,完成这些小任务意味着整个工程的完成,,任务之间具有先后关系,任务的先后顺序可用有向图表示。 二、数学原理: 拓扑排序 )定义: 由某个集合上的一个偏序得到该集合上的一个全序,这个操作称之为拓扑排序。 )实现方法: 从有向图中选择一个没有前驱的顶点并输出它。 从网中删去该顶点并删去从该顶点发出的全部有向边。 重复上述两步直到剩余的网中不存在没有前驱的顶点。 三、实验原理 首先对有向图,我们采取邻接表作为数据结构。 且将表头指针改为头结点,其数据域存放该结点的入度,入度设为零的结点即没有前趋。 在建立邻接表输入之前,表头向量的每个结点的初始状态为数据域(入度)为零,指针域为空,每输入一条弧 在拓扑排序的过程之中,输入入度为零(即没有前趋)的顶点,同时将该顶点的直接后继的入度减1。 (1)、查邻接表中入度为零的顶点,并进栈。 (2)、当栈为空时,进行拓扑排序。 (a)、退栈,输出栈顶元素V。 (b)、在邻接表中查找的直接后继,将的入度减一,并令入度减至零的顶点进栈。 (3)、若栈空时输出的顶点数不是N个则说明有向回路,否则拓扑排序结束。 为建立存放入度为零的顶点的栈,不需要另分配存储单元,即可借入入度为零的数据域。 一方面,入度为零的顶点序号即为表头结点的序号,另一方面,借用入度为零的数据域存放带链栈的指针域(下一个入度的顶点号)。 四、实验环境: 7 五、实验语言: 六、程序源代码 <> <> <> <> <> ; 9999 <>; []; { ; *; }[]; ([]m)邻接表建表函数,n代表定点数,m代表边数 { i; *p; (0<1) { [i]; [i]; } (0<1) { <<"请输入第"< "; ; >>u>>v; ; >; >[u]; [u]; } 1; } (n)邻接表打印函数 { i; *p; (0<1) { [i]; () { <<><<''; >; } <<; } } ([]n) { i; *p; (,0()); (0<1) { [i]; () { [>]; >; } } (0<1) { ([i]0) (i); } 0; (()0) { (); (); < ; ([i]>) { >; [k]; ([k]0) (k); } } <<; ( } () { n; m; <<"拓扑排序算法"<<; <<"请输入顶点数及边数: "; >>n>>m; (); <<"输入的邻接表为: "<<; (n); <<"拓扑排序结果为: "<<; (); (""); 0; } 七、程序运行截图 以下图为例: 、程序启动截图 、程序输入截图 、程序运行结果截图 八、实验总结 通过本次实验掌握拓扑排序的算法,了解拓扑排序的有向图的数据结构。 参考文献 1.《离散数学》冯伟森、栾新成、石兵等编著机械工业出版社 2.《C语言程序设计》陈良银、游洪跃、李旭伟等编著清华大学出版社 3.《: 面向对象程序设计》李涛、游洪跃等编高等教育出版社
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 实验 报告 四个