[理工] 台聯105 離散

看板Grad-ProbAsk作者 (Amber)時間9年前 (2017/01/29 09:40), 編輯推噓2(2推 0噓 23→)
留言25則, 6人參與, 最新討論串1/1
http://i.imgur.com/yAywWjK.jpg
台聯大105年離散 第一題我看了解答還是不太懂 誰會想到能夠拆開呢？ （解答第一行 S和T的拆法） 希望有高人指點讓我開竅～～～～ -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 39.10.198.238 ※ 文章網址: https://www.ptt.cc/bbs/Grad-ProbAsk/M.1485654009.A.A57.html
推
01/29 09:55, , 1F
畫畫看relation matrix就知道了，先把reflexive（對角線
01/29 09:55, 1F
→
01/29 09:56, , 2F
補上，然後隨便連幾個relation,再補上symmetric,觀察一
01/29 09:56, 2F
→
01/29 09:57, , 3F
下發現有reflexive和symmetric,再加上transitive就一定
01/29 09:57, 3F
→
01/29 09:57, , 4F
是equivalence
01/29 09:57, 4F
推
01/29 10:06, , 5F
我的直覺是這三個之中transitive closure最後補就可以
01/29 10:06, 5F
→
01/29 10:07, , 6F
形成equivalence relation，不知道有沒有錯
01/29 10:07, 6F
→
01/29 16:10, , 7F
xxx closure of ooo, 不就是包含原本ooo的關係且包含xxx
01/29 16:10, 7F
→
01/29 16:10, , 8F
性質的最小集合, 所以原本關係R還要包含reflexive, symme
01/29 16:10, 8F
→
01/29 16:10, , 9F
tric, transtive, 三種性質，不就一定是equivalence rela
01/29 16:10, 9F
→
01/29 16:10, , 10F
tion 嗎？
01/29 16:10, 10F
→
01/29 16:16, , 11F
我覺得要看一下下面那題，雖然reflexiv,symmetric,
01/29 16:16, 11F
→
01/29 16:17, , 12F
transitive是equivalence，但先找求哪一個closure有差
01/29 16:17, 12F
→
01/29 16:32, , 13F
第二題最後那個transitive是relation不是closure
01/29 16:32, 13F
→
01/29 16:34, , 14F
喔喔對耶！抱歉沒看清楚，那沒事沒事
01/29 16:34, 14F
→
01/29 16:35, , 15F
如果三個都是取closure誰先誰後應該都會是等價關係
01/29 16:35, 15F
→
01/29 16:52, , 16F
transitive relation 的 transitive closure 不就是它自
01/29 16:52, 16F
→
01/29 16:52, , 17F
己嗎？
01/29 16:52, 17F
→
01/29 16:52, , 18F
所以為什麼第二題是錯的啊......
01/29 16:52, 18F
→
01/29 17:10, , 19F
取(1,2)(1,3)再symmetric 無(2,3)
01/29 17:10, 19F
→
01/29 17:15, , 20F
看了反例我發現我上面講錯，確實t(R)應該要最後取
01/29 17:15, 20F
→
01/29 17:22, , 21F
那s(R)跟r(R)誰先誰後應該沒差？反正在關係矩陣裡面
01/29 17:22, 21F
→
01/29 17:23, , 22F
s(R)和r(R)要考慮和改變的element沒有重疊？
01/29 17:23, 22F
→
01/29 17:25, , 23F
感覺的東西都會有點怕怕的，但又不知道怎麼證@@
01/29 17:25, 23F
→
01/29 22:44, , 24F
遞移包要最後取 reflexive symmetric順序沒差 用關係矩
01/29 22:44, 24F
→
01/29 22:44, , 25F
陣想就知道了
01/29 22:44, 25F
‣ 更多 machia045413 的文章
文章代碼(AID): #1OZKVvfN (Grad-ProbAsk)