离散数学实验四 关系闭包计算

一、实验目的
熟悉Warshall算法，掌握求关系的自反闭包、对称闭包和传递闭包的方法。

二、实验内容

定义1  设R是A上的二元关系，R的自反（对称、传递）闭包是关系R1，则

① R1是自反的（对称的、传递的）
② RR1
③对任何自反的（对称的、传递的）关系R2，若RR2，则R1R2。
R的自反、对称和传递闭包分别记为r®、s®和t®。

定理1  令RAA，则

① r®=R∪IA
② s®=R∪R-1
③ t®=R∪R2∪R3…

Warshall算法：设R是n个元素集合上的二元关系，M是R的关系矩阵；

(1)置新矩阵A:=M
(2)置i:=1；
(3)for j=1 to n do
if A[j,i]=1 then do
for k=1 to n do
A[j,k]:=A[j,k]+A[i,k]
(4)i=i+1；
(5) if i<=n then to (3)(6) (7)(8)(9)(10)(11)(12)(13)(14)(15)(16)(17)(18)(19)(20)(21)(22)(23)(24)
else stop

本实验要求从键盘输入一个关系的关系矩阵，计算其自反闭包、对称闭包和传递闭包，计算传递闭包时使用Warshall算法。用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]);
		}
	}
	for(i=0