到此为止，这个问题我们解决了吗？ No! 我们还应该至少回答这些问题： 你能证明你的解法是正确的吗？ 你能证明你的解法是最优的吗？ 你能证明你的程序没有错误吗？ 9/24/2015到此为止，这个问题我们解决了吗？ No！ 我们还应该至少回答这些问题： 你能证明你的解法是正确的吗？ 你能证明你的解法是最优的吗？ 你能证明你的程序没有错误吗？ 9/24/2015