离散数学上机实验报告(共14页).docx
精选优质文档-倾情为你奉上离散数学实验报告姓名：学号：班级：实验一 连结词逻辑运算一.实验目的实现二元合取、析取、蕴涵和等价表达式的计算。熟悉连接词逻辑运算规则，利用程序语言实现逻辑这几种逻辑运算。二.实验内容从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、蕴涵和等价四种运算的真值。要求对输入内容进行分析，如果不符合0、1条件需要重新输入，程序有良好的输入输出界面。三.实验环境使用Microsoft Visual C+6.0为编程软件，采用称C/C+语言为编程语言实现。四.实验过程1.算法分析:合取：p，q都为1的时候为1，其他为0 析取：p，q都为0的时候为0，其他为1 蕴含：p为1，q为0时为0，其他为1 等价：p，q同真同假2.程序代码:#include<stdio.h>int main()int P,Q,a,b,c,d,p,q;printf(" P的值");for(P=0;P<2;P+)for(Q=0;Q<2;Q+)printf("t%d",P);printf("n Q的值");for(P=0;P<2;P+)for(Q=0;Q<2;Q+)printf("t%d",Q);printf("n 非P的值");for(P=0;P<2;P+)for(Q=0;Q<2;Q+)if(P=0)/*判断非P的值*/p=1;elsep=0;printf("t%d",p);printf("n 非Q的值");for(P=0;P<2;P+)for(Q=0;Q<2;Q+)if(Q=1)/*判断非Q的值*/q=0;elseq=1;printf("t%d",q);printf("n P与Q的值");for(P=0;P<2;P+)for(Q=0;Q<2;Q+)if(Q=0|P=0)/*判断P与Q的值*/a=0;elsea=1;printf("t%d",a);printf("n P或Q的值");for(P=0;P<2;P+)for(Q=0;Q<2;Q+)if(Q=1|P=1)/*判断P或Q的值*/b=1;elseb=0;printf("t%d",b);printf("nP蕴含Q的值");for(P=0;P<2;P+)for(Q=0;Q<2;Q+)if(P=1&&Q=0)/*判断P蕴含Q的值*/c=0;elsec=1;printf("t%d",c);printf("nP等价Q的值");for(P=0;P<2;P+)for(Q=0;Q<2;Q+)if(P=Q)/*判断P等价Q的值*/d=1;elsed=0;printf("t%d",d);printf("n");return 0;3.实验数据及结果分析:实验二 关系的复合运算及逆运算一.实验目的熟悉关系的复合运算和逆运算，编程实现关系复合运算和逆运算算法。二.实验内容利用矩阵求解有限集上的复合关系和逆关系。三.实验过程1.算法分析:复合运算就将两个用矩阵表示的关系进行复合，即在第一个矩阵中寻找值为1的元素坐标(i ,j )，在第二个矩阵第j行寻找值为1的元素，若有，且坐标为(j ,k )，则产生的新的关系的矩阵中坐标为(i ,k )的元素值为1。逆运算就是将用矩阵中值为1的元素坐标(i ,j)对调，产生新的关系的矩阵中坐标为(j ,i )的元素值为1。2.程序代码:/关系的复合运算#include<iostream>using namespace std;int main()int a100100,b100100,c100100,i,j,k,n;cout<<"请输入集合X中元素的个数:"cin>>n;cout<<"请输入关系矩阵Mr的格式:"<<endl;for(i=0;i<n;i+)for(j=0;j<n;j+)cin>>aij;cout<<"请输入关系矩阵Ms的格式:"<<endl;for(i=0;i<n;i+)for(j=0;j<n;j+)cin>>bij;for(i=0;i<n;i+) /进行复合运算for(j=0;j<n;j+)if(aij=1)for(k=0;k<n;k+)if(bjk=1)cik=1;for(i=0;i<n;i+)for(j=0;j<n;j+)if(cij!=1)cij=0;cout<<endl;cout<<"关系矩阵Mr与Ms的复合运算结果是:"<<endl;for(i=0;i<n;i+)for(j=0;j<n;j+)cout<<cij<<" "cout<<endl;return 0;/关系的逆运算#include<stdio.h>int main()int a100100,b100100,n,i,j,index;printf("请输入集合X中元素的个数:");scanf("%d",&n);printf("请输入关系矩阵Mr的格式:n");for(i=0;i<n;i+)for(j=0;j<n;j+)scanf("%d",&aij);for(i=0;i<n;i+)/进行逆运算for(j=0;j<n;j+)if(aij=1)index=i;i=j;j=index;bij=1;for(i=0;i<n;i+)for(j=0;j<n;j+)if(bij!=1)bij=0;printf("n关系矩阵M rc为:n");for(i=0;i<n;i+)for(j=0;j<n;j+)printf("%d ",bij);printf("n");return 0;3.实验数据及结果分析:实验三 关系的闭包运算一.实验目的熟悉关系的闭包运算，编程实现关系闭包运算算法。二.实验内容利用矩阵求解有限集上给定关系的自反、对称和传递闭包。三.实验过程1.算法分析:在三种闭包中自反和对称闭包的求解很容易，对矩阵表示的关系，其自反闭包只要将矩阵的主对角线全部置为1就可；对称闭包则加上关系的转置矩阵（逻辑加法）；传递闭包则直接根据t(R)=R +。2.程序代码:#include<iostream>using namespace std;void deliver(int x100100,int y100100,int n);int main()int i,j,n,R100100,r100100,s100100,t100100;cout<<"请输入矩阵的阶:"cin>>n;cout<<endl<<"请输入R的关系矩阵:"<<endl;for(i=0;i<n;i+) /输入R的关系矩阵for(j=0;j<n;j+)cin>>Rij;for(i=0;i<n;i+) /将R的关系矩阵赋值给r,s,tfor(j=0;j<n;j+)rij=Rij;sij=Rij;tij=Rij;for(i=0;i<n;i+) /自反闭包运算if(rii=0)rii=1;cout<<endl<<"自反闭包关系矩阵r(R):"<<endl;for(i=0;i<n;i+) /输出r的关系矩阵for(j=0;j<n;j+)cout<<rij<<" "cout<<endl;for(i=0;i<n;i+) /对称闭包运算for(j=0;j<i;j+)if(sij=1|sji=1)sij=1;sji=1;cout<<endl<<"对称闭包关系矩阵s(R):"<<endl;for(i=0;i<n;i+) /输出s的关系矩阵for(j=0;j<n;j+)cout<<sij<<" "cout<<endl;deliver(t,R,n); /关于传递闭包的函数return 0;void deliver(int x100100,int y100100,int n)/关于传递闭包的函数int i,j,k,m,z100100;for(m=0;m<n;m+)for(i=0;i<n;i+) for(j=0;j<n;j+)if(xij=1)for(k=0;k<n;k+)if(yjk=1) /进行复合运算zik=1;for(i=0;i<n;i+) for(j=0;j<n;j+)if(zij!=1)zij=0;for(i=0;i<n;i+) for(j=0;j<n;j+)xij=xij+zij; /进行传递闭包运算for(i=0;i<n;i+) for(j=0;j<n;j+)if(xij!=0)xij=1;cout<<endl<<"传递闭包关系矩阵t(R):"<<endl;for(i=0;i<n;i+) /输出x的关系矩阵for(j=0;j<n;j+)cout<<xij<<" "cout<<endl;3.实验数据及结果分析:实验四 图的矩阵表示一.实验目的熟悉图的矩阵表示方法邻接矩阵、可达矩阵和关联矩阵。二.实验内容利用邻接矩阵得到的可达矩阵来求解图的连通性质。三.实验过程1.算法分析:可达矩阵表示图中任意两个节点间的可达关系，而邻接矩阵表示图中任意两个节点的邻接关系。求解邻接矩阵 A1，A2，A3An可知任意两个节点之间是否存在互相连通的路，从而判断是否可达。2.程序代码:#include<iostream>using namespace std;void main()int i,j,k,n,m,a100100,b100100,c100100,d100100;cout<<"请输入矩阵阶数:"cin>>n;cout<<"请输入邻接矩阵a:"<<endl;for(i=0;i<n;i+)for(j=0;j<n;j+)cin>>aij;bij=aij; for(i=0;i<n;i+) /矩阵d为零矩阵for(j=0;j<n;j+)dij=0;for(m=0;m<n;m+)for(i=0;i<n;i+) /矩阵c为零矩阵for(j=0;j<n;j+)cij=0;for(k=0;k<n;k+)for(i=0;i<n;i+)for(j=0;j<n;j+)cki=cki+bkj*aji; /矩阵的乘法运算for(i=0;i<n;i+)for(j=0;j<n;j+)bij=cij;dij=dij+bij;cout<<"m为"<<m+1<<",矩阵b为:"<<endl;for(i=0;i<n;i+)for(j=0;j<n;j+)cout<<bij<<" "cout<<endl; for(i=0;i<n;i+)for(j=0;j<n;j+)if(dij!=0)dij=1;cout<<"可达矩阵d为:"<<endl;for(i=0;i<n;i+)for(j=0;j<n;j+)cout<<dij<<" "cout<<endl; 3.实验数据及结果分析:专心-专注-专业
