南邮|离散数学实验二（加深对二元关系性质的理解以及对自反闭包，对称闭包和传递闭包的运算）

1.实验目的：加深对二元关系性质的理解以及对自反闭包，对称闭包和传递闭包的运算

2.实验要求：

（1）能够判定给定的关系是否满足(反)自反性、(反)对称性、传递性。

（2）计算给定关系的自反闭包、对称闭包和传递闭包。

#include 
#include 
using namespace std;

int N;//集合A中元素的个数
char* A;//集合A中的元素
int** MR;//关系矩阵

//自反性
int Reflexivity() {
	for(int i=0; i" <<" ";
			}
		}
	}
	cout << endl;
}

//对称闭包
void SymmetricalClosure() {
	cout <<"对称闭包:";
	for(int i=0; i" <<" ";
				if(i!=j) cout << "<" <" <<" ";
			}
		}
	}
	cout << endl;
}

//传递闭包
void WarShall() {
	int ** temp = MR;
	cout <<"传递闭包:";
	for(int i=0; i" <<" ";
			}
		}
	}
	cout << endl;
}

int FindIndex(char c) {
	for(int i =0; i>N;
	InitAAndMR();
	cout << "请输入集合A中的元素:";
	for(int i = 0; i> A[i];
	}
	int m;
	cout << "请输入关系的个数:";
	cin >>m;
	cout << "请输入二元关系:";
	char a,b;
	for(int i=0; i<2*m; i++) {
		if(i%2==0) {
			cin >> a;
		} else {
			cin >> b;
		}
		if((i+1)%2==0 && i) {
			MR[FindIndex(a)][FindIndex(b)]=1;
		}
	}

}

void Output() {
	cout <

测试数据：

A={a,b,c,d}

R={,,,}

R满足反自反性

自反闭包:

对称闭包:

传递闭包: