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

一、实验目的

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

二、实验内容

本实验要求从键盘输入一个关系的关系矩阵，判断该关系是否是自反的、对称的、传递的、反自反的、反对称的。用C语言或MATLAB实现。

三、实验源程序

#define _CRT_SECURE_NO_WARNINGS//避免scanf编译不通过
#include <stdio.h>
#include <stdlib.h>
void Input();//输入关系矩阵
bool Ref();//判断是否自反
bool NoRef();//判断是否反自反
bool Sym();//判断是否对称
bool NoSym();//判断是否反对称
bool Tra();//判断是否传递
int matrix[100][100]{ 0 };
int line;
int main()
{
	Input();
	if (Ref())
		printf("该关系是自反的\n");
	if (NoRef())
		printf("该关系是反自反的\n");
	if (Sym())
		printf("该关系是对称的\n");
	if (NoSym())
		printf("该关系是反对称的\n");
	if (Tra())
		printf("该关系是传递的！\n");
	return 0;
}
 
void Input()
{
	printf("请输入关系矩阵的行列数(行列数小于等于100)：\n");
	scanf("%d", &line);
	if (line > 100 || line < 1)//判断行列数是否合法
	{
		printf("非法输入！\n");
		exit(0);
	}
	printf("请输入关系矩阵：\n");
	for (int i = 0;i < line;i++)
	{
		for (int j = 0;j < line;j++)
		{
			scanf("%d", &matrix[i][j]);
			if (matrix[i][j] >= 2 || matrix[i][j] < 0)
			{
				printf("输入关系矩阵错误\n");
				exit(0);
			}
		}
	}
}
bool Tra()
{
	for (int i = 0;i < line;i++)
	{
		for (int j = 0;j < line;j++)//二重数组遍历关系矩阵
		{
			if (matrix[i][j] == 1)//如果第i行j列的元素是1
			{
				for (int k = 0;k < line;k++)//开始搜索第j行为1的元素
				{
					if (matrix[j][k] == 1)
					{
						if (matrix[i][k] != 1)
							return false;//如果存在这种情况：第i行第j
//列和第j行第k列的元素均为1，但是第i行第k列的元素不为1，则不具有传递性
					}
				}
			}
		}
	}
	return true;
}
bool Ref()
{
	for (int i = 0;i < line;i++)
	{
		if (matrix[i][i] != 1)
			return false;//只要主对角线元素存在非1元素，即不具有自反性
	}
	return true;
}
bool NoRef()
{
	for (int i = 0;i < line;i++)
	{
		if (matrix[i][i] != 0)//只要对角线存在非0元素，即不具有反自反性
			return false;
	}
	return true;
}
bool Sym()
{
	for (int i = 0;i < line;i++)
	{
		for (int j = 0;j < line;j++)
		{
			if (matrix[i][j] != matrix[j][i])
	//只要第i行第j列元素和第j行第i列元素不相等，即不是对称矩阵，则不具有对称性
				return false;
		}
	}
	return true;
}
bool NoSym()
{
	for (int i = 0;i < line;i++)
	{
		for (int j = 0;j < line;j++)
		{
			if (matrix[i][j] == matrix[j][i] 
			        && (matrix[i][j] == 1 || matrix[j][i] == 1))
	//只要存在两个对称位置元素中，存在一个为1，另一个同样为1，则不具有反对称性
				return false;
		}
	}
	return true;
}

四、实验分析

实验要求利用关系矩阵判断五个性质，我们要了解这些性质在关系矩阵的体现是什么。正如源代码中的注释。之后，码代码是很简单的。