证明是）由局部最优解组成，且对解的最优性没有要求的时候，可以采用的一种方法。线性规划法：见条目。简并法：把一个问题通过逻辑或数学推理，简化成与之等价或者近似的、相对简单的模型，进而求解的方法。
常用实现方法.递归方法与迭代方法顺序计算、并行计算和分布式计算：顺序计算就是把形式化算法用编程语言进行单线程序列化后执行。确定性算法和非确定性算法精确求解和近似求解
形式化算法.算法是计算机处理信息的本质，因为计算机程序本质上是一个算法来告诉计算