看完以后有印象的：pop面向过程向oop面向对象的转变写的很好懂。还有就是spin glass在NP完备性问题的应用做了一些科普。
computer and intractability 是为此领域的圣经
NP完备性问题你有没有什么浅显的书可以推荐？推理的迷宫 说得不清楚。有的时候科普读物没有公式未必是好事，思路和逻辑都模糊了。