[其他] 離散 五題

看板Math作者 (豆干OuO)時間5年前 (2020/04/28 19:40), 編輯推噓8(8推 0噓 16→)
留言24則, 4人參與, 5年前最新討論串1/1
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
推
04/28 20:27, 5年前 , 1F
<1>全部改成反敘述，任意x0不屬於R 存在x<=x0
04/28 20:27, 1F
→
04/28 20:28, 5年前 , 2F
任意y不屬於R f(xy)>=f(x-y)選E
04/28 20:28, 2F
推
04/28 20:36, 5年前 , 3F
<2>考量DFS TREE的定義和GRAPH的定義，因ABCDE都被
04/28 20:36, 3F
→
04/28 20:37, 5年前 , 4F
連接，滿足T和G的最小定義，所以要不要擴增都可以
04/28 20:37, 4F
→
04/28 20:37, 5年前 , 5F
每個選項我選不一定 DFS上網查就有
04/28 20:37, 5F
推
04/28 20:44, 5年前 , 6F
<3>查維基翻成中文默寫，這個我沒看過
04/28 20:44, 6F
→
04/28 20:44, 5年前 , 7F
基本上是連續型中間值定理的離散型變形
04/28 20:44, 7F
→
04/28 20:45, 5年前 , 8F
<4>-1無，由定義知樹為CONNECT
04/28 20:45, 8F
→
04/28 20:47, 5年前 , 9F
<4>-2由定義，樹無CYCLE
04/28 20:47, 9F
→
04/28 20:50, 5年前 , 10F
"∀x∈R,P(x)"的否定不是不屬於R
04/28 20:50, 10F
→
04/28 20:52, 5年前 , 11F
它的否定是"∃x∈R,~P(x)"
04/28 20:52, 11F
推
04/28 21:02, 5年前 , 12F
<5>https://imgur.com/a/qvgyTi6 理解後默寫
04/28 21:02, 12F
推
04/28 21:10, 5年前 , 13F
喔喔，同RICE大，他是R->R函數在R討論內就好，不屬
04/28 21:10, 13F
→
04/28 21:11, 5年前 , 14F
於R的選項不考慮。
04/28 21:11, 14F
推
04/28 21:26, 5年前 , 15F
04/28 21:26, 15F
推
04/28 21:28, 5年前 , 16F
選D
04/28 21:28, 16F
推
04/28 21:40, 5年前 , 17F
<2> 前兩個選項應該能確定 因為(c,d)接上去就圈圈了
04/28 21:40, 17F
→
04/28 21:41, 5年前 , 18F
<5> 不一定要 Euclid 因為從 a_1 開始肯定嚴格遞減
04/28 21:41, 18F
→
04/28 21:42, 5年前 , 19F
精確來說 如果不歸0 就會無限遞減 跟正整數性質矛盾
04/28 21:42, 19F
→
04/28 21:43, 5年前 , 20F
不過如果要估計這個演算法的時間 Euclid還是需要的
04/28 21:43, 20F
→
04/28 21:48, 5年前 , 21F
不該說是不考慮，而是邏輯上本來就不對
04/28 21:48, 21F
→
04/28 21:49, 5年前 , 22F
"∀x∈R,P(x)"這句等價於"∀x,(x不屬於R)orP(x)"
04/28 21:49, 22F
→
04/28 21:50, 5年前 , 23F
對這種敘述的否定本來就不會讓範圍發生變化
04/28 21:50, 23F
→
04/28 22:01, 5年前 , 24F
謝謝 R大C大T大 ，現在已經有一點方向了
04/28 22:01, 24F
‣ 更多 Dougan000 的文章
文章代碼(AID): #1Ug1Optu (Math)