2022年离散数学上机实验报告.docx

《2022年离散数学上机实验报告.docx》由会员分享，可在线阅读，更多相关《2022年离散数学上机实验报告.docx（28页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、精选学习资料 - - - - - - - - - 离散数学试验报告：学号：班级：名师归纳总结 - - - - - - -第 1 页,共 14 页精选学习资料 - - - - - - - - - 试验一 连结词规律运算一. 试验目的实现二元合取、 析取、蕴涵和等价表达式的运算；实现规律这几种规律运算；熟识连接词规律运算规章,利用程序语言从键盘输入两个命题变元 P 和 Q的真值,求它们的合取、 析取、蕴涵和等价四种运算的真值；要求对输入内容进行分析,假如不符合 面；0、1 条件需要重新输入,程序有良好的输入输出界使用 Microsoft 为编程软件,采纳称C/C+语言为编程语言实现；四. 试验过程

2、1. 算法分析 : 合取： p,q 都为 1 的时候为 1,其他为 0 析取： p,q 都为 0 的时候为 0,其他为 1 包蕴： p 为 1,q 为 0 时为 0,其他为 1 等价： p,q 同真同假 2. 程序代码 : #include int main int P,Q,a,b,c,d,p,q; printf P 的值 ; forP=0;P2;P+ forQ=0;Q2;Q+ printft%d,P; printfn Q 的值 ; forP=0;P2;P+ forQ=0;Q2;Q+ printft%d,Q; printfn 非 P 的值 ; forP=0;P2;P+ forQ=0;Q2;Q+

3、 ifP=0/* 判定非 P 的值 */ 2 名师归纳总结 - - - - - - -第 2 页,共 14 页精选学习资料 - - - - - - - - - p=1; else p=0; printft%d,p; printfn 非 Q的值 ; forP=0;P2;P+ forQ=0;Q2;Q+ ifQ=1/* 判定非 Q的值 */ q=0; else q=1; printft%d,q; printfn P 与 Q的值 ; forP=0;P2;P+ forQ=0;Q2;Q+ ifQ=0|P=0/* 判定 P与 Q的值 */ a=0; else a=1; printft%d,a; printf

4、n P 或 Q的值 ; forP=0;P2;P+ forQ=0;Q2;Q+ ifQ=1|P=1/* 判定 P或 Q的值 */ b=1; else b=0; printft%d,b; printfnP 包蕴 Q的值 ; forP=0;P2;P+ 3 名师归纳总结 - - - - - - -第 3 页,共 14 页精选学习资料 - - - - - - - - - forQ=0;Q2;Q+ ifP=1&Q=0/* 判定 P包蕴 Q的值 */ c=0; else c=1; printft%d,c; printfnP 等价 Q的值 ; forP=0;P2;P+ forQ=0;Q2;Q+ ifP=Q/*

5、判定 P 等价 Q的值 */ d=1; else d=0; printft%d,d; printfn; return 0; : 4 名师归纳总结 - - - - - - -第 4 页,共 14 页精选学习资料 - - - - - - - - - 试验二 关系的复合运算及逆运算一. 试验目的熟识关系的复合运算和逆运算,编程实现关系复合运算和逆运算算法；利用矩阵求解有限集上的复合关系和逆关系；1. 算法分析 : 复合运算就将两个用矩阵表示的关系进行复合,即在第一个矩阵中查找值为 1 的元素坐标 i ,j ,在其次个矩阵第 j 行查找值为 1 的元素,假设有,且坐标为 j ,k ,就产生的新的关系的

6、矩阵中坐标为 i ,k 的元素值为 1；逆运算就是将用矩阵中值为 1 的元素坐标 i ,j 对调,产生新的关系的矩阵中坐标为 j ,i 的元素值为 1；2. 程序代码 : / 关系的复合运算 #include using namespace std; int main int a100100,b100100,c100100,i,j,k,n; coutn; cout 请输入关系矩阵 Mr 的格式 :endl; fori=0;in;i+ forj=0;jaij; cout 请输入关系矩阵 Ms的格式 :endl; fori=0;in;i+ forj=0;jbij; fori=0;in;i+ / 进

7、行复合运算 forj=0;jn;j+ ifaij=1 fork=0;kn;k+ ifbjk=1 cik=1; 5 名师归纳总结 - - - - - - -第 5 页,共 14 页精选学习资料 - - - - - - - - - fori=0;in;i+ forj=0;jn;j+ ifcij.=1 cij=0; coutendl; cout 关系矩阵 Mr 与 Ms的复合运算结果是 :endl; fori=0;in;i+ forj=0;jn;j+ coutcij ; coutendl; return 0; / 关系的逆运算 #include int main int a100100,b10010

8、0,n,i,j,index; printf请输入集合X 中元素的个数 :; scanf%d,&n; printf请输入关系矩阵Mr 的格式 :n; fori=0;in;i+ forj=0;jn;j+ scanf%d,&aij; fori=0;in;i+/ 进行逆运算 forj=0;jn;j+ ifaij=1 index=i; i=j; j=index; bij=1; fori=0;in;i+ 6 名师归纳总结 - - - - - - -第 6 页,共 14 页精选学习资料 - - - - - - - - - forj=0;jn;j+ ifbij.=1 bij=0; printfn 关系矩阵 M

