ImageVerifierCode 换一换
格式:DOCX , 页数:10 ,大小:43.53KB ,
资源ID:17464322      下载积分:3 金币
快捷下载
登录下载
邮箱/手机:
温馨提示:
快捷下载时,用户名和密码都是您填写的邮箱或者手机号,方便查询和重复下载(系统自动生成)。 如填写123,账号就是123,密码也是123。
特别说明:
请自助下载,系统不会自动发送文件的哦; 如果您已付费,想二次下载,请登录后访问:我的下载记录
支付方式: 支付宝    微信支付   
验证码:   换一换

加入VIP,免费下载
 

温馨提示:由于个人手机设置不同,如果发现不能下载,请复制以下地址【https://www.bdocx.com/down/17464322.html】到电脑端继续下载(重复下载不扣费)。

已注册用户请登录:
账号:
密码:
验证码:   换一换
  忘记密码?
三方登录: 微信登录   QQ登录  

下载须知

1: 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。
2: 试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓。
3: 文件的所有权益归上传用户所有。
4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
5. 本站仅提供交流平台,并不能对任何下载内容负责。
6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

版权提示 | 免责声明

本文(离散数学实验报告Word格式.docx)为本站会员(b****6)主动上传,冰豆网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对上载内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知冰豆网(发送邮件至service@bdocx.com或直接QQ联系客服),我们立即给予删除!

离散数学实验报告Word格式.docx

1、 , 当且仅当P和Q的真值同为假,命题PQ的真值才为假;否则,PQ的真值为真。(4) 异或, 符号: , 当且仅当P和Q的真值不同时,命题PQ的真值才为真;否则,PQ的真值为真。(5) 蕴涵, 符号: , 当且仅当P为T,Q为F时,命题PQ的真值才为假;否则,PQ的真值为真。(6) 等价, 符号: ? , 当且仅当P,Q的真值不同时,命题P?Q的真值才为假;三实验内容编写一个程序实现非运算、合取运算、析取运算、异或运算、蕴涵运算、等价运算。四算法程序#includevoid main()printf(请输入P、Q的真值n);int a,b;scanf(%d%d,&a,&b);int c,d;i

2、f(a=1) c=0;else c=1; if(b=1)d=0;else d=1; printf(非P、Q的结果为%d,%dn,c,d);int e;if(a=1&b=1)e=1;else e=0;合取的结果为%dn,e);int f;if(a=0&b=0)f=0;else f=1;析取的结果为%dn,f);int g;g=0;else g=1;单条件的结果为%dn,g);int h;if(a=b)h=1;else h=0;双条件的结果为%dn,h);内容格式:新罗马,五号,行间距固定值18磅五实验结果六心得体会通过编程,学会了析取、合取、单条件连接词、双条件连接词的用法。复合运算是一种重要的

3、二元关系运算,可用于二元关系的合成,二元关系的性质判断,二元关系传递闭包的运算等方面,通过编程实现二元关系的复合运算,帮助同学们理解复合运算的过程,复合形成新的二元关系中的序偶是如何产生的。复合运算能由两个二元关系生成一个新的二元关系。设XY(R关系),YZ(S关系),则称XZ(R?S关系)为R和S的复合关系,并规定为:R?S=|xXzZ?y(yYRS)关系可用矩阵表示,故复合运算也可用矩阵表示。设有三个集合:X=x1,x2xm,Y=y1,y2yn,Z=z1,z2zp, ,|X|=m, |Y|=n, |Z|=p,MR=aikmn ,MS=akjnp则复合关系R?S的关系矩阵为:MR?S= MR

4、?MS=cij mp 代表逻辑加,满足00=0,01=1,10=1,11=1代表逻辑乘,满足00=0,01=0,10=0,11=1将二元关系用关系矩阵表示,通过两个关系矩阵对应行列元素先进行逻辑乘,后进行逻辑加生成新的关系矩阵中的每一个元素。新的关系矩阵所对应的二元关系就是两个二元关系复合形成的,编程实现这一复合过程。#include int main() int a100100,b100100,c100100,i,j,k,n;请输入集合X中元素个数: scanf(%dn);请输入关系矩阵Mr的格式:n for(i=0;in;i+) for(j=0;jj+) scanf(aij); 请输入关系

