目录
1. 用矩阵表示关系
matrices 矩阵
digraph 有向图
2. 关系的性质(研究同一个集合)
reflexive 自反性
symmetric 对称性
antisymmetric 反对称性
具有对称性的矩阵,对称位置必须都为0或者都为1
具有反对称性的矩阵,对称位置绝对不可能都为1
transitive 传递性
3. 关系的运算
关系的并交运算
关系的复合运算
R对到M:R的第一行分别去对应S的每一列
关系的幂运算
4. closure of relations 关系的闭包
(不考虑删除来得到反对称性等性质)
reflexive closures 自反闭包
symmetric closures 对称闭包
transitive closures 传递闭包
法1:不断求复合,直到n
法2:Warshall’s closures
W0就是原矩阵。
W1:考虑第一个节点(a)作为中间节点,寻找一条边(以i为起点,j为终点),从i到j,中间只有一个a节点,设置矩阵的ij位置为1
看图发现,只有b a d这条边满足条件,b对应2,d对应4,那么W1就是在W0的基础上把24位置设置为1
W2:a、b作为中间节点
看图发现,不存在满足条件的边,所以W2=W1
W3:a、b、c作为中间节点
看图发现,b c d、b c a、d c a、d c d这四条边都满足条件,24、21、41、44位置置1
W4:a、b、c、d作为中间节点
看图发现,a d c、c d c、a d c a满足条件,13、33、11设置
求解闭包方法总结
关系图
关系运算
5. equivalence relations 等价关系
以m为模的同余关系
equivalence classes 等价类
注意这里的非空集合A实际上是整数集Z哦~(请看同余关系的定义)