作者befdawn (蜜蜂P助)
看板Grad-ProbAsk
标题[理工] 资结 Asymtoptic Notation
时间Wed Oct 3 00:07:23 2018
请问一题问题，看了板友讨论还不是很懂
https://i.imgur.com/oTueIxe.jpg
第一个方法 用定义来推
https://i.imgur.com/8UtqweC.jpg
得出结论是 disprove
其中我觉得比较有问题的是我 assume 那边 C1 > C3
第二个方法 用极限来推 (直接抄板友写的)
https://i.imgur.com/Q1qlzaa.jpg
得出结论是 pro 原命题
想问这样两个方法都OK吗？不知道有没有问题的地方？
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 106.105.90.47
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1538496446.A.2EC.html
※ 编辑: befdawn (106.105.90.47), 10/03/2018 00:07:59
1F：推 kyrie77: 我觉得2才对欸，1不能确保c1和c3的关系吧？ 10/03 03:17
2F：→ kyrie77: small oh是对於所有c3,但是theta 只是至少存在一个c1而 10/03 03:17
3F：→ kyrie77: 已，所以应该不能确定c1-c3一定都大於0，因此不符合定义 10/03 03:17
4F：推 eggy1018: 觉得2 10/03 03:51
5F：推 skyHuan: 觉得都可以 10/03 12:42
7F：→ skyHuan: 法一写到这里应该就可以直接写在theta里了吧(? 小o的定 10/03 12:42
8F：→ skyHuan: 义是h永远不会到F等级里面，c取到很大好像也没什麽意义， 10/03 12:42
9F：→ skyHuan: 如果用想的g就是在F等级里面，h再怎麽大也不到F，拿g-h也 10/03 12:42
10F：→ skyHuan: 还是在F里面 10/03 12:42
11F：推 skyHuan: 用法二好像比较严谨，不过意义应该是差不多的，小o/小ome 10/03 12:46
12F：→ skyHuan: ga是大O/大omega的子集，极限定义好像也是把两者视为一 10/03 12:46
13F：→ skyHuan: 样的(没有很熟极限法不知道有没有说错) 10/03 12:46
14F：→ kcilao110779: 想问sky大大为什麽你的那张图可以直接写theta，可是 10/03 14:33
15F：→ kcilao110779: 左边是小於没有等号(？ 虽然白话文的解释还蛮合理 10/03 14:33
16F：→ kcilao110779: 的但数学部分我还看不懂QQ 10/03 14:33
17F：推 skyHuan: 有点原po说的assume c1>c的感觉吧，因为以小o的定义c取 10/03 15:01
18F：→ skyHuan: 太大好像也没意义，但直接写出assume那句感觉就怪怪的 10/03 15:01
19F：→ skyHuan: 如果用法一我可能会写是theta，然後补上白话文说明，如果 10/03 15:02
20F：→ skyHuan: 数学式要严谨的话感觉法二好一点 10/03 15:02
21F：推 skyHuan: 突然想到一个写法，因为小o是for any c，所以取c=c1-1也 10/03 15:13
22F：→ skyHuan: 要对，这样减下来f就在1F跟c2F之间，就是theta了，不知道 10/03 15:13
23F：→ skyHuan: 这样写可不可以 10/03 15:13
24F：推 kcilao110779: 小o是for any c的话，应该是无论c的值为何，严格小 10/05 16:09
25F：→ kcilao110779: 於都要成立，如果取c=c1-1这样好像不太合理耶 10/05 16:09
26F：推 skyHuan: 应该不会不合理(吧? for any就是代什麽都要对，应该希 10/05 20:44
27F：→ skyHuan: 望范围能夹越小越好，不会故意去取很大，有问题的应该是c 10/05 20:44
28F：→ skyHuan: 1如果<1取c1-1就变负的了 10/05 20:44