算法正确性验证