- 1、本文档共8页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
大连民族学院
计算机科学与工程学院实验报告
实验题目: 判断关系的性质
课程名称: 离散数学
实验类型:□演示性 □验证性 □操作性 □设计性 □综合性
专业: 班级: 学生姓名: 学号:
实验日期: 年 月 日 实验地点:
实验学时: 实验成绩:
指导教师签字: 年 月 日
实验报告正文部分(具体要求详见实验报告格式要求)
实验报告格式
[实验题目] 判断关系的性质
[实验目的] 使学生掌握利用计算机语言实现判断关系性质的基本方法。
[实验环境] Microsoft Visual C++6.0
[实验原理]
实验内容与要求:对给定表示有穷集上关系的矩阵,确定这个关系是否是自反的或反自反的;对称的或反对称的;是否传递的。
通过二元关系与关系矩阵的联系,可以引入N维数组,以数组的运算来实现二元关系的判断。
图示:
性质 关系矩阵特性 自反性 主对角线元素全为1 反自反性 主对角线元素全为0 对称性 对称矩阵 反对称性 非主对角线上的元素等于1且与之对称的元素等于0 传递性 矩阵(M*M)中1所在的位置,M中与之相对应位置鲜红都为1
程序源代码:
#includestdio.h
#define N 4
main()
{
int i,j,k;
int f,e,z;
int M[N][N];
printf(判断R是否为自反关系、对称关系、是否可传递?\n);
printf(请输入一个4*4的矩阵。\n);
for(i=0;iN;i++) /*输入一个4*4的矩阵*/
for(j=0;jN;j++)
scanf(%d,M[i][j]);
for(i=0;iN;i++)
{
for(j=0;jN;j++)
printf(%4d,M[i][j]);
printf(\n);
}
for(i=0;iN;i++)
{
if(M[i][i]==1)//判断自反性
{
if(i==N-1)
e=0;
else
;
}
else if(M[i][i]==0)//判断反自反性
{
if(i==N-1)
e=1;
else
;
}
else
{
e=2;
break;
}
}
for(i=0;iN;i++)
{
for(j=0;jN;j++)
if(M[i][j]!=M[j][i])//判断对称性
{
f=1;
break;
}
}
for(i=0;iN;i++)
{
for(j=0;jN;j++)
if(M[i][j]==1)//判断反对称性
{
if(M[j][i]==0)
{
if(i==(N-1)j==N-1)
f=0;
else
break;
}
}
}
if(f!=0f!=1)
{
f=2;
}
for(i=0;iN;i++)//判断可传递性
for(j=0;jN;j++)
文档评论(0)