程序正确性VS 算法正确性 广义上：程序正确性 ≈ 算法正确性 狭义上：程序正确性三 算法正确性 狭义上：程序正确性验证VS算法正确性证明 以下内容，我们将从程序正确性 的关注，转为算法正确性的研究程序正确性 VS 算法正确性 广义上：程序正确性 ≈ 算法正确性 狭义上：程序正确性 ⊇ 算法正确性 狭义上：程序正确性验证 VS 算法正确性证明 以下内容，我们将从程序正确性 的关注，转为算法正确性的研究