[理工] 离散数学transitive

楼主: gsmzxcvbnm   2016-04-26 17:39:46
http://i.imgur.com/Jw5lk8C.jpg
http://i.imgur.com/2Y0nLp0.jpg
可以问一下6-c的T
为何6,1 2,2这种组合会是transitive?
那个T^2是要干嘛的呀?
作者: kyuudonut (善良老百姓)   2016-04-26 19:52:00
transitive的前提是 若(a,b)及(b,c)存在,则(a,c)存在但你今天这个前提并没有存在 所以transitive例如R={(6,1),(1,2)}的话 则R不具transitive
楼主: gsmzxcvbnm   2016-04-26 20:02:00
解答说存在也
作者: TWkobe (中华柯比)   2016-04-26 20:16:00
假设T要有递移性质,根据定义必须满足R后,接着满足S,再接着sorry看错不过我确定R是二元关系,具有递移性的话<=>R^2包含于R所以把满足T的关系写成关系矩阵 , 然后借由刚刚说的可以检查递移, 得到T^2 有(2,2), 正好包含于T,所以满足递移有错请指正 QQ
作者: yorunohoshi (夜の星)   2016-04-26 20:34:00
T^n包含于T 是验证是否具递移性的方法另外(6,1) (2,2)两个点 一步就都能走到对方(或自己)所以具有递移性如果今天是(6,1) (1,2) 则因为6可以走2步到2 所以必须加入(6,2)才有递移性
作者: TWkobe (中华柯比)   2016-04-26 20:42:00
楼上大大向您求教,所以视这题错了吗?感觉不像是再问递移包
作者: yorunohoshi (夜の星)   2016-04-26 20:55:00
没有错哦 这题是用T^2来验证递移性 没有问到递移包
作者: TWkobe (中华柯比)   2016-04-26 20:57:00
QQ是我多心了 谢谢回复
作者: yorunohoshi (夜の星)   2016-04-26 21:01:00
可以看离散课本2—23页 定理2-3不会~
作者: kyuudonut (善良老百姓)   2016-04-26 22:22:00
@gsmzxcvbnm 解答说的是{(6,1), (2,2)}存在 =.=

Links booklink

Contact Us: admin [ a t ] ucptt.com