Cómo probar o refutar [math] \ log (n!) \ In \ Theta (n ^ 2) [/ math] en notación asintótica

[math] \ log (n!) [/ ​​math] se puede evaluar con la regla del producto para logaritmos como

[matemáticas] \ log (n!) = \ log n + \ log (n-1) + \ log (n-2) + \ log (n-3) +… + \ log (2) + \ log (1 )[/matemáticas]

Hay [math] n [/ math] entradas en esta suma y la más grande es [math] \ log n [/ math], por lo que tiene

[matemáticas] \ log (n!) \ leq n \ log n [/ math]

lo cual es suficiente para darle un orden de crecimiento.

La aproximación de Stirling es un límite numérico más estricto pero expresa el mismo orden de crecimiento:

[matemáticas] \ ln (n!) = n \ ln n – n + O (\ ln n) [/ matemáticas]

Desenvolver la definición de big-O significa que para alguna constante c_0 y suficientemente grande n,

[matemáticas] \ ln (n!) \ leq n \ ln n – n + c_0 \ ln n [/ matemáticas]

que es solo una suma simple en el lado derecho que deberías poder simplificar usando propiedades de big-O (o si es necesario, puedes encontrar las constantes necesarias para aplicar la definición).

[matemáticas] n! = n * n-1 *… 2 * 1 [/ matemáticas]

[matemáticas] n ^ n = n * n *… n * n [/ matemáticas]

Así,

¡norte! = O ([matemática] n ^ n [/ matemática]), lo que implica [matemática] log (n!) = O (log (n ^ n)) = O (nlog (n)) = O (n ^ 2) [/matemáticas]

Creo que su declaración es incorrecta ( log ( n !) = Θ ( n · log ( n )) ).

log (n!) = log (1) + log (2) +… + log (n) <= 1 + 2 +… + n <= n + n +… + n = n * n

Ese es el límite superior del año.

log (1) + log (2) +… + log (n / 2) +… + log (n) => log (n / 2) +… + log (n) => (n / 2) * log ( n / 2)

Y tu límite inferior.

Parece que estás usando grandes theta allí, [matemáticas] \ Theta (n ^ 2) [/ matemáticas]. Si es así, entonces la declaración es incorrecta. [matemáticas] \ log (n!) = O (n ^ 2) [/ matemáticas], pero [matemáticas] \ log (n!) [/ ​​matemáticas] no es [matemáticas] \ Omega (n ^ 2) [/ matemáticas] y por lo tanto tampoco es [matemáticas] \ Theta (n ^ 2) [/ matemáticas].

Como Mark Gritter explicó bien, [math] \ log (n!) = O (n \ log n) [/ math] se sigue directamente de la definición de [math] n! [/ Math] y no requiere la aproximación de Stirling. Luego se deduce que [math] \ log (n!) = O (n ^ 2) [/ math], que es simplemente una declaración más débil.

Del mismo modo, puede establecer un límite inferior:

[matemáticas] \ log (n!) = \ log (n) + \ log (n-1) + \ ldots + \ log (1) \ geq (n / 2) \ log (n / 2) [/ math]

porque podemos tirar la mitad de los términos (los pequeños) y reducir cada término de la otra mitad a los más pequeños [math] \ log (n / 2) [/ math].

Observe que [matemáticas] (n / 2) \ log (n / 2) = \ Omega (n \ log (n)) [/ matemáticas]

y concluya que [math] \ log (n!) = \ Theta (n \ log (n)) [/ math].

Ohoo, la respuesta puede molestarte.

Solo mira la imagen:

More Interesting

Soy muy malo en matemáticas, pero quiero ser programador. ¿Debo solicitar la programación?

¿Cómo explicaría las diferencias subyacentes entre álgebra lineal, establecer álgebra teórica y álgebra relacional (especialmente desde una perspectiva CS / base de datos)?

Cómo estimar el orden de complejidad de una operación

¿Cuáles son algunos conceptos en el cálculo lambda que es bueno saber antes de aprender programación funcional?

Dados N puntos en el plano, ¿qué es un algoritmo eficiente para encontrar todos los conjuntos de 3 o más puntos colineales?

¿Qué módulo será más útil, análisis multivariado o análisis bayesiano?

¿Dónde puedo conocer y salir con profesores que trabajan en la intersección de algoritmos de aproximación y teoría de números algebraicos?

Tengo los datos de todos mis productos (altura-ancho-longitud) pero quiero encontrar el número óptimo de cajas N y el tamaño de cada N cajas (medidas como HWL). ¿Cómo puedo hacerlo?

¿Cuáles son los tiempos de ejecución de varios algoritmos de aprendizaje automático como SVM, redes neuronales, etc. en términos de notación big-O?

¿Cuál es la diferencia entre NP-hard y NP-complete?

¿Se conocieron y / o trabajaron juntos Alan Turing (1912-1954) y John von Neumann (1903-1957)?

¿Por qué es más fácil la adición de peano para una computadora?

¿Pueden todos estos números: -5, 2015.125, 4 ^ 100, 128 ^ -3 representados exactamente en una máquina de doble precisión? ¿Por qué y por qué no?

¿Cómo probarías que el problema máximo de conjunto independiente en los gráficos está en la clase NP?

¿Cuáles son algunos de los nuevos campos en la informática teórica?