06 — NP-completeness and SAT: from Cook-Levin to real problems
Cook-Levin theorem: SAT is NP-complete. Reductions to 3-SAT, vertex cover, clique, hamiltonian path.…
03 — Undecidability: the halting problem
The first undecidable problem: halting problem. Turing's diagonalization proof and consequences for programming.
¿Qué opinas de este artículo?
En Resumen XPHX0XPHX La vida es un misterio que se nos escapa.
The first undecidable problem: halting problem. Turing's diagonalization proof and consequences for programming.
Discute este artículo en la comunidad
Únete al grupo Telegram para discutir con otros desarrolladores, hacer preguntas y compartir tus experiencias.
¿Te ha gustado este artículo?
Explora otros contenidos en el blog o descubre mis proyectos XPHX0XPHX
Commenti
Caricamento commenti...
Accedi per lasciare un commento