逐步求精的程序设计方法
1 程序设计解决实际问题的一般步骤
- 建模：对实际问题进行分析，选择适当的模型来描述实际问题
- 确定算法：根据模型，找出解决问题的方法
- 逐步求精
- 对用自然语言等描述的算法逐步细致化、精确化、形式化；此阶段可能需要多步求精
- 当逐步求精到某一步时，根据程序中所使用的数据形式，定义若干ADT，并且用ADT的操作代替对应的非形式语句
- ADT的实现：对于每个ADT，选用适当的数据结构表示数学模型，并用相应的函数实现对应的操作
2 实例
交叉路口的交通安全管理问题
- 问题描述：一个具有多条通路的交叉路口，当允许某些通路上的车辆在交叉路口拐弯时，必须对其他一些通路上的车辆加以管制，不允许同时在交叉路口拐弯，以免发生车祸；所以这些可能的拐弯组成一个集合
- 基本要求：把这个集合分成尽可能少的组，使车辆顺利通过交叉路口
