Pre-requisite: Sieve of Eratosthenes What is Sieve of Eratosthenes algorithm? In order to analyze it, let's take a number n and the task is to print the prime numbers less than n. Therefore, by definition of Sieve of Eratosthenes, for every prime number, it has to check the multiples of the prime and mark it as composite. This process continues until a value p which is the highest prime number less than n. Understanding the n*log(log n) time complexity of Sieve of Eratosthenes
- Si se supone que el tiempo necesario para marcar un número como compuesto es constante, entonces el número de veces que se ejecuta el bucle es igual a:
- Al tomar n común de la ecuación anterior, la ecuación anterior se puede reescribir como:
- Se puede demostrar de la siguiente manera con la ayuda de la progresión armónica de la suma de números primos :
- Prueba de progresión armónica de la suma de números primos: Para entender la prueba, el requisito previo es la serie armónica y la expansión de la serie de Taylor .
- Tomemos una ecuación:
- La expansión en serie de Taylor de la ecuación anterior está dada por:
- Poniendo x = 1 en la ecuación anterior, obtenemos la relación: Marquemos la ecuación anterior como 1 .
- De la fórmula del producto de Euler ,
- Al sustituir s = 1 en la ecuación anterior, obtenemos
- Al aplicar log a ambos lados:
- Al simplificar la ecuación anterior, queda:
- En la ecuación anterior, 1 > p -1 > -1
- Por lo tanto, podemos usar la expansión de la serie de Taylor para el lado derecho de la ecuación anterior.
- Al sustituir esto en la ecuación anterior, obtenemos: donde p es un número primo.
- Al expandir la suma interna;
- La serie anterior es convergente. Entonces, la serie anterior se puede aproximar a:
- Por lo tanto, al sustituir y reescribir la ecuación; obtenemos donde p es el número primo.
- De la ecuación inicial 1, finalmente podemos concluir que: donde p es la suma de los números primos.
- Al sustituir esto en la ecuación, obtenemos la complejidad temporal como:
Por lo tanto, la complejidad temporal de la Tamiz de Eratóstenes es n*log(log(n)) Referencia: Divergencia de la suma de los recíprocos de los números primos
Publicación traducida automáticamente
Artículo escrito por KaashyapMSK y traducido por Barcelona Geeks. The original can be accessed here. Licence: CCBY-SA