集合篇
对于给定集合A上的一个2元关系R,要求编程完成如下功能。
其中涉及的所有关系在程序内直接赋值,例如:
,上有关系,则其对应的关系矩阵为:,因此该关系可以采用一个二维数组 R[3][3]存储。
可选题目:(括号中为建议使用函数名)
判断该关系是否满足自反(isReflexive),如不是求出自反闭包(reflexiveClosure)判断是否满足对称(isSymmetric),如不满足求出对称闭包(symmetricClosure)判断是否满足反对称(isAntiSymmetric) 难度:简单
求出该关系的传递闭包(transitiveClosure,Warshall,使用两种方法求解,分别由两个不同的函数实现),判断该关系是否满足传递性(isTransitive) 难度:中等
判断是否等价关系(isEquivalence),如是求出相应的划分(partition)难度: 中等
判断是否相容关系(isCompatible),如是求出完全覆盖(fullCover)难度:较难
判断是否偏序关系(isPartialOrder),如是,求出所在集合A的极大元(maximal),极小元(minimal),最大元(greatest),最小元(least),给定A的任一子集B,求出子集B的上确界(supremum),下确界(infimum),(如果存在的话),判断该关系是否全序关系(isTotallyOrdered)。难度:较难
对于给定集合A上的一个2元关系R,要求编程完成如下功能。
其中涉及的所有关系在程序内直接赋值,例如:
,上有关系,则其对应的关系矩阵为:,因此该关系可以采用一个二维数组 R[3][3]存储。
可选题目:(括号中为建议使用函数名)
判断该关系是否满足自反(isReflexive),如不是求出自反闭包(reflexiveClosure)判断是否满足对称(isSymmetric),如不满足求出对称闭包(symmetricClosure)判断是否满足反对称(isAntiSymmetric) 难度:简单
求出该关系的传递闭包(transitiveClosure,Warshall,使用两种方法求解,分别由两个不同的函数实现),判断该关系是否满足传递性(isTransitive) 难度:中等
判断是否等价关系(isEquivalence),如是求出相应的划分(partition)难度: 中等
判断是否相容关系(isCompatible),如是求出完全覆盖(fullCover)难度:较难
判断是否偏序关系(isPartialOrder),如是,求出所在集合A的极大元(maximal),极小元(minimal),最大元(greatest),最小元(least),给定A的任一子集B,求出子集B的上确界(supremum),下确界(infimum),(如果存在的话),判断该关系是否全序关系(isTotallyOrdered)。难度:较难