《离散数学二元关系传递性判别、闭包方法实验报告(共9页)》由会员分享，可在线阅读，更多相关《离散数学二元关系传递性判别、闭包方法实验报告(共9页)（9页珍藏版）》请在装配图网上搜索。
1、离散数学二元关系传递性判别、闭包方法实验报告学院：理学院 班级：11信息与计算科学1班 姓名：* 学号：*一、 实验目的1. 通过上机程序，进一步加深对二元关系传递性判别，自反闭包，对称闭包，传递闭包的理解。 2. 掌握传递性判别，Warshall算法。 3. 学会用程序解决离散数学中的问题。 4. 增强我们编写程序的能力二、 实验内容 实验1：二元关系传递性判别实验2：有限集上给定关系的自反、对称和传递闭包（用Warshall算法）。 三、 实验环境 在microsoft visual c+实验环境下完成的，而所设计的程序也在这个环境下通过了编译，运行和测试。 四、 实验原理和实现过程实验1
2、：#include using namespace std;void main()int n,i,j,k;int m=0; /m是判断传递关系计数参数coutn;int a2020;for(i=1;i=n;i+)for(j=1;j=n;j+)cout请输入aijaij; /输入R矩阵coutR的关系矩阵为：endl;for(i=1;i=n;i+)for(j=1;j=n;j+)coutaij ;coutendl; /输出R矩阵for(i=1;i=n;i+)for(j=1;j=n;j+)if(aij!=0)for(k=1;k=n;k+)if(aikajk /利用布尔加的特征，前一行数大于后一行m=
3、m+1; /如果有一个数不成立，m加1if(m=0) coutR有传递关系endl;else coutR没有传递关系endl;实验2:1) 自反闭包#include using namespace std;void main()int n,i,j;coutn;int a2020;for(i=1;i=n;i+)for(j=1;j=n;j+)cout请输入aijaij;coutR的关系矩阵为：endl;for(i=1;i=n;i+)for(j=1;j=n;j+)coutaij ;coutendl;for(i=1;i=n;i+)for(j=1;j=n;j+)if(aij!=0)aii=1;ajj=1
4、; /把符合条件的对角线上的值改为1coutR的关系矩阵为：endl;for(i=1;i=n;i+)for(j=1;j=n;j+)coutaij ;coutendl;2) 对称闭包#include using namespace std;void main()int n,i,j;coutn;int a2020;for(i=1;i=n;i+)for(j=1;j=n;j+)cout请输入aijaij;coutR的关系矩阵为：endl;for(i=1;i=n;i+)for(j=1;j=n;j+)coutaij ;coutendl;for(i=1;i=n;i+)for(j=1;j=n;j+)if(ai
5、j!=0)aji=1; /对称元素的值改为1coutR的对称闭包矩阵为：endl;for(i=1;i=n;i+)for(j=1;j=n;j+)coutaij ;coutendl;3) 传递闭包#include using namespace std;void main()int n,i,j,k;int m=0;coutn;int a2020;for(i=1;i=n;i+)for(j=1;j=n;j+)cout请输入aijaij;coutR的关系矩阵为：endl;for(i=1;i=n;i+)for(j=1;j=n;j+)coutaij ;coutendl;for(j=1;j=n;j+)for(
6、i=1;i=n;i+)if(aij=1)for(k=1;k=n;k+)aik=aik+ajk; /warshall方法if(aik=2) aik=1; /规范布尔加coutR的传递闭包矩阵为：endl;for(i=1;i=n;i+)for(j=1;j=n;j+)coutaij ;coutendl;五、 实验输入输出和数据实验1：1） 输入没有传递关系的关系矩阵R2)输入课本P30/例2.6实验2：1） 自反闭包2)对称闭包3）传递闭包 P52/例2.13六、 实验体会通过这次的实验，使我明白了，平日里学习不能浅尝辄止，必须要知道它的方法。做这次实验前我以为我对这块知识已经很熟了，但实际做的时候，发现我还是不是特别懂，必须要反复看书。其次，让我知道了，我平时学的数学知识可以很好的跟计算机结合，让我对程序设计有了更好的人是。
离散数学二元关系传递性判别、闭包方法实验报告(共9页)
