本研究以形式化方法PAR为基础，综合运用抽象、演绎、泛型等相关方法和机制，探索面向效率的算法演算法则/策略。通过对多序列比对算法族的研究，发现多序列比对算法领域(Domain of Multiple Sequence Alignment Algorithm,MSAA)包含双序列比对算法、启发式多序列比对算法、系统发生树生成算法以及目标函数。

本书共分五章，内容包括：形式化软件开发方法概述、图算法研究概述及相关技术、图论领域算法分析、图算法构件设计与实现、特定图算法的组装生成。

本书以设计策略为主线，介绍了经典算法设计(包括分治、动态规划、贪心、回溯、迭代改进等算法)、NP完全理论、非精确型算法设计(包括近似算法、参数化算法，随机算法)，以及现代智能优化方法。