用4000以上字数具体说明离散数学中关于R的传递闭包tR= R∪R²∪R³∪U Rᵏ⁻¹。 1第一步根据关系图总结传递闭包的方法自己总结一个与上面这个式子类似的传递闭包的式子最后一项的幂可以是一个具体的值或者自己研究发现其他的 2第二步解释说明为什么给出的是这个一个式子说明其合理性3第三步证明你给出的式子确实也是关系R的传递闭包 4第四步讨论你给出的式子和书上给的式子tR= R∪R²∪R³∪U R
-
自己总结的传递闭包式子为:t(R) = R∪R³∪R⁵∪...U R²∪R⁴∪R⁶∪...,其中第一部分是奇数次幂的集合,第二部分是偶数次幂的集合。
-
这个式子的合理性在于,传递闭包的定义是将关系中所有可以通过有限次转换到达的元素对加入关系中,也就是说,如果元素 a 可以通过一定的转换到达元素 b,那么 a 和 b 就应该在关系中有一条边相连。因此,如果关系 R 中存在从 a 到 b 的路径,那么 a 和 b 的距离可以是任意的奇数或偶数,因此需要考虑所有奇数次幂和偶数次幂的情况,才能确保传递闭包的正确性。
-
证明这个式子确实也是关系 R 的传递闭包,需要证明它具有传递性、自反性和对称性。
首先证明传递性,假设存在 aRc 和 cRb 成立,那么 a 和 c 之间的距离为奇数,c 和 b 之间的距离为偶数。因此,a 和 b 之间的距离可以是任意的奇数或偶数,因此 aRb 成立,即这个式子具有传递性。
然后证明自反性,对于任意元素 a,它与自身的距离为 0,因此 aRa 成立,即这个式子具有自反性。
最后证明对称性,假设存在 aRb,那么 a 和 b 之间的距离可以是任意的奇数或偶数,因此 bRa 也成立,即这个式子具有对称性。
综上所述,这个式子确实也是关系 R 的传递闭包。
- 与书上给的式子 t(R) = R∪R²∪R³∪....U Rᵏ⁻¹ 相比,两者的区别在于幂的取值不同。书上给的式子中,幂的取值是从 2 到 k-1,而自己总结的式子中,幂的取值是从 3 开始的奇数次幂和偶数次幂。这个区别在于对于距离为 1 的元素对,书上的式子中会直接加入到关系中,而自己总结的式子中需要通过距离为 2 的元素对来加入。因此,自己总结的式子相对于书上的式子,会更加严谨,但计算的复杂度也会更高
原文地址: https://www.cveoy.top/t/topic/hsNn 著作权归作者所有。请勿转载和采集!