费蓉等：中国邮递员问题的动态规划算法研究

!"!"个阶段#证明根据算法步骤%，对#算法$执行结束后，允许于任意多阶段决策过程模型#$的任意结点，状态集合共分为$（"!$）个，满足每个允许状态集合内部不存在通路，此外，根据算法步骤$，存在%个独立的允许状态集，共有$"个独立允许状态集，因此，根据多段决策分段原则，一定可以分成阶段数证毕$&$"!"的多阶段决策过程模型##

以图"为例，设%"为起点，则图$中的模型经过’()’*+算法处理，建成%个多段决策过程模型，分别为

#"：起始状态：&"，终态：&$，#$：起始状态：&"，终态：&"，#,：起始状态：&$，终态：&"，#%：起始状态：&$，终态：&$

#-./#$0123452671.81.9/4:;<43-./"=>*

?)+#