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

《集合上二元关系性质判定的实现.doc》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

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

2、函数Irreflexive()通过判断矩阵主对角线是否为0。4、函数Symmetry()判断矩阵A[x][y]是否等于A[y][x]5、函数Antisymmetry()判断A[x][y]*A[y][x]是否为16、函数Transitivity(）判断A[x][p]*A[p][y]==1&&A[x][y]是否为1以上各函数皆通过将集合化为矩阵并用循环遍历实现。四、实验内容#include#includeusingnamespacestd;intA[100][100];intn;voidIn

3、put()//输入函数{cout<<"请输入元素个数:";cin>>n;cout<<"请输入相应的"<>A[i][j];}}}voidAnalagmatic()//判断自反性{for(intx=0;x

4、()//判断反自反性{for(intx=0;x

5、dAntisymmetry()//判断反对称性{for(intx=0;x

6、

7、(y

8、[p][y]==1&&A[x][y]!=1)s=0;}p++;}if(s==0)cout<<"该二元关系不具有传递性"<

9、组中，所以在计算机查找的时候，要让计算机懂得去分割一组一组的关系，从而实现一组一组二元关系的转换。直接在输入时直接输入矩阵。七、程序设计总结二元关系所有的关系性质都可以通过矩阵图形来判断，对于传递性的判断较复杂，开始想了很久未果，最终还是要根据定义去判断，仔细去找仍然有规律可寻。评分细则评分项优秀良好中等差遵守机房规章制度上机时的表现学习态度算法思想准备情况程序设计能力解决问题能力课题功能实现情况算法设计合理性算法效能评价报告书写认真程度内容详实程度文字表达熟练程度回答问题准确度简短评语教师签名：年月日评分等级备注评分等级有

10、五种：优秀、良好、中等、及格、不及格