¿Es correcto: 100n + log (n) = O (n + (log (n)) ^ 2)?

Probemos [matemáticas] 100n + \ log {n} \ en O (n + (\ log {n}) ^ 2) [/ matemáticas].

Necesitamos encontrar una constante real positiva [matemática] c [/ matemática] y un entero positivo [matemática] n_0 [/ matemática] tal que para todos [matemática] n \ geq n_0 [/ matemática], [matemática] 100n + \ log {n} \ leq c \ cdot (n + (\ log {n}) ^ 2). [/ math] Elija [math] c = 100 [/ math], luego necesitamos encontrar [math] n_0 [/ math ] tal que para todos [math] n \ geq n_0 [/ math], [math] 100n + \ log {n} \ leq 100n + 100 (\ log {n}) ^ 2 [/ math]. Bueno, [matemáticas] 100n + \ log {n} \ leq 100n + 100 (\ log {n}) ^ 2 \ Leftrightarrow \ log {n} \ leq 100 (\ log {n}) ^ 2 \ Leftrightarrow 1 \ leq 100 \ log {n} [/ math]. No estoy seguro de la base (puede ser la base 10 o la base 2), asumiré la primera. Claramente [math] 1 \ leq 100 \ log {n} [/ math] cuando [math] n \ geq 10 [/ math], elija [math] n_0 = 10 [/ math]. Por lo tanto, según la definición de Big-Oh, [matemáticas] 100n + \ log {n} \ en O (n + (\ log {n}) ^ 2). [/ Matemáticas]

¿Eh?

[matemáticas] 100n + \ log (n) = O (n) [/ matemáticas].

Y, por supuesto, si algo es [matemática] O (n) [/ matemática] entonces también es [matemática] O ([/ matemática] algo más grande que [matemática] n [/ matemática] [matemática]) [/ matemática] .

Esto es algo que se deriva directamente de la definición de Big O. Por favor, vaya a través de la notación Big O.

100n + log (n) <100n + 100 (log n) ^ 2 para todos n> 0 Por lo tanto, 100n + log (n) es O (n + (log (n)) ^ 2)