Manuel Blum
question: ¿Quién es responsable de la teoría de la complejidad axiomática?, context: En 1967, Manuel Blum desarrolló una teoría de la complejidad axiomática basada en sus axiomas y demostró ser un resultado importante, el llamado teorema de aceleración. El campo realmente comenzó a florecer en 1971 cuando el investigador estadounidense Stephen Cook y, trabajando de forma independiente, Leonid Levin en la URSS, demostraron que existen problemas prácticamente relevantes que son NP-completos. En 1972, Richard Karp llevó esta idea un salto hacia adelante con su artículo histórico, "Reducibilidad entre problemas combinatorios", en el que mostró que 21 problemas teóricos combinatorios y de grafos, cada uno infame por su computabilidad.
¿Quién es responsable de la teoría de la complejidad axiomática?
En 1967, Manuel Blum desarrolló una teoría de la complejidad axiomática basada en sus axiomas y demostró ser un resultado importante, el llamado teorema de aceleración.
En 1967, Manuel Blum desarrolló una teoría de la complejidad axiomática basada en sus axiomas y demostró ser un resultado importante, el llamado teorema de aceleración. El campo realmente comenzó a florecer en 1971 cuando el investigador estadounidense Stephen Cook y, trabajando de forma independiente, Leonid Levin en la URSS, demostraron que existen problemas prácticamente relevantes que son NP-completos. En 1972, Richard Karp llevó esta idea un salto hacia adelante con su artículo histórico, "Reducibilidad entre problemas combinatorios", en el que mostró que 21 problemas teóricos combinatorios y de grafos, cada uno infame por su computabilidad.
En 1967, <hl> Manuel Blum <hl> desarrolló una teoría de la complejidad axiomática basada en sus axiomas y demostró ser un resultado importante, el llamado teorema de aceleración.
En 1967, <hl> Manuel Blum <hl> desarrolló una teoría de la complejidad axiomática basada en sus axiomas y demostró ser un resultado importante, el llamado teorema de aceleración. El campo realmente comenzó a florecer en 1971 cuando el investigador estadounidense Stephen Cook y, trabajando de forma independiente, Leonid Levin en la URSS, demostraron que existen problemas prácticamente relevantes que son NP-completos. En 1972, Richard Karp llevó esta idea un salto hacia adelante con su artículo histórico, "Reducibilidad entre problemas combinatorios", en el que mostró que 21 problemas teóricos combinatorios y de grafos, cada uno infame por su computabilidad.
<hl> En 1967, Manuel Blum desarrolló una teoría de la complejidad axiomática basada en sus axiomas y demostró ser un resultado importante, el llamado teorema de aceleración. <hl> El campo realmente comenzó a florecer en 1971 cuando el investigador estadounidense Stephen Cook y, trabajando de forma independiente, Leonid Levin en la URSS, demostraron que existen problemas prácticamente relevantes que son NP-completos. En 1972, Richard Karp llevó esta idea un salto hacia adelante con su artículo histórico, "Reducibilidad entre problemas combinatorios", en el que mostró que 21 problemas teóricos combinatorios y de grafos, cada uno infame por su computabilidad.