[理工] 離散 第二章 兩題

作者: boxunlu (egg-yellow-brother)   2019-07-09 00:49:36
問題1:
課本 P2-24 例題27
https://i.imgur.com/gipWgWG.jpg
想請教一下 選項 (b) 為什麼沒有 reflexive的性質呢??
根據reflexive的定義,自己與自己有關係,就有reflexive,我自己試了幾個例子後,
都發現成立,EX:(1,1),(-1,-1).....等
不知有哪個反例沒有想到呢??
問題2:
課本 P2-31 範例7
https://i.imgur.com/Db1OYRM.jpg
想請教一下 (b)小題要怎麼算,看了他的詳解還是不太懂。
詳解:
https://i.imgur.com/nFhtr7e.jpg
有點不太懂題目問的 have the size的意思,是要將這個antisymmetric的矩陣稱到最大?
然後詳解的部分,為什麼對角項會固定是1呢?? 照antisymmetric的定義的話,允許自己
跟自己可以有關係或沒關係,那這樣不是 1 或 0 的可以嗎(兩種可能)?
用螢光筆畫底線的部分也是一樣問題,應該會有(0,0), (0,1), (1,0)三種可能
可是為什麼說(0,0)沒有呢?
再麻煩各位幫忙指出錯誤了,謝謝。
作者: ekids1234 (∵:☆星痕╭☆)   2019-07-09 01:22:00
問題1 -> (0,0) 應該算反例
作者: boxunlu (egg-yellow-brother)   2019-07-09 01:27:00
可是(0,0)這組不符合題目所要求的,xy>=1的條件不能算進去反例吧??
作者: ekids1234 (∵:☆星痕╭☆)   2019-07-09 01:44:00
對於所有 (x,y) x,y屬於整數 且 x=y 且 xy >=1上面這句話如果成立,那,(b) 就有反身性,反之沒有
作者: boxunlu (egg-yellow-brother)   2019-07-09 01:53:00
題目是if and only if 如果從右到左來看 應該需先滿足 xy >=1 關係才成立這樣(0,0)就不成立了 不能算反例吧
作者: Ricestone (麥飯石)   2019-07-09 05:44:00
不是這樣,反身性是說整個set都滿足自己跟自己有關這個set才有反身性,今天0沒有反身性,所以這個set沒有反身性這個if and only if只是在表達R而已不然你每次都只看自己會跟自己有關的元素,那不就每個set都有反身性了上面這句應該說每個relation對這個set都有簡單來說,你今天寫成關係矩陣,那0那項對角線是0所以這個關係矩陣不是reflextive至於第二題,你的問題都在(a)小題的詳解裡
作者: boxunlu (egg-yellow-brother)   2019-07-09 10:14:00
謝謝上面各位的回答 問題一 清楚了 ,想問一下 問題二 他的b小題 問的size 是接續a小題的嗎?(最多1的情況)
作者: Ricestone (麥飯石)   2019-07-09 11:04:00
對今天它矩陣大小已經定了就是n*n,它是問你能達到這個最大值的矩陣有多少種

Links booklink

Contact Us: admin [ a t ] ucptt.com