对于角谷算法的验证和猜想,我们必须去探求一些不知道的资源和方法 。