5、矩阵Ms的格式:bij);j+) if(aij=1) for(k=0;kk+) if(bjk=1) cik=1; if(cij!=1) cij=0;关系矩阵Mr和Ms的复合运算结果是: for(i=0; printf(%d ,cij); return 0;实验结果截图大小为:宽(10cm)高(8cm)通过编程,更加深入的了解了矩阵复合运算法则。对于一个二元关系R,它的传递闭包(t(R)就是包含R,并且具有传递性质的最小二元关系。传递闭包在图论、数据库、编译原理、计算机形式语言中都有重要的应用。warshall算法是计算传递闭包的一种有效算法,通过编程实现warshall算法,帮助同学们更好地理

6、解传递闭包的生成过程。设X是含有n个元素的集合,R是X上的二元关系,则:以上计算传递闭包时需要按照复合关系定义求,这是比较麻烦的,特别当有限集合元素比较多时计算量很大。1962年Warshall提出了一个求t(R)的有效计算方法:设R是n个元素集合上的二元关系,是R的关系矩阵:第一步:置新矩阵M,;第二步:置i,第三步:对,若M的第j行i列处为1,则对作如下计算:将M的第j行第k列元素与第i行第k列元素进行逻辑加,然后将结果送到第j行k列处,即 第四步:第五步:若,转到第三步,否则停止。将二元关系用关系矩阵表示,编程实现Warshall算法,获得二元关系传递闭包的关系矩阵。 int A1010

7、; int n,i,j,k;输入关系矩阵的维数n(n10)n scanf(输入n*n个数据(0 or 1)n for(i=1;=n; for(j=1; Aij); if(Aij!=1&Aij) printf(There is an error for(k=1;k+) if(Aij&(Aik|Ajk) Aik=1; 传递闭包的关系矩阵:%2d,Aij);通过编程,深入了解什么是Warshall算法,也加深了对传递闭包的了解。可达矩阵表明了图中任何两个不同的结点之间是否存在至少一条道路,以及在任何结点处是否存在着回路。可达性矩阵是判别一个有向图是否为强连通图或弱连通图的有效工具,通过编程实现图形的

8、可达矩阵,帮助同学们掌握可达矩阵生成方法。定义 设G=(V,E)是一个n阶的有向简单图,。定义矩阵,其中称P是图G的可达矩阵。求可达矩阵可以先构造A,再构造,最后利用关系确定P的元素从而构造出P。显然,这种先求再构造P的方法很费事 。如果我们把邻接矩阵A当作关系矩阵,那么求可达矩阵就相当于求A的传递闭包,因此可以仿照集合论中求关系的传递闭包的办法,求可达矩阵P。将图形中的边表达成二元关系,计算该二元关系的传递闭包,并将传递闭包表达成关系矩阵,该关系矩阵就是图形的可达矩阵,编程实现求可达矩阵的过程。#define N 4 void TransitiveClosure(int distNN,int

9、 tNN)/寻找可达矩阵 for(int i=0;N;i+)/进行遍历 for(int j=0;j+) if(i=j)|(distij)=1) tij=1; else tij=0; for(int k=0;k+) i+) tij=tij|(tik&tkj);void main() int i,j; int distNN=1,0,0,0, 0,1,1,1, 0,1,1,0, 1,0,1,1;邻接矩阵举例如下: for( i=0; for( j=0;,distij); int tNN=0; TransitiveClosure( dist, t);其对应可达矩阵如下: for( j=0;,tij); 有了邻接矩阵,通过遍历,判断是否可达,通过for语句找出可达矩阵。

copyright@ 2008-2022 冰豆网网站版权所有

经营许可证编号:鄂ICP备2022015515号-1