1、
实 验 报 告
(2014 / 2015 学年 第 一 学期)
课程名称
离散数学
实验名称
集合上二元关系性质判定的实现
实验时间
2014
年
10
月
22
日
指导单位
计算机科学与技术系
指导教师
罗卫兰
学生姓名
陶飞
班级学号
B13040932
学院(系)
计算机
专 业
软件工程
实 验 报 告
实验名称
集合上二元关系性质判定
指导教师
罗卫兰
实验类型
上机实验
实验学时
4
实验时间
一、 实验目的和要求
能正确判定任意二元关系的自反
2、性、对称性、传递性、反自反性和反对称性。
二、实验环境(实验设备)
VC6.0
三、实验原理及内容
内容:首先输入二元关系中的元素个数,在输入相应二元关系形成的矩阵(只包含0或1),输出所有的二元关系性质。
原理:根据矩阵的图形及某种性质矩阵图的特点判断出是否具有该种性质。
3、
代码:
#include
#include
using namespace std;
int
4、 A[100][100];
int n;
void Input()
{
cout<<"请输入元素个数:";
cin>>n;
cout<<"请输入相应的"<>A[i][j];
}
}
}
void Analagmatic()//判断自反性
{
for(int x=0;x5、具有自反性"<6、A[y][x];y++);
{
}
if(y!=n)
{ cout<<"该二元关系不具有对称性"<7、eturn;
}
}
cout<<"该二元关系具有反对称性"<8、<