Ce este teoria complexității – și de ce este ea atât de centrală pentru informatică? Teoria complexității investighează cât timp, spațiu de memorie sau alte resurse sunt necesare pentru a rezolva probleme algoritmice. Ea oferă fundamentul pentru a înțelege ce pot realiza calculatoarele – și ce rămâne, chiar și cu cei mai buni algoritmi, în principiu inaccesibil. De la clasele clasice P și NP, prin reduceri, NP-completitudine și probleme de aproximare, până la sisteme de demonstrație interactive, teoria PCP și complexitatea comunicației, această carte introduce treptat cele mai importante concepte ale informaticii teoretice. În locul nedeterminismului, complexitatea este definită aici prin algoritmi randomizați. Lucien Sina nu explică doar teoria, ci transmite și ideile și intuițiile de bază. Numeroase exemple, demonstrații și exerciții cu soluții ajută la aprofundarea conținutului și la dezvoltarea unei intuiții autentice asupra limitelor a ceea ce poate fi calculat eficient. Cartea este ideală pentru studenți la informatică, pentru cadre didactice, cercetători și pentru toți cei care caută un acces solid, dar totodată clar și ușor de înțeles la teoria complexității. Ea se leagă de celelalte lucrări ale autorului - „Algoritmi și structuri de date”, „Informatică teoretică”, „Logică: fundamente, problema P vs. NP și perspective teoretice ale informației” și „Programare orientată pe obiect în Java” - și formează împreună cu acestea o serie coerentă de studiu și de referință, care se întinde de la cercetarea fundamentală până la programarea practică. Teoria complexității arată cât de profund sunt împletite teoria și practica informaticii - și de ce a cunoaște limitele a ceea ce este posibil este adesea primul pas pentru a le extinde în mod creativ.
