推 gary70812: （a,b)屬於r^i 不保證(a,b)屬於r^k,k<i 你舉的例子不一 07/24 00:25
→ gary70812: 定會成立 例：(a,x) (x,y) (y,b) €r 但不存在（a,c) ( 07/24 00:25
→ gary70812: c,b) €r 07/24 00:25
→ ss455032: 那為什麼只到i-1就保證可以呢可能出現(a,a1),(a,a2),... 07/24 08:30
→ ss455032: ..,(ai-2,ai-1),(ai-1,ai),(ai,b)應該也是反例吧 07/24 08:30
推 gary70812: (a,b)€r^i 所以a至少經過i個r關係可以到b，你舉的例子 07/24 11:13
→ gary70812: (a,b)不保證在r^i中。 有可能在也有可能不在 07/24 11:13
推 gary70812: 舉例： (a,1),(1,2),(2,b)€r =>(a,b)€r^3 但(a,b)不 07/24 11:26
→ gary70812: 存在r^2中,所以在(a,b)€r^i中至少要用i個關係證，我 07/24 11:26
→ gary70812: 不太了解你為什麼要舉I+1個關係的例子 07/24 11:26
→ ss455032: 謝謝 07/24 19:39
推 shownlin: 這個解答的例子暴力展開就知道了 07/25 09:24
→ shownlin: 像(a,a_2)∈R^2 代表a走兩步會到a_2 07/25 09:24
→ shownlin: 那R^(i-1),a會走得到(a_i-1) 07/25 09:24
→ shownlin: 所以R^i時,a就會走到b 07/25 09:24
→ shownlin: 而且因為R是symmetric 所以反過來的路徑當然也存在 07/25 09:25