東京大学 新領域創成科学研究科 メディカル情報生命専攻 2017年8月実施 問題7
Author
Description
Let
Answer the following questions.
(1) Let
(2) Let
(3) Let
设
回答下列问题。
(1) 令
(2) 令
(3) 设
Kai
(1)
Part (a): Prove whether is in
To prove
Notice that
For this to hold for all
Part (b): Prove whether is in
To prove
Notice that:
For large
(2)
Part (a): Prove whether is in
To prove
Let's use the properties of the harmonic series. We know that:
Evaluating the integral, we get:
Thus,
For sufficiently large
Part (b): Prove whether is in
To prove
We can compare the harmonic series with the integral from below. Specifically,
Evaluating the integral, we get:
Thus,
For sufficiently large
(3)
Part (a): Prove whether is in
To analyze this, we use the Master Theorem for divide-and-conquer recurrences. Here, the recurrence is:
This fits the form
- If
where , then . - If
, then . - If
where , and if for some and sufficiently large , then .
In this case,
Thus,
Part (b): Prove whether is in
We already have from the Master Theorem that
Thus,
Knowledge
递归 主定理 复杂度分析
重点词汇
- Asymptotic bounds 渐近界
- Master Theorem 主定理
- Harmonic series 调和级数
- Exponential function 指数函数
- Recurrence 递归
参考资料
- Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms, 3rd Edition. MIT Press. Chapter 3: Growth of Functions, and Chapter 4: Divide-and-Conquer.
- Michael T. Goodrich, Roberto Tamassia, and Michael H. Goldwasser. Data Structures and Algorithms in Java, 6th Edition. Wiley. Chapter 5: Recursion.