Computational complexity : a modern approach / Sanjeev Arora, Boaz Barak.
Tipo de material: TextoDetalles de publicación: New York : Cambridge University Press, 2010. Descripción: XXIV, 579 p. : il. ; 27 cmISBN: 978-0-521-42426-4Tema(s): Computational complexity | Complejidad computacionalTipo de ítem | Biblioteca de origen | Signatura | URL | Estado | Fecha de vencimiento | Código de barras | Reserva de ítems | Bibliografía recomendada |
---|---|---|---|---|---|---|---|---|
Manuales | 03. BIBLIOTECA INGENIERÍA PUERTO REAL | 519.6/ARO/com (Navegar estantería(Abre debajo)) | Texto completo | Disponible Ubicación en estantería | Bibliomaps® | 3744060220 |
COMPLEJIDAD COMPUTACIONAL GRADO EN INGENIERÍA INFORMÁTICA Asignatura actualizada 2023-2024 |
P. 549-573.
Índice abreviado: 1. The computational model - and why it doesn't matter 2. NP and NP completeness 3. Diagonalization 4. Space complexity 5. The polynomial hierarchy and alternations 6. Boolean circuits 7. Randomized computation 8. Interactive proofs 9. Cryptography 10. Quantum computation 11. PCP theorem and hardness of approximation: an introduction 12. Decision trees13. Communication complexity 14. Circuit lower bounds: complexity theory's Waterloo 15. Proof complexity 16. Algebraic computation models 17. Complexity of counting 18. Average case complexity: Levin's theory 19. Hardness amplification and error-correcting codes 20. Derandomization 21. Pseudorandom constructions: expanders and extractors 22. Proofs of PCP theorems and the Fourier transform technique 23. Why are circuit lower bounds so difficult?
No hay comentarios en este titulo.