本书专门介绍了算法设计的五项主要原则：分而治之、贪心算法、减而治之、动态规划和穷举搜索。这些原则是用Haskell这种纯函数式语言来阐述的，与使用命令式语言相比，解释更简单，程序更短。书中还配有精心挑选的例子（既有新示例，也有标准示例），展示了算法之间的共性和差异。算法开发在适用的情况下使用等式推理，阐明适用性条件和正确性论证。每章最后都附有习题（共近300道），每道习题都有完整的答案，便于读者巩固理解，并将这些技术应用于一系列问题。 本书适用于计算机科学与技术及软件工程相关专业学生（包括本科生和研究生）、研究人员、教师和专业人士，可以帮助他们进一步了解如何设计和实现优秀的算法，以及如何用纯函数术语来表达这些算法。

译者序
前言
第一部分 基础知识
第1章 函数式编程
1.1 基本类型与函数
1.2 处理列表
1.3 归纳与递归的定义
1.4 融合
1.5 累积与串联
章节注释
参考文献
练习
第2章 时间
2.1 渐近表示法
2.2 估计运行时间
2.3 上下文中的运行时间
2.4 均摊运行时间
章节注释
参考文献
练习
第3章 实用的数据结构
3.1 对称列表
3.2 随机访问列表
3.3 数组
章节注释
参考文献
练习
第二部分 分而治之
第4章 二分查找
4.1 一维查找
4.2 二维查找
4.3 二叉搜索树
4.4 动态集
章节注释
参考文献
练习
第5章 排序
5.1 快速排序
5.2 归并排序
5.3 堆排序
5.4 桶排序及基数排序
5.5 排序总和
章节注释
参考文献
练习
第6章 选择
6.1 最大和最小
6.2 单集合中的选择
6.3 双集合中的选择
6.4 从补集中选择
章节注释
参考文献
练习
第三部分 贪心算法
第7章 列表的贪心算法
7.1 通用贪心算法
7.2 贪心排序算法
7.3 硬币兑换问题
7.4 TEX中的十进制小数
7.5 不确定性函数和精化
7.6 总结
章节注释
参考文献
练习
第8章 树的贪心算法
8.1 最小高度树
8.2 哈夫曼编码树
8.3 优先队列
章节注释
参考文献
练习
第9章 图的贪心算法
9.1 图和生成树
9.2 Kruskal算法
9.3 不相交集和联合查找算法
9.4 Prim算法
9.5 单源最短路径
9.6 Dijkstra算法
9.7 慢跑者问题
章节注释
参考文献
练习
第四部分 减而治之
第10章 简化算法介绍
10.1 基本理论
10.2 分层网络中的路径
10.3 再论硬币兑换
10.4 背包问题
10.5 一种通用的简化算法
章节注释
参考文献
练习
第11章 片段和子序列
11.1 最长上升子序列
11.2 最长公共子序列
11.3 和最大子段
章节注释
参考文献
练习
第12章 划分
12.1 划分的生成方法
12.2 管理两个银行账户
12.3 段落问题
章节注释
参考文献
练习
第五部分 动态规划
第13章 高效递归
13.1 两个数字的例子
13.2 再论背包问题
13.3 最小代价编辑序列
13.4 再论最长公共子序列
13.5 穿梭巴士问题
章节注释
参考文献
练习
第14章 最佳划分
14.1 立方时间复杂度的算法
14.2 平方时间复杂度的算法
14.3 复杂度算法示例
14.4 单调性证明
14.5 最佳二叉搜索树
14.6 GarsiaWachs算法
章节注释
参考文献
练习
第六部分 穷举搜索
第15章 搜索方法
15.1 隐式搜索和n皇后问题
15.2 给定和的表达式
15.3 深度优先搜索与广度优先搜索
15.4 登月问题
15.5 预先规划
15.6 高峰时间问题
章节注释
参考文献
练习
第16章 启发式搜索
16.1 乐观启发式搜索
16.2 单调启发式搜索
16.3 仓库导航
16.48 数码问题
章节注释
参考文献
练习
附录 练习答案