0
$\begingroup$

If instead of saying there exists some $C \in \mathbb{R}^{+}$ and $N \in \mathbb{N}$ such that for any $n \geq N$ we have $f(n) \leq Cg(n)$ we say that there is some $C \in \mathbb{R}^{+}$ and some subsequence $(f(n_{k}))_{k \in \mathbb{N}}$ with $(n_{k})_{k \in \mathbb{N}}$ strictly increasing such that for any $k \in \mathbb{N}$ $f(n_{k}) \leq Cg(n_{k})$, Is it a weaker condition? Or is it equivalent to $f(n) = O(g(n))$? Let it be or not, it reminds me of some theorems about sequences in mathematical analysis. Technique of change of variables made me ask this question.

$\endgroup$

1 Answer 1

3
$\begingroup$

Let's get the terminology straight: when we have $A \Leftrightarrow B$, then we call $A$ and $B$ equivalent and its natural to say, that they are equally stronger. When we have $A \Rightarrow B$, but not $B \Rightarrow A$ ($B\nRightarrow A$), then we call $A$ more strong (look here or here).

Outgoing from stated, your suggestion gives more weaker condition, because, $f\in O(g)$ in usual sense implies $f\in O(g)$ in new sense, but not reverse, as shows example: $$f(n)=\begin{cases}1, n \text{ is odd}\\ n, n \text{ is even} \end{cases}$$ this function will be in "new" $O(1)$, but not in usual $O(1)$.

$\endgroup$
2
  • $\begingroup$ So is there some necessary and sufficient condition on a subsequence so that the original sequence is big O? We clearly can state something about odd and even subsequences but what I mean is just one subsequence. $\endgroup$
    – Emad
    Commented Aug 8, 2021 at 5:51
  • $\begingroup$ It's interesting question: for example when sequence is monotone, then existence of just one convergent subsequence is enough to convergence of all sequence. $\endgroup$
    – zkutch
    Commented Aug 8, 2021 at 10:34

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.