计算复杂性与算法分析

本书论述了形式语言的基本内容，包括有限自动机、下推机和图灵机的基础理论，讨论了如分治策略、动态规划、回溯法、贪心法以及概率算法等算法的基本技术，同时，也给出了计算复杂性理论的基本知识。