上传者: u012321080
|
上传时间: 2021-11-11 21:46:43
|
文件大小: 3KB
|
文件类型: -
c语言编写离散判断是否满足自反(isReflexive),如不是求出自反闭包(reflexiveClosure)
判断是否满足对称(isSymmetric),如不满足求出对称闭包(symmetricClosure)
判断是否满足反对称(isAntiSymmetric)
求出该关系的传递闭包(transitiveClosure,Warshall,使用两种方法求解,分别由两个不同的函数实现),判断该关系是否满足传递性(isTransitive)
判断是否等价关系(isEquivalence)