文件名称：自反对称传递
文件大小：3KB
文件格式：CPP
更新时间：2017-01-07 10:08:28
c语言 自反 对称
c语言编写离散判断是否满足自反（isReflexive），如不是求出自反闭包（reflexiveClosure） 判断是否满足对称（isSymmetric），如不满足求出对称闭包（symmetricClosure） 判断是否满足反对称（isAntiSymmetric） 求出该关系的传递闭包（transitiveClosure，Warshall,使用两种方法求解，分别由两个不同的函数实现），判断该关系是否满足传递性（isTransitive） 判断是否等价关系（isEquivalence）