作者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/m.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