[理工] 離散數學transitive消失

看板Grad-ProbAsk作者時間9年前 (2016/04/26 17:39), 9年前編輯推噓9(9推 0噓 12→)
留言21則, 4人參與, 最新討論串1/1
http://i.imgur.com/Jw5lk8C.jpg
http://i.imgur.com/2Y0nLp0.jpg
可以問一下6-c的T 為何6,1 2,2這種組合會是transitive? 那個T^2是要幹嘛的呀？ -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.8.21.25 ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1461663588.A.D08.html ※ 編輯: gsmzxcvbnm (39.8.21.25), 04/26/2016 17:44:19
推
04/26 19:52, , 1F
transitive的前提是 若(a,b)及(b,c)存在，則(a,c)存在
04/26 19:52, 1F
→
04/26 19:53, , 2F
但你今天這個前提並沒有存在 所以transitive
04/26 19:53, 2F
→
04/26 19:53, , 3F
例如R={(6,1),(1,2)}的話 則R不具transitive
04/26 19:53, 3F
→
04/26 20:02, , 4F
解答說存在也
04/26 20:02, 4F
推
04/26 20:16, , 5F
假設T要有遞移性質,根據定義必須滿足R後,接著滿足S,再接著
04/26 20:16, 5F
→
04/26 20:20, , 6F
sorry看錯
04/26 20:20, 6F
推
04/26 20:28, , 7F
不過我確定R是二元關係,具有遞移性的話<=>R^2包含於R
04/26 20:28, 7F
推
04/26 20:32, , 8F
所以把滿足T的關係寫成關係矩陣 , 然後藉由剛剛說的可以
04/26 20:32, 8F
→
04/26 20:33, , 9F
檢查遞移, 得到T^2 有(2,2), 正好包含於T,所以滿足遞移
04/26 20:33, 9F
→
04/26 20:34, , 10F
有錯請指正 QQ
04/26 20:34, 10F
推
04/26 20:34, , 11F
T^n包含於T 是驗證是否具遞移性的方法
04/26 20:34, 11F
→
04/26 20:39, , 12F
另外(6,1) (2,2)兩個點 一步就都能走到對方(或自己)
04/26 20:39, 12F
→
04/26 20:39, , 13F
所以具有遞移性
04/26 20:39, 13F
→
04/26 20:39, , 14F
如果今天是(6,1) (1,2) 則因為6可以走2步到2 所以必
04/26 20:39, 14F
→
04/26 20:40, , 15F
須加入(6,2)才有遞移性
04/26 20:40, 15F
推
04/26 20:42, , 16F
樓上大大向您求教,所以視這題錯了嗎?感覺不像是再問遞移包
04/26 20:42, 16F
推
04/26 20:55, , 17F
沒有錯哦 這題是用T^2來驗證遞移性 沒有問到遞移包
04/26 20:55, 17F
推
04/26 20:57, , 18F
QQ是我多心了 謝謝回覆
04/26 20:57, 18F
推
04/26 21:01, , 19F
可以看離散課本2—23頁 定理2-3
04/26 21:01, 19F
→
04/26 21:02, , 20F
不會～
04/26 21:02, 20F
→
04/26 22:22, , 21F
@gsmzxcvbnm 解答說的是{(6,1), (2,2)}存在 =.=
04/26 22:22, 21F
‣ 更多 gsmzxcvbnm 的文章
文章代碼(AID): #1N7pTaq8 (Grad-ProbAsk)