为什么小的theta渐近符号不存在?

时间:2014-08-31 15:44:08

标签: big-theta

这个问题是我们的教授提出的,我不明白为什么小theta不存在/我认为我理解这一点,但我们怎样才能在数学上证明它不存在。

2 个答案:

答案 0 :(得分:1)

你可以从定义中看出小欧和小欧米茄的交集有一个空集。

答案 1 :(得分:1)

定义:

大O:算法运行时的上限。

大Theta(Θ):这是“紧”或“精确”的界限。它是Big O和Big Omega的组合。

大欧米茄(Ω):算法运行时的下限。

小o:算法运行时的上限,但渐近运行时不能等于上限。

小欧米茄(ω):算法运行时的下限,但渐近运行时不能等于下限。

这样想

o(n)= O(n)-Θ(n)(我们无法“触摸”上限)
ω(n)=Ω(n)-Θ(n)(我们无法“触摸”下限)

如果我们做了同样的事情

θ(n)=Θ(n)-Θ(n)

我们基本上是在说运行时无法达到我们为其设置的确切范围...这是不可能的,因为它是一个确切范围。运行时肯定会“触摸”它。

我们如何数学上证明它不存在

没有可以与算法相交的运行时。因此,所有属于理论上小的theta的运行时的集合都是空集合。