【离散数学】【改进版】实验二 集合上二元关系性质判定的实现

性质判断原理和编码思路

         关于自反性、对称性、传递性、反自反性和反对称性的定义不在此赘述。自反性对称性和反自反反对称比较简单，关于传递性的判断，我们使用Warshall算法计算传递闭包，当传递闭包对应的关系矩阵与原关系矩阵一致时，我们认为它是满足传递性的。

关于编码思路，做个提纲： 

         一共6个函数，前5个函数分别表示对5个性质的判断，第6个是Warshall算法函数，实现封装机制，在第3个判断传递性的函数中直接调用函数6即可。

关于输入输出的说明：第一次输入的是集合元素个数，第二个输入的是关系个数，然后接着输入关系，输出结果判断，我将在下面以例子说明。

实现代码：

#include <iostream>
#include <cstdlib>
#include <cstdio>
#include <cstring>
#include <vector>
#include <string.h>
#include <cstring>
using namespace std;

const int LEN = 100;
boo