发布网友 发布时间:2022-07-03 09:35
共2个回答
热心网友 时间:2023-11-05 22:46
直接根据现有离散数学教材中偏序关系中“盖住”的定义,来判定偏序关系中的盖住集,有时比较困难。文中通过对教材中偏序关系中“盖住”定义的深入分析,将定义“对于任意a,b∈A,当〈a,b〉∈R,a≠b且没有其它元素c满足〈a,c〉∈R和〈c,b〉∈R,则称元素b盖住元素a,并且记ODVR={〈a,b〉|a,b∈A;b盖住a}”改为“对于任意〈a,b〉∈RRa=b,则〈a,b〉∈IR,令R1=R-IR,则R1-(R1OR1)为盖住集”,得出一种等价的定义形式。利用该等价定义可以较好地实现盖住集的判定。热心网友 时间:2023-11-05 22:47
例如:图形或集合A,B