作者Dougan000 (豆干OuO)
看板Math
标题[其他] 离散 五题
时间Tue Apr 28 19:40:31 2020
https://i.imgur.com/aTcMewG.jpg
https://i.imgur.com/IyqhtTV.jpg
https://i.imgur.com/SkDTp2w.jpg
想请问一下这五题的正确答案，或该从哪里下手
-----
Sent from JPTT on my iPhone
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.137.202.176 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Math/M.1588074035.A.DF8.html
1F：推 chemmachine : <1>全部改成反叙述，任意x0不属於R 存在x<=x0 04/28 20:27
2F：→ chemmachine : 任意y不属於R f(xy)>=f(x-y)选E 04/28 20:28
3F：推 chemmachine : <2>考量DFS TREE的定义和GRAPH的定义，因ABCDE都被 04/28 20:36
4F：→ chemmachine : 连接，满足T和G的最小定义，所以要不要扩增都可以 04/28 20:37
5F：→ chemmachine : 每个选项我选不一定 DFS上网查就有 04/28 20:37
6F：推 chemmachine : <3>查维基翻成中文默写，这个我没看过 04/28 20:44
7F：→ chemmachine : 基本上是连续型中间值定理的离散型变形 04/28 20:44
8F：→ chemmachine : <4>-1无，由定义知树为CONNECT 04/28 20:45
9F：→ chemmachine : <4>-2由定义，树无CYCLE 04/28 20:47
10F：→ Ricestone : "∀x∈R,P(x)"的否定不是不属於R 04/28 20:50
11F：→ Ricestone : 它的否定是"∃x∈R,~P(x)" 04/28 20:52
13F：推 chemmachine : 喔喔，同RICE大，他是R->R函数在R讨论内就好，不属 04/28 21:10
14F：→ chemmachine : 於R的选项不考虑。 04/28 21:11
16F：推 chemmachine : 选D 04/28 21:28
17F：推 TimcApple : <2> 前两个选项应该能确定 因为(c,d)接上去就圈圈了 04/28 21:40
18F：→ TimcApple : <5> 不一定要 Euclid 因为从 a_1 开始肯定严格递减 04/28 21:41
19F：→ TimcApple : 精确来说 如果不归0 就会无限递减 跟正整数性质矛盾 04/28 21:42
20F：→ TimcApple : 不过如果要估计这个演算法的时间 Euclid还是需要的 04/28 21:43
21F：→ Ricestone : 不该说是不考虑，而是逻辑上本来就不对 04/28 21:48
22F：→ Ricestone : "∀x∈R,P(x)"这句等价於"∀x,(x不属於R)orP(x)" 04/28 21:49
23F：→ Ricestone : 对这种叙述的否定本来就不会让范围发生变化 04/28 21:50
24F：→ Dougan000 : 谢谢 R大C大T大 ，现在已经有一点方向了 04/28 22:01