文档介绍：离散数学实验报告专业班级: 12 级计算机本部一班姓名:鲍佳珍学号: 2012********** 实验成绩: 1.【实验题目】命题逻辑实验六 2.【实验目的】对称: 通过算法设计并编程实现对给定集合上的关系是否为对称关系的判断,加深学生对关系性质的理解,掌握用矩阵来判断关系性质的方法自反: 通过算法设计并编程实现对给定集合上的关系是否为自反关系的判断,加深学生对关系性质的理解,掌握用矩阵来判断关系性质的方法。 3.【实验内容】已知关系 R由关系矩阵 M给出,要求判断由 M表示的这个关系是否为对称关系。假定 R的关系矩阵为:???????????????1234 2103 3012 4321M 4、【实验要求】 C或C++语言编程实现 5. 【算法描述】对称: 从给定的关系矩阵来判断关系 R 是否为对称是很容易的。若 M(R 的关系矩阵)为对称矩阵,则 R是对称关系;若 M为反对称矩阵,则 R是反对称关系。因为R为对称的是等价关系的必要条件,所以,本算法可以作为判等价关系算法的子程序给出。算法实现: (1)输入关系矩阵 M(M为n阶方阵); (2)判断对称性,对于 i=2,3,….,n;j=1 ,2,……,i-1,若存在 m ij=m ji, 则R是对称的; (3)判断反对称性; (4)判断既是对称的又是反对称的; (5)判断既不是对称的又不是反对称的; (6)输出判断结果。自反: 从给定的关系矩阵来断判关系 R 是否为自反是很容易的。若 M(R 的关系矩阵)的主对角线元素均为 1 ,则 R 是自反关系;若 M(R 的关系矩阵)的主对角线元素均为 0,则R是反自反关系;若M(R的关系矩阵)的主对角线元素既有 1 又有 0,则R既不是自反关系也不是反自反关系。本算法可以作为判等价关系算法的子程序给出。算法实现(1)输入关系矩阵 M(M为n阶方阵)。(2)判断自反性,对于 i=1,2,….,n;若存在 m ii=0,则R不是自反的;若存在 m ii=1,则R是自反的;否则 R既不是自反关系也不是反自反关系。(3)输出判断结果。 6. 【源程序(带注释)】#include<> void z(); int main() { int a[30][30]; int m,n,i,j,c,b,d; c=d=0;b=0; d=1; while(d){ printf(" 欢迎使用关系性质的判断系统\n\n 1. 对称关系的判断 2. 自反关系的判断\n\n 请输入选项: "); scanf("%d",&d); switch(d){ case 1: printf(" 请输入矩阵的行数"); scanf("%d",&m); printf(" 请输入矩阵的列数"); scanf("%d",&n); for(i=0;i<m;i++){ for(j=0;j<n;j++){ printf(" 请输入矩阵关系中第%d 行第%d 列的数字: ",i,j); scanf("%d",&a[i][j]); }} printf(" 关系矩阵 M 为: \n"); for(i=0;i<m;i++) { for(j=0;j<n;j++) printf("%d ",a[i][j]); printf("\n"); } for(i=0;i<m;i++){ for(j=0;j<n;j++)