基于同步回代法的场景缩减程序，已调试成功，可直接使用。(The scenario reduction program based on simultaneous backward reduction method has been debugged successfully and can be used directly.)