递归程序的四个基本法则

1. 基准情形。必须总要有某些基准情形，它无需递归就能解出。
2. 不断推进。对于某些需要递归求解的情形，每一次递归调用都必须使状况朝向某一种基准情形推进。
3. 设计法则。假设所有的递归调用都能运行。
4. 合成效益法则。在求解同一问题的同一实例时，切勿在不同的递归调用中做重复性工作。