9.3 异策确定性算法