离散数学实验报告.doc

上传人:夺命阿水 文档编号:14634 上传时间:2022-06-28 格式:DOC 页数:9 大小:84.22KB
返回 下载 相关 举报
离散数学实验报告.doc_第1页
第1页 / 共9页
离散数学实验报告.doc_第2页
第2页 / 共9页
离散数学实验报告.doc_第3页
第3页 / 共9页
离散数学实验报告.doc_第4页
第4页 / 共9页
离散数学实验报告.doc_第5页
第5页 / 共9页
点击查看更多>>
资源描述

《离散数学实验报告.doc》由会员分享,可在线阅读,更多相关《离散数学实验报告.doc(9页珍藏版)》请在课桌文档上搜索。

1、目 录实验一 联结词的运算实验二 根据矩阵的乘法求复合关系实验三 利用warshall算法求关系的传递闭包实验四 图的可达矩阵实现8 / 9实验一 联结词的运算一实验目的通过上机实验操作.将命题连接词运算融入到C语言的程序编写中.一方面加强对命题连接词运算的理解.另一方面通过编程实现命题连接词运算.帮助学生复习和锻炼C语言知识.将理论知识与实际操作结合.让学生更加容易理解和记忆命题连接词运算。二实验原理 非运算, 符号: ,当P=T时 .P为F, 当P=F时 .P为T 。 合取, 符号: , 当且仅当P和Q的真值同为真.命题PQ的真值才为真;否则.PQ的真值为假。 析取, 符号: , 当且仅当

2、P和Q的真值同为假.命题PQ的真值才为假;否则.PQ的真值为真。 异或, 符号: , 当且仅当P和Q的真值不同时.命题PQ的真值才为真;否则.PQ的真值为真。 蕴涵, 符号: , 当且仅当P为T,Q为F时.命题PQ的真值才为假;否则.PQ的真值为真。 等价, 符号: , 当且仅当P,Q的真值不同时.命题PQ的真值才为假;否则.PQ的真值为真。三实验内容编写一个程序实现非运算、合取运算、析取运算、异或运算、蕴涵运算、等价运算。4 算法程序#includevoid mainprintf;int a,b;scanf;int c,d;if c=0;else c=1; ifd=0;else d=1; p

3、rintf;int e;ife=1;else e=0;printf;int f;iff=0;else f=1;printf;int g;ifg=0;else g=1;printf;int h;ifh=1;else h=0;printf;内容格式:新罗马.五号.行间距固定值18磅五实验结果六心得体会通过编程.学会了析取、合取、单条件连接词、双条件连接词的用法。实验二 根据矩阵的乘法求复合关系一实验目的复合运算是一种重要的二元关系运算.可用于二元关系的合成.二元关系的性质判断.二元关系传递闭包的运算等方面.通过编程实现二元关系的复合运算.帮助同学们理解复合运算的过程.复合形成新的二元关系中的序偶是

4、如何产生的。二实验原理复合运算能由两个二元关系生成一个新的二元关系。设XY.YZ.则称XZ为R和S的复合关系.并规定为:RS=|xXzZyyYRS关系可用矩阵表示.故复合运算也可用矩阵表示。设有三个集合:X=x1,x2xm,Y=y1,y2yn,Z=z1,z2zp, .|X|=m, |Y|=n, |Z|=p,MR=aikmn .MS=akjnp则复合关系RS的关系矩阵为:MRS= MRMS=cij mp 代表逻辑加.满足00=0.01=1,10=1.11=1代表逻辑乘.满足00=0.01=0,10=0.11=1三实验内容将二元关系用关系矩阵表示.通过两个关系矩阵对应行列元素先进行逻辑乘.后进行逻

