作者boxunlu (Leon)
看板Grad-ProbAsk
标题[理工] 离散 第二章 两题
时间Tue Jul 9 00:49:36 2019
问题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)没有呢?
再麻烦各位帮忙指出错误了，谢谢。
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.44.146.93 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1562604578.A.142.html
1F：推 ekids1234: 问题1 -> (0,0) 应该算反例 07/09 01:22
2F：→ boxunlu: 可是(0,0)这组不符合题目所要求的，xy>=1的条件 07/09 01:27
3F：→ boxunlu: 不能算进去反例吧?? 07/09 01:28
4F：推 ekids1234: 对於所有 (x,y) x,y属於整数 且 x=y 且 xy >=1 07/09 01:44
5F：→ ekids1234: 上面这句话如果成立，那，(b) 就有反身性，反之没有 07/09 01:45
6F：→ boxunlu: 题目是if and only if 如果从右到左来看 应该需先满足 x 07/09 01:53
7F：→ boxunlu: y >=1 关系才成立 07/09 01:53
8F：→ boxunlu: 这样（0，0）就不成立了 不能算反例吧 07/09 01:53
9F：→ Ricestone: 不是这样，反身性是说整个set都满足自己跟自己有关 07/09 05:44
10F：→ Ricestone: 这个set才有反身性，今天0没有反身性，所以这个set没有 07/09 05:45
11F：→ Ricestone: 反身性 07/09 05:45
12F：→ Ricestone: 这个if and only if只是在表达R而已 07/09 05:45
13F：→ Ricestone: 不然你每次都只看自己会跟自己有关的元素，那不就每个 07/09 05:46
14F：→ Ricestone: set都有反身性了 07/09 05:47
15F：→ Ricestone: 上面这句应该说每个relation对这个set都有 07/09 05:52
16F：→ Ricestone: 简单来说，你今天写成关系矩阵，那0那项对角线是0 07/09 05:55
17F：→ Ricestone: 所以这个关系矩阵不是reflextive 07/09 05:55
18F：→ Ricestone: 至於第二题，你的问题都在(a)小题的详解里 07/09 05:59
19F：→ boxunlu: 谢谢上面各位的回答 问题一 清楚了 ，想问一下 问题二 他 07/09 10:14
20F：→ boxunlu: 的b小题 问的size 是接续a小题的吗？（最多1的情况） 07/09 10:14
21F：→ Ricestone: 对 07/09 11:04
22F：→ Ricestone: 今天它矩阵大小已经定了就是n*n，它是问你能达到这个 07/09 11:08
23F：→ Ricestone: 最大值的矩阵有多少种 07/09 11:09