算法必须产生正确的结果