大连民族学院计算机科学与工程学院实验报告实验题目

大连民族学院计算机科学与工程学院实验报告实验题目： 1. 二元关系 2. 代数系统

大连民族学院 计算机科学与工程学院实验报告 1. 实验题目：二元关系 2. 代数系统 课程名称：离散数学 □□ □□  实验类型：演示性验证性操作性设计性综合性 132 2013082204 专业：软件工程班级：班学生姓名：黄正勤学号： 20141122—1215 实验日期：年月日月日 实验地点：金石滩校区机房 16 实验学时：学时实验成绩： 指导教师：焉德军姜楠 二元关系 （一） 1. 实验题目 对给定表示有穷集上关系的矩阵，确定这个关系是否是自反的或反自反的；对称的 或反对称的；是否传递的。 2. 实验原理 RflayR 从给定的关系矩阵来断判关系是否为自反是很容易的。若（的关系矩阵） 1RflayR 的主对角线元素均为，则是自反关系；若（的关系矩阵）的主对角线元素均 0RflayR10 为，则是反自反关系；若（的关系矩阵）的主对角线元素既有又有，则 Rflay[i][j] 既不是自反关系也不是反自反关系。而对于对称性，只需要判断矩阵所有的 flay[j][i] 与其对应的是否都相等；若全部相等，则为对称；否则反之。对于传递性，则 Rflag[i][j]R 需要利用线性代数的方法求出的关系矩阵的平方矩阵，只需验证所有的（ 1flay[i][j]R1 的关系矩阵的平方矩阵）等于的地方，在（的关系矩阵）等于，则具有 传递性；否则反之。