Construa duas funções e satisfazendo

19

Construa duas funções satisfazendo: $f,g: R^+ → R^+$

$f, g$ são contínuos;
$f, g$ estão aumentando monotonicamente;
$f \ne O(g)$ e . $g \ne O(f)$

asymptotics landau-notation

— Jessie
fonte

2

Você já considerou a possibilidade de que tais funções não existam?

— jmite

Se são logarítmico-exponenciais, então ou . A maioria das funções encontradas na prática são desta forma.

f, g

$f,g$

f = O (g)

$f=O(g)$

g = O (f)

$g=O(f)$

— Yuval Filmus

16

Existem muitos exemplos para essas funções. Talvez a maneira mais fácil de entender como obter um exemplo seja construindo-o manualmente.

Vamos começar com a função sobre os números naturais, pois eles podem ser continuamente concluídos em reais.

Uma boa maneira de garantir que e é alternar entre suas ordens de magnitude. Por exemplo, poderíamos definir $f\neq O(g)$ $g\neq O(f)$

$f(n)=\begin{cases} n & n \text{ is odd}\\ n^2 & n \text{ is even}\\ \end{cases}$

Então, poderíamos ter comportam o oposto sobre as probabilidades e nivela. No entanto, isso não funciona para você, porque essas funções não estão aumentando monotonicamente. $g$

Entretanto, a escolha de foi um tanto arbitrária, e poderíamos simplesmente aumentar as magnitudes para ter monotonicidade. Dessa forma, podemos criar: $n,n^2$

$f(n)=\begin{cases} n^{2n} & n \text{ is odd}\\ n^{2n-1} & n \text{ is even}\\ \end{cases}$ , e $g(n)=\begin{cases} n^{2n-1} & n \text{ is odd}\\ n^{2n} & n \text{ is even}\\ \end{cases}$

Claramente, essas são funções monótonas. Além disso, , uma vez que nos números inteiros ímpares, se comporta como enquanto se comporta como e vice-versa nos céus. $f(n)\neq O(g(n))$ $f$ $n^{2n}$ $g$ $n^{2n-1}=n^{2n}/n=o(n^{2n})$

Agora, tudo o que você precisa é completá-las em reais (por exemplo, adicionando partes lineares entre os números inteiros, mas isso não vem ao caso).

Além disso, agora que você tem essa idéia, pode usar as funções trigonométricas para construir `` fórmulas fechadas '' para essas funções, pois e estão oscilando e atingem picos em pontos alternados. $\sin$ $\cos$

— Shaull
fonte

Podemos dizer que e ? e são como definidos em sua resposta.

f (n) \in O (n^{2 n})

$f(n) \in O(n^{2n})$

g (n) \in O (n^{2 n})

$g(n) \in O(n^{2n})$

f (n)

$f(n)$

g (n)

$g(n)$

— 28513 mayank

Sim. Podemos até dizer que (semelhante para ), que é mais forte do que .

f (n) \leq n^{2 n}

$f(n)\le n^{2n}$

g

$g$

O

$O$

— Shaull 17/03/2013

-3

Uma boa ilustração para mim é: http://www.wolframalpha.com/input/?i=sin%28x%29%2B2x%2C+cos%28x%29%2B2x

f (n) = 2 x + s i n (x)

$f(n) =2x+sin(x)$

g (n) = 2 x + c o s (x)

$g(n) =2x+cos(x)$

f \neq O (g)

$f\neq O(g)$

g \neq O (f)

$g\neq O(f)$

— user15305
fonte

5

Na verdade, ambos são um do outro.

O

$O$

— usar o seguinte código