集合上二元关系性质判定的实现

1、离散数学实验报告（2015/ 2016 学年 第 一 学期）题 目：集合上二元关系性质判定的实现 专 业 学 生 姓 名 班 级 学 号 指 导 教 师 指 导 单 位 计算机学院计算机科学与技术系 日 期 2015年10月20日 集合上二元关系性质判定的实现一、 实验内容和要求内容：编程实现任意集合上二元关系的性质判定。要求：能正确判定任意二元关系的自反性、对称性、传递性、反自反性和反对称性。二、实验目的能够利用编程正确判定任意二元关系的自反性、对称性、传递性、反自反性和反对称性。3、 实验任务1、主函数流程图：2、 函数Analagmatic()通过判断矩阵主对角线是否为1。3、 函数Ir

2、reflexive()通过判断矩阵主对角线是否为0。4、 函数Symmetry() 判断矩阵Axy是否等于Ayx5、 函数Antisymmetry()判断Axy*Ayx是否为16、 函数Transitivity(） 判断Axp*Apy=1&Axy是否为1以上各函数皆通过将集合化为矩阵并用循环遍历实现。四、实验内容#include#includeusing namespace std;int A100100; int n;void Input() /输入函数coutn;cout请输入相应的n阶矩阵(0,1)endl;for(int i=0;in;i+)for(int j=0;jAij;void

3、Analagmatic() /判断自反性for(int x=0;xn&Axx=1;x+)if (x=n)cout该二元关系具有自反性endl;elsecout该二元关系不具有自反性endl;void Irreflexive() /判断反自反性for(int x=0;xn&Axx=0;x+)if(x=n)cout该二元关系具有反自反性endl;elsecout该二元关系不具有反自反性endl;void Symmetry() /判断对称性for(int x=0;xn;x+)for(int y=0;yn&Axy=Ayx;y+);if(y!=n)cout该二元关系不具有对称性endl;return;c

4、out该二元关系具有对称性endl;void Antisymmetry() /判断反对称性for(int x=0;xn;x+)for(int y=0;(yn&Axy*Ayx!=1)|(yn&x=y);y+);if(y!=n)cout该二元关系不具有反对称性endl;return;cout该二元关系具有反对称性endl;void Transitivity() /判断传递性int s=1;for(int x=0;xn;x+)int p=0;for(int y=0;xy;y+)if(Axp*Apy=1&Axy!=1) s=0;p+;if(s=0)cout该二元关系不具有传递性endl;elsecou

5、t该二元关系具有传递性endl;int main()Input();Analagmatic();Irreflexive();Symmetry();Antisymmetry();Transitivity();return 0;五、测试数据及其结果分析实验操作过程及实验数据测试如上图。6、 调试过程中的问题如何将二元关系一一对应到矩阵中，由于用户键入的二元关系组储存在一维数组中，所以在计算机查找的时候，要让计算机懂得去分割一组一组的关系，从而实现一组一组二元关系的转换。直接在输入时直接输入矩阵。七、程序设计总结二元关系所有的关系性质都可以通过矩阵图形来判断，对于传递性的判断较复杂，开始想了很久未果，最终还是要根据定义去判断，仔细去找仍然有规律可寻。 评 分 细 则评分项优秀良好中等差遵守机房规章制度上机时的表现学习态度算法思想准备情况程序设计能力解决问题能力课题功能实现情况算法设计合理