离散数学二元关系传递性判别、闭包方法实验报告.docVIP

. . 离散数学二元关系传递性判别、闭包方法实验报告 学院：理学院 班级：11信息与计算科学1班 姓名：*** 学号：************* 实验目的 1. 通过上机程序，进一步加深对二元关系传递性判别，自反闭包，对称闭包，传递闭包的理解。 2. 掌握传递性判别，Warshall算法。 3. 学会用程序解决离散数学中的问题。 4. 增强我们编写程序的能力 实验内容 实验1：二元关系传递性判别 实验2：有限集上给定关系的自反、对称和传递闭包（用Warshall算法）。 实验环境 在microsoft visual c++实验环境下完成的，而所设计的程序也在这个环境下通过了编译，运行和测试。 实验原理和实现过程 实验1： #include <iostream> using namespace std; void main() { int n,i,j,k; int m=0; //m是判断传递关系计数参数 cout<<"请输入矩阵的行列数n:"; cin>>n; int a[20][20]; for(i=1;i<=n;i++) { for(j=1;j<=n;j++) { cout<<"请输入a["<<i<<"]["<<j<<"]:"; cin>>a[i][j]; } } //输入R矩阵 cout<<"R的关系矩阵为："<<endl; for(i=1;i<=n;i++) { for(j=1;j<=n;j++) { cout<<a[i][j]<<" "; } cout<<endl; } //输出R矩阵 for(i=1;i<=n;i++) { for(j=1;j<=n;j++) { if(a[i][j]!=0) { for(k=1;k<=n;k++) { if(a[i][k]<a[j][k] //利用布尔加的特征，前一行数大于后一行 { m=m+1; //如果有一个数不成立，m加1 } } } } } if(m==0) cout<<"R有传递关系"<<endl; else cout<<"R没有传递关系"<<endl; } 实验2: 自反闭包 #include <iostream> using namespace std; void main() { int n,i,j; cout<<"请输入矩阵的行列数n:"; cin>>n; int a[20][20]; for(i=1;i<=n;i++) { for(j=1;j<=n;j++) { cout<<"请输入a["<<i<<"]["<<j<<"]:"; cin>>a[i][j]; } } cout<<"R的关系矩阵为："<<endl; for(i=1;i<=n;i++) { for(j=1;j<=n;j++) { cout<<a[i][j]<<" "; } cout<<endl; } for(i=1;i<=n;i++) { for(j=1;j<=n;j++) { if(a[i][j]!=0) { a[i][i]=1; a[j][j]=1; //把符合条件的对角线上的值改为1 } } } cout<<"R的关系矩阵为："<<endl; for(i=1;i<=n;i++) { for(j=1;j<=n;j++) { cout<<a[i][j]<<" "; } cout<<endl; } } 对称闭包 #include <iostream> using namespace std; void main() { int n,i,j; cout<<"请输入矩阵的行列数n:"; cin>>n; int a[20][20]; for(i=1;i<=n;i++) { for(j=1;j<=n;j++) { cout<<"请输入a["<<i<<"]["<<j<<"]:"; cin>>a[i][j]; } } cout<<"R的关系矩阵为："<<endl; for(i=1;i<=n;i++) { for(j=1;j<=n;j++) { cout<<a[i][j]<<" "; } cout<<endl; } for(i=1;i<=n;i++) { for(j=1;j<=n;j++) { if(