推 Transfat: 畫畫看relation matrix就知道了，先把reflexive（對角線 01/29 09:55
→ Transfat: 補上，然後隨便連幾個relation,再補上symmetric,觀察一 01/29 09:56
→ Transfat: 下發現有reflexive和symmetric,再加上transitive就一定 01/29 09:57
→ Transfat: 是equivalence 01/29 09:57
推 yupog2003: 我的直覺是這三個之中transitive closure最後補就可以 01/29 10:06
→ yupog2003: 形成equivalence relation，不知道有沒有錯 01/29 10:07
→ YuxiWen: xxx closure of ooo, 不就是包含原本ooo的關係且包含xxx 01/29 16:10
→ YuxiWen: 性質的最小集合, 所以原本關係R還要包含reflexive, symme 01/29 16:10
→ YuxiWen: tric, transtive, 三種性質，不就一定是equivalence rela 01/29 16:10
→ YuxiWen: tion 嗎？ 01/29 16:10
→ yupog2003: 我覺得要看一下下面那題，雖然reflexiv,symmetric, 01/29 16:16
→ yupog2003: transitive是equivalence，但先找求哪一個closure有差 01/29 16:17
→ AkariAkaza: 第二題最後那個transitive是relation不是closure 01/29 16:32
→ yupog2003: 喔喔對耶！抱歉沒看清楚，那沒事沒事 01/29 16:34
→ AkariAkaza: 如果三個都是取closure誰先誰後應該都會是等價關係 01/29 16:35
→ YuxiWen: transitive relation 的 transitive closure 不就是它自 01/29 16:52
→ YuxiWen: 己嗎？ 01/29 16:52
→ YuxiWen: 所以為什麼第二題是錯的啊...... 01/29 16:52
→ hypnos135g: 取(1,2)(1,3)再symmetric 無(2,3) 01/29 17:10
→ AkariAkaza: 看了反例我發現我上面講錯，確實t(R)應該要最後取 01/29 17:15
→ yupog2003: 那s(R)跟r(R)誰先誰後應該沒差？反正在關係矩陣裡面 01/29 17:22
→ yupog2003: s(R)和r(R)要考慮和改變的element沒有重疊？ 01/29 17:23
→ yupog2003: 感覺的東西都會有點怕怕的，但又不知道怎麼證@@ 01/29 17:25
→ aa06697: 遞移包要最後取 reflexive symmetric順序沒差 用關係矩 01/29 22:44
→ aa06697: 陣想就知道了 01/29 22:44