我试图证明这对于任何具有域和共域 N 的函数 f 和 g 都是正确的。我已经看到它使用限制来证明,但显然你也可以在没有它们的情况下证明它。
基本上我要证明的是“如果 f(n) 没有 g(n) 的大 O,那么 g(n) 必须有 f(n) 的大 O。我所拥有的麻烦是试图理解“f没有g的大O”是什么意思。
根据 big-O 的正式定义,如果 f(n) = O(g(n)) 那么 n>=N -> f(n) <= cg(n) 对于一些 N 和一个常数 c。如果 f(n) != O(g(n)) 我认为这意味着没有 c 可以满足所有 n 值的不等式。然而我看不出我能做些什么来使用这个事实来证明 g(n) = O(f(n))。这并不能证明 g(n) <= c'f(n) 存在 c',这将成功地证明这个问题。