5、辑加生成新的关系矩阵中的每一个元素。新的关系矩阵所对应的二元关系就是两个二元关系复合形成的.编程实现这一复合过程。四算法程序#include int mainint a100100,b100100,c100100,i,j,k,n;printf;scanf;printf;fori=0;iforj=0;jscanf;printf;fori=0;iforj=0;jscanf;fori=0;iforj=0;j iffork=0;k ifcik=1;fori=0;iforj=0;jifcij=0;printf;printf;fori=0;iforj=0;jprintf;printf;return 0;五

6、实验结果实验结果截图大小为:宽10cm高8cm六心得体会通过编程.更加深入的了解了矩阵复合运算法则。实验三 利用warshall算法求关系的传递闭包一实验目的对于一个二元关系R,它的传递闭包t就是包含R,并且具有传递性质的最小二元关系。传递闭包在图论、数据库、编译原理、计算机形式语言中都有重要的应用。warshall算法是计算传递闭包的一种有效算法.通过编程实现warshall算法.帮助同学们更好地理解传递闭包的生成过程。二实验原理设X是含有n个元素的集合.R是X上的二元关系.则:以上计算传递闭包时需要按照复合关系定义求.这是比较麻烦的.特别当有限集合元素比较多时计算量很大。1962年Wars

7、hall提出了一个求t的有效计算方法:设R是n个元素集合上的二元关系.是R的关系矩阵:第一步:置新矩阵M.;第二步:置i.;第三步:对.若M的第j行i列处为1.则对作如下计算:将M的第j行第k列元素与第i行第k列元素进行逻辑加.然后将结果送到第j行k列处.即 ;第四步:;第五步:若.转到第三步.否则停止。三实验内容将二元关系用关系矩阵表示.编程实现Warshall算法.获得二元关系传递闭包的关系矩阵。四算法程序#include #include void mainint A1010;int n,i,j,k;printf输入关系矩阵的维数nnn;scanf;printf输入n*n个数据n;for

8、i=1;iforj=1;jscanf;ifprintf;fori=1;iforj=1;jfork=1;kifAij&Aik=1;printf;fori=1;iforj=1;jprintf;printf;五实验结果六心得体会通过编程.深入了解什么是Warshall算法.也加深了对传递闭包的了解。实验四 图的可达矩阵实现一实验目的可达矩阵表明了图中任何两个不同的结点之间是否存在至少一条道路.以及在任何结点处是否存在着回路。可达性矩阵是判别一个有向图是否为强连通图或弱连通图的有效工具.通过编程实现图形的可达矩阵.帮助同学们掌握可达矩阵生成方法。二实验原理定义 设G=V.E是一个n阶的有向简单图.。定

9、义矩阵.其中称P是图G的可达矩阵。求可达矩阵可以先构造A.再构造.最后利用关系确定P的元素从而构造出P。显然.这种先求再构造P的方法很费事 。如果我们把邻接矩阵A当作关系矩阵.那么求可达矩阵就相当于求A的传递闭包.因此可以仿照集合论中求关系的传递闭包的办法.求可达矩阵P。三实验内容将图形中的边表达成二元关系.计算该二元关系的传递闭包.并将传递闭包表达成关系矩阵.该关系矩阵就是图形的可达矩阵.编程实现求可达矩阵的过程。四算法程序#include #define N 4 void TransitiveClosure/寻找可达矩阵 forint i=0;i/进行遍历 forint j=0;j if|=1 tij=1; else tij=0; forint k=0;k forint i=0;i forint j=0;j tij=tij|;void main int i,j; int distNN=1,0,0,0, 0,1,1,1, 0,1,1,0, 1,0,1,1; printf;for i=0;ifor j=0;jprintf;printf; int tNN=0; TransitiveClosure;printf; for i=0;i for j=0;j printf; printf; 五实验结果六心得体会有了邻接矩阵.通过遍历.判断是否可达.通过for语句找出可达矩阵。

展开阅读全文
相关资源
猜你喜欢
相关搜索
资源标签

当前位置:首页 > 在线阅读 > 生活休闲


备案号:宁ICP备20000045号-1

经营许可证:宁B2-20210002

宁公网安备 64010402000986号