離散-關係

看板Grad-ProbAsk作者 (ss455032)時間8年前 (2017/07/23 21:31), 編輯推噓4(4推 0噓 12→)
留言16則, 3人參與, 最新討論串1/1
http://i.imgur.com/Yzd3gON.jpg
想問一下2-62的a小題, 不太懂第三列以後為什麼要這寫。a1,a2....,ai-1, 而且變數只到i-1是為什麼不太理解。 不能直接寫存在一個c使得,(a,c),(c,b)屬於R, 然後R具symmetric, =>所以t(R)具有symmetric -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 114.136.0.187 ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1500816696.A.AED.html
推
07/24 00:25, , 1F
（a,b)屬於r^i 不保證(a,b)屬於r^k,k<i 你舉的例子不一
07/24 00:25, 1F
→
07/24 00:25, , 2F
定會成立 例：(a,x) (x,y) (y,b) €r 但不存在（a,c) (
07/24 00:25, 2F
→
07/24 00:25, , 3F
c,b) €r
07/24 00:25, 3F
→
07/24 08:30, , 4F
那為什麼只到i-1就保證可以呢可能出現(a,a1),(a,a2),...
07/24 08:30, 4F
→
07/24 08:30, , 5F
..,(ai-2,ai-1),(ai-1,ai),(ai,b)應該也是反例吧
07/24 08:30, 5F
推
07/24 11:13, , 6F
(a,b)€r^i 所以a至少經過i個r關係可以到b，你舉的例子
07/24 11:13, 6F
→
07/24 11:13, , 7F
(a,b)不保證在r^i中。 有可能在也有可能不在
07/24 11:13, 7F
推
07/24 11:26, , 8F
舉例： (a,1),(1,2),(2,b)€r =>(a,b)€r^3 但(a,b)不
07/24 11:26, 8F
→
07/24 11:26, , 9F
存在r^2中,所以在(a,b)€r^i中至少要用i個關係證，我
07/24 11:26, 9F
→
07/24 11:26, , 10F
不太了解你為什麼要舉I+1個關係的例子
07/24 11:26, 10F
→
07/24 19:39, , 11F
謝謝
07/24 19:39, 11F
推
07/25 09:24, , 12F
這個解答的例子暴力展開就知道了
07/25 09:24, 12F
→
07/25 09:24, , 13F
像(a,a_2)∈R^2 代表a走兩步會到a_2
07/25 09:24, 13F
→
07/25 09:24, , 14F
那R^(i-1),a會走得到(a_i-1)
07/25 09:24, 14F
→
07/25 09:24, , 15F
所以R^i時,a就會走到b
07/25 09:24, 15F
→
07/25 09:25, , 16F
而且因為R是symmetric 所以反過來的路徑當然也存在
07/25 09:25, 16F
‣ 更多 ss455032 的文章
文章代碼(AID): #1PTAKuhj (Grad-ProbAsk)