下载此文档

离散数学关系性质的C++或C语言判断实验报告.doc


文档分类:高等教育 | 页数:约6页 举报非法文档有奖
1/6
下载提示
  • 1.该资料是网友上传的,本站提供全文预览,预览什么样,下载就什么样。
  • 2.下载该文档所得收入归上传者、原创者。
  • 3.下载的文档,不会出现我们的网址水印。
1/6 下载此文档
文档列表 文档介绍
离散数学实验报告
专业班级:12级计算机本部一班 姓名:鲍佳珍
学号: 2012********** 实验成绩:
1.【实验题目】
命题逻辑实验六
【实验目的】
对称:
通过算法设计并编程实现对给定集合上的关系是否为对称关系的判断,加深学生对关系性质的理解,掌握用矩阵来判断关系性质的方法
自反:
通过算法设计并编程实现对给定集合上的关系是否为自反关系的判断,加深学生对关系性质的理解,掌握用矩阵来判断关系性质的方法。
3.【实验内容】
已知关系R由关系矩阵M给出,要求判断由M表示的这个关系是否为对称关系。假定R的关系矩阵为:
4、【实验要求】
C或C++语言编程实现
【算法描述】
对称:
从给定的关系矩阵来判断关系R是否为对称是很容易的。若M(R的关系矩阵)为对称矩阵,则R是对称关系;若M为反对称矩阵,则R是反对称关系。因为R为对称的是等价关系的必要条件,所以,本算法可以作为判等价关系算法的子程序给出。
算法实现:
输入关系矩阵M(M为n阶方阵);
判断对称性,对于i=2,3,….,n;j=1,2,……,i-1,若存在mij=mji,则R是对称的;
判断反对称性;
判断既是对称的又是反对称的;
判断既不是对称的又不是反对称的;
输出判断结果。
自反:
从给定的关系矩阵来断判关系R是否为自反是很容易的。若M(R的关系矩阵)的主对角线元素均为1,则R是自反关系;若M(R的关系矩阵)的主对角线元素均为0,则R是反自反关系;若M(R的关系矩阵)的主对角线元素既有1又有0,则R既不是自反关系也不是反自反关系。本算法可以作为判等价关系算法的子程序给出。
算法实现
输入关系矩阵M(M为n阶方阵)。
判断自反性,对于i=1,2,….,n;若存在mii=0,则R不是自反的;若存在mii=1,则R是自反的;否则R既不是自反关系也不是反自反关系。
输出判断结果。
【源程序(带注释)】
#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]);

离散数学关系性质的C++或C语言判断实验报告 来自淘豆网www.taodocs.com转载请标明出处.

非法内容举报中心
文档信息
  • 页数6
  • 收藏数0 收藏
  • 顶次数0
  • 上传人慢慢老师
  • 文件大小160 KB
  • 时间2021-02-19