Plantilla para pruebas Big-Oh
Recuerde: todas las pruebas big-oh siguen esencialmente la misma forma. Solo varía la manipulación algebraica. Necesitamos hacer solo dos cosas para tener una prueba de que T (n) es O f (n)
1. Indique los testigos n0 y c. Estos testigos deben ser constantes específicas, por ejemplo, n0 = 47 yc = 12.5. Además, n0 debe ser un número entero no negativo y c debe ser un número real positivo.
2. Mediante la manipulación algebraica apropiada, demuestre que si n ≥ n0 entonces T (n) ≤ cf (n), para los testigos particulares n0 y c elegidos
Página en stanford.edu página 98
Preguntándome, encontré lo anterior. Parece que la única forma de avanzar a través de los bucles de conteo de código (o pseudocódigo) y sus dependencias de variables y parámetros de entrada es el único camino a seguir.
Parece que vale la pena leer todo el artículo de Stanford si el suyo es un problema real.
- ¿Qué trabajos recomienda como introducción a la teoría de la complejidad y la teoría de la votación?
- ¿Es necesaria la lógica equitativa en informática?
- ¿Por qué diferenciamos entre máquinas Turing universales y máquinas Turing normales?
- ¿Qué es un algoritmo para encontrar la mediana de la complejidad en o (n) tiempo?
- ¿Cuál es su problema (s) abierto (s) favorito (s) en Machine Learning desde la perspectiva teórica de un científico de la computación?