Cosa possono davvero fare i computer? Questo libro esplora i limiti e le possibilità del calcolo efficiente, da P e NP fino alle grandi domande della complessità.
Non basta sapere come programmare: bisogna anche sapere che cosa si può davvero calcolare in modo efficiente.
La teoria della complessità risponde proprio a questa domanda. Questo libro offre un accesso chiaro, rigoroso e progressivo ai temi centrali dell’informatica teorica: P e NP, riduzioni, NP-completezza, approssimazione, sistemi di prova interattivi, teoria PCP e complessità della comunicazione.
Con uno stile didattico e intuitivo, Lucien Sina spiega non solo i risultati, ma anche le idee che li rendono comprensibili. Esempi, dimostrazioni ed esercizi con soluzioni aiutano a consolidare i contenuti e a sviluppare un vero senso per i limiti del calcolo efficiente.
La teoria della complessità mostra quanto siano profondamente intrecciate teoria e pratica dell’informatica — e perché conoscere i confini del possibile sia spesso il primo passo per ampliarli in modo creativo.
Lucien Sina
Lucien Sina ist Mathematiker, Informatiker, Pädagoge und vielseitiger Sachbuchautor. Er verbindet langjährige Erfahrung in Softwareentwicklung, Algorithmik und Didaktik mit der Fähigkeit, komplexe Inhalte klar und verständlich zu vermitteln. Als lizenzierter Fitnesstrainer arbeitet er seit über zwei Jahrzehnten mit Trainingslehre und Ernährung und vereint wissenschaftliche Erkenntnisse mit praktischer Erfahrung. In seinen Büchern – zu Informatik, Sport, Ernährung, Intelligenz, Psychologie, Hundeerziehung, Anti-Aging und weiteren Lebensthemen – legt er besonderen Wert auf Verständlichkeit, klare Struktur und unmittelbare Umsetzbarkeit. Seine Werke richten sich an Leser, die fundiertes Wissen suchen, das sowohl theoretisch solide als auch alltagstauglich ist.
NP-completezza problema P vs NP gerarchia polinomiale complessità di approssimazione teorema PCP complessità dei circuiti riduzioni tra problemi