9、 rc 为:n; fori=0;in;i+ forj=0;jn;j+ printf%d ,bij; printfn; return 0; : 7 名师归纳总结 - - - - - - -第 7 页,共 14 页精选学习资料 - - - - - - - - - 试验三 关系的闭包运算一. 试验目的熟识关系的闭包运算,编程实现关系闭包运算算法；利用矩阵求解有限集上给定关系的自反、对称和传递闭包；1. 算法分析 : 在三种闭包中自反和对称闭包的求解很简单,对矩阵表示的关系,其自反闭包只要将矩阵的主对角线全部置为 1 就可；对称闭包就加上关系的转置矩阵规律加法；传递闭包就直接依据 tR=R + ；2.

10、 程序代码 : #include using namespace std; void deliverint x100100,int y100100,int n; int main int i,j,n,R100100,r100100,s100100,t100100; coutn; coutendl 请输入 R的关系矩阵 :endl; fori=0;in;i+ / 输入 R的关系矩阵 forj=0;jRij; fori=0;in;i+ /将 R的关系矩阵赋值给r,s,t forj=0;jn;j+ rij=Rij; sij=Rij; tij=Rij; fori=0;in;i+ / 自反闭包运算 if

11、rii=0 rii=1; coutendl 自反闭包关系矩阵 rR:endl; 8 名师归纳总结 - - - - - - -第 8 页,共 14 页精选学习资料 - - - - - - - - - fori=0;in;i+ / 输出 r 的关系矩阵 forj=0;jn;j+ coutrij ; coutendl; fori=0;in;i+ / 对称闭包运算forj=0;ji;j+ ifsij=1|sji=1 sij=1; sji=1; coutendl 对称闭包关系矩阵 sR:endl; fori=0;in;i+ / 输出 s 的关系矩阵 forj=0;jn;j+ coutsij ; cout

12、endl; delivert,R,n; / 关于传递闭包的函数 return 0; void deliverint x100100,int y100100,int n/ 数 int i,j,k,m,z100100; form=0;mn;m+ fori=0;in;i+ forj=0;jn;j+ ifxij=1 fork=0;kn;k+ 关于传递闭包的函ifyjk=1 / 进行复合运算zik=1; 9 名师归纳总结 - - - - - - -第 9 页,共 14 页精选学习资料 - - - - - - - - - fori=0;in;i+ forj=0;jn;j+ ifzij.=1 zij=0;

13、fori=0;in;i+ forj=0;jn;j+ xij=xij+zij; / 进行传递闭包运算 fori=0;in;i+ forj=0;jn;j+ ifxij.=0 xij=1; coutendl 传递闭包关系矩阵 tR:endl; fori=0;in;i+ / 输出 x 的关系矩阵 forj=0;jn;j+ coutxij ; coutendl; 10 名师归纳总结 - - - - - - -第 10 页,共 14 页精选学习资料 - - - - - - - - - : 11 名师归纳总结 - - - - - - -第 11 页,共 14 页精选学习资料 - - - - - - - -

14、- 试验四 图的矩阵表示一. 试验目的熟识图的矩阵表示方法邻接矩阵、可达矩阵和关联矩阵；利用邻接矩阵得到的可达矩阵来求解图的连通性质；1. 算法分析 : 可达矩阵表示图中任意两个节点间的可达关系,而邻接矩阵表示图中任意两个节点的邻接关系；求解邻接矩阵 .1,.2,.3 .可知任意两个节点之间是否存在相互连通的路,从而 判定是否可达；2. 程序代码 : #include using namespace std; void main int i,j,k,n,m,a100100,b100100,c100100,d100100; coutn; cout 请输入邻接矩阵 a:endl; fori=0;i

15、n;i+ forj=0;jaij; bij=aij; fori=0;in;i+ / 矩阵 d 为零矩阵 forj=0;jn;j+ dij=0; form=0;mn;m+ fori=0;in;i+ / 矩阵 c 为零矩阵 forj=0;jn;j+ cij=0; fork=0;kn;k+ 12 名师归纳总结 - - - - - - -第 12 页,共 14 页精选学习资料 - - - - - - - - - fori=0;in;i+ forj=0;jn;j+ cki=cki+bkj*aji; / 矩阵的乘法运算 fori=0;in;i+ forj=0;jn;j+ bij=cij; dij=dij+bij; coutm 为m+1, 矩阵 b 为:endl; fori=0;in;i+ forj=0;jn;j+ coutbij ; coutendl; fori=0;in;i+ forj=0;jn;j+ ifdij.=0 dij=1; cout 可达矩阵 d 为 :endl; fori=0;in;i+ forj=0;jn;j+ coutdij ; coutendl; 13 名师归纳总结 - - - - - - -第 13 页,共 14 页精选学习资料 - - - - - - - - - : 14 名师归纳总结 - - - - - - -第 14 页,共 14 页