9.3.3 算法验证