東京大学 新領域創成科学研究科 メディカル情報生命専攻 2014年8月実施 問題7

Author

zephyr

Description

When we analyze the worst time complexity of an algorithm, it is worth observing how the computation time increases as , the size of input data, increases. The Landau’s notation, which is often used for representing an asymptotic upper bound of ignoring the constant factor, is defined as the following. For a positive function , if there exists a positive constant , and

holds, then

is defined to hold.

(1) and are defined to be equal if and are equivalent for any . For each of (A) to (C), find all formulae in the box below that are equal to it. If there is no such formula, just write "none".

• (A)
• (B)
• (C)

(2) For each proposition below, determine with proof whether it holds or not. Note that and are positive functions.

• (A) and are equal.
• (B) If holds, then .

---

当我们分析一个算法的最坏时间复杂度时，观察计算时间 随输入数据大小 的增加而增加是很有价值的。Landau 的 表示法，通常用于表示忽略常数因子的 的渐近上界，定义如下。对于一个正函数 ，如果存在一个正常数 ，且

成立，则定义

成立。

(1) 如果 和 对任何 都等价，则定义 和 是相等的。对于 (A) 到 (C) 的每一个，找到下面框中等于它的所有公式。如果没有这样的公式，只写“none”。

• (A)
• (B)
• (C)

(2) 对于下面的每个命题，确定是否成立，并提供证明。注意 和 是正函数。

• (A) 和 是相等的。
• (B) 如果 成立，则 。

Kai

(1)

(A)

• According to the definition of Big-O notation, the highest order term dominates the growth rate. Therefore, and are equivalent.

(B)

• In Big-O notation, constant factors and the base of logarithms are ignored, so is equivalent to .

(C)

• None All other formulas in the box either grow slower or faster than . Therefore, there are no equivalent formulas.

(2)

(A)

Proof:

We need to prove:

if and only if:

1. If , then :

1. If , then :

Combining these two cases, we get:

Conversely, since :

Therefore:

Hence:

Therefore, the proposition is true.

(B)

Proof:

Assume , meaning there exist positive constants and such that for all ,

We need to prove:

Let's consider .

Since , we get:

So:

If , then , which is bounded. However, if , grows exponentially and is not bounded.

For example, if and :

Clearly, is not in because its growth rate is much faster. Therefore, in this case, the proposition is false.

Thus, the correct conclusion is that the proposition does not hold.

Knowledge

时间复杂度

Problem-Solving Tips and Information

• When analyzing time complexity, focus on the highest order term.
• In Big-O notation, different bases of logarithms are considered equivalent.
• For combined functions (such as ), the complexity can be simplified by analyzing the dominant term.

Key Vocabulary

• asymptotic 渐近的
• upper bound 上界
• equivalent 等价的
• exponential 指数的
• limit 极限

References

1. "Introduction to Algorithms" Chapter 3: Growth of Functions
2. "Mathematical Foundations of Computer Science" Chapter 5: Asymptotic Notation