9.2 异策确定性算法