离散数学实验三 关系性质判断

一、实验目的

熟悉关系的性质，掌握求判断关系性质的方法

二、实验内容

定义1 设R是集合X上的二元关系，对任意的x∈X，都满足<x,x>∈R，则R是自反的。
定义2 设R是集合X上的二元关系，对任意的x∈X，都满足<x,x>R，则R是反自反的。
定义3 设R是集合X上的二元关系，对任意的x,y∈X，满足<x,y>∈R<y,x>∈R，则R是对称的。
定义4 设R是集合X上的二元关系，对任意的x,y∈X，满足<x,y>∈R∧<y,x>∈Rx＝y,则R是反对称的。X`
定义5 设R是集合X上的二元关系，对任意的x,y,z∈X，满足<x,y>∈R∧<y,z>∈R<x,z>∈R,则R是传递的。
本实验要求从键盘输入一个关系的关系矩阵，判断该关系是否是自反的、对称的、传递的、反自反的、反对称的。用C语言或MATLAB实现。

三、实验源程序及结果截图
1.实验源程序：

#include <stdio.h>
#include <stdlib.h>

int main() {
   
	int i,j,n;
	//输入关系矩阵，只能输入0或1，若不是0或1，提示输入错误并结束程序 
	printf("请输入关系矩阵阶数n：\n");
	scanf("%d",&n);
	int a[n][n];
	printf("请输入关系矩阵真值（0或1）：\n");
	for(i=0;i<n;i++){
   
		for(j=0;j<n;j++){
   
			scanf("%d",&a[i][j