[其他] 離散 五題

[Dougan000 (豆干OuO)]

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://www.ptt.cc/bbs/Math/M.1588074035.A.DF8.html
推 chemmachine : <1>全部改成反敘述，任意x0不屬於R 存在x<=x0
→ chemmachine : 任意y不屬於R f(xy)>=f(x-y)選E
推 chemmachine : <2>考量DFS TREE的定義和GRAPH的定義，因ABCDE都被
→ chemmachine : 連接，滿足T和G的最小定義，所以要不要擴增都可以
→ chemmachine : 每個選項我選不一定 DFS上網查就有
推 chemmachine : <3>查維基翻成中文默寫，這個我沒看過
→ chemmachine : 基本上是連續型中間值定理的離散型變形
→ chemmachine : <4>-1無，由定義知樹為CONNECT
→ chemmachine : <4>-2由定義，樹無CYCLE
→ Ricestone   : "∀x∈R,P(x)"的否定不是不屬於R
→ Ricestone   : 它的否定是"∃x∈R,~P(x)"
推 chemmachine : <5>https://imgur.com/a/qvgyTi6 理解後默寫
推 chemmachine : 喔喔，同RICE大，他是R->R函數在R討論內就好，不屬
→ chemmachine : 於R的選項不考慮。
推 chemmachine : https://imgur.com/a/NaU1BBz <1>由此公式
推 chemmachine : 選D
推 TimcApple   : <2> 前兩個選項應該能確定 因為(c,d)接上去就圈圈了
→ TimcApple   : <5> 不一定要 Euclid 因為從 a_1 開始肯定嚴格遞減
→ TimcApple   : 精確來說 如果不歸0 就會無限遞減 跟正整數性質矛盾
→ TimcApple   : 不過如果要估計這個演算法的時間 Euclid還是需要的
→ Ricestone   : 不該說是不考慮，而是邏輯上本來就不對
→ Ricestone   : "∀x∈R,P(x)"這句等價於"∀x,(x不屬於R)orP(x)"
→ Ricestone   : 對這種敘述的否定本來就不會讓範圍發生變化
→ Dougan000   : 謝謝 R大C大T大 ，現在已經有一點方向了