自反闭包、对称闭包、传递闭包、正闭包、克林闭包(个人感悟)

 好久没看闭包知识今天被这几个闭包给弄晕了,搜了些资料浅浅整理一下。

以下是个人感悟,不一定对,欢迎指正。

三大关系闭包

自反闭包、对称闭包、传递闭包、正闭包、克林闭包(个人感悟)_第1张图片

图源点此处

首先这三个闭包都是包含R本身的,是在R的基础上加上特定性质的集合。

R的话就是类似{(a,b),(a,c),(b,c)} 的集合。

R={(a,b),(a,c),(b,c),(c,a)}

下面会用红色标注出多的部分。

自反闭包 r(R)的话就是R+R^{_{0}},即r(R)= {(a,a),(a,b),(a,c),(b,b),(b,c),(c,a),(c,c)}

其中,R^{_{0}} = {(a,a),(b,b),(c,c)}。

对称闭包 s ( R )就是,如果R有(a,b)的话,就要添加上反着的,即(b,a)。s ( R ) = {((a,b),(a,c),(b,a),(b,c),(c,a),(c,b)}

传递闭包 t ( R ) 就是,如果有(a,b) 且有(b,c),则需要加上(a,c)。t(R) = {(a,a),(a,b),(a,c),(b,c),(c,a)}。

正闭包

自反闭包、对称闭包、传递闭包、正闭包、克林闭包(个人感悟)_第2张图片

 正闭包感觉等价于传递闭包 。

克林闭包

自反闭包、对称闭包、传递闭包、正闭包、克林闭包(个人感悟)_第3张图片

克林闭包感觉等于正闭包+R^{_{0}} ,也就是自反传递闭包。

(by 归忆)

你可能感兴趣的:(自动机,离散数学,自动机,闭包,自反闭包,对称闭包,传递闭包,克林闭包)