Garey, M: Computers and Intractability

Analizând metodologia de proiectare a algoritmilor, observăm că optimizarea performanței se lovește inevitabil de bariera problemelor NP-complete. În Computers and Intractability, Michael R. Garey și David S. Johnson fundamentează arhitectura teoretică a ceea ce numim astăzi intractabilitate. Considerăm această lucrare nu doar un manual, ci un instrument de diagnosticare esențial pentru orice inginer software sau cercetător care dorește să identifice limitele computaționale ale unei probleme înainte de a investi resurse în dezvoltarea unor soluții ineficiente.

Descoperim aici o structură axată pe rigoare: autorii explică mecanismele de reducere polinomială și clasificarea problemelor, oferind un cadru tehnic prin care putem demonstra de ce anumite sarcini rămân rezistente la algoritmi rapizi. Un element distinctiv care menține relevanța volumului, în ciuda vechimii sale, este apendicele extins — un compendiu de probleme NP-complete care servește drept referință practică în faza de design algoritmic. Deși nu include dezvoltări recente precum teorema PCP, rigoarea cu care sunt tratate bazele complexității rămâne neegalată.

Cititorul care a aplicat ideile din Limits of Computation de Edna E. Reiter pentru a înțelege ce este indecidabil, va găsi în această carte de Michael R. Garey instrumentele matematice necesare pentru a demonstra riguros dificultatea problemelor întâlnite în practică. Spre deosebire de introducerile generale, acest volum se concentrează pe tehnica demonstrației, fiind fundamentul pe care s-au construit ulterior strategii de aproximare sau euristici avansate. Recomandăm acest titlu ca pe o piesă centrală în biblioteca oricărui specialist preocupat de eficiența computațională și de limitele fundamentale ale procesării datelor.