Teorema de Cook
En teoría de la complejidad computacional, el Teorema de Cook establece lo siguiente: Cook demostró este teorema en su artículo de 1971 "The Complexity of Theorem Proving Procedures". El teorema fue demostrado independientemente por Leonid Levin aproximadamente en la misma fecha, por lo que algunas veces es llamado Teorema de Cook-Levin.
Nº Q377276 ★
Común · Saberes
Teorema de Cook
En teoría de la complejidad computacional, el Teorema de Cook establece lo siguiente: Cook demostró este teorema en su artículo de 1971 "The Complexity of Theorem Proving Procedures". El teorema fue demostrado independientemente por Leonid Levin aproximadamente en la misma fecha, por lo que algunas veces es llamado Teorema de Cook-Levin.
Último precio
—
Precio mínimo
—
Mediana 7 d
—
Ventas 30 d
0
Rango 30 d
—
En circulación
0
Cotización
mediana
mín – máx
ventas
Sin ventas en el periodo
Ver tabla
| Fecha | mediana | Mín | Máx | ventas |
|---|
Historial de ventas
- Última venta
- —
- Media 30 d
- —
- Mínimo 30 d
- —
- Máximo 30 d
- —
- Ventas 7 d
- 0
- Ventas 30 d
- 0
Aún no hay ventas.
Ventas anónimas: sin comprador ni vendedor. Las cifras solo cuentan ventas entre jugadores.
En Wikipedia
En teoría de la complejidad computacional, el Teorema de Cook establece lo siguiente: Cook demostró este teorema en su artículo de 1971 "The Complexity of Theorem Proving Procedures". El teorema fue demostrado independientemente por Leonid Levin aproximadamente en la misma fecha, por lo que algunas veces es llamado Teorema de Cook-Levin.
Texto: Wikipédia, CC BY-SA 4.0. · Imagen: me (CC BY-SA 3.0) ·
Cartas cercanas
-
Stephen Cook
Científico de computación canadiense
Nº Q62870 ★
Sin ofertas
-
NP (clase de complejidad)
Clase de complejidad computacional
Nº Q628036 ★★★
Sin ofertas
-
Problema de satisfacibilidad booleana
Nº Q875276 ★★
Sin ofertas
-
P
PCP theorem
Theorem in complexity theory that every problem in NP has probabilistically checkable proofs
Nº Q1140200 ★
Sin ofertas
-
NP-completo
Clase de complejidad
Nº Q215206 ★★★
Sin ofertas
-
V
Veintiún problemas NP-completos de Karp
Nº Q1734364 ★★
Sin ofertas