若算法是正确的，则算法一定能结束（运行时间是有限的）;若算法是正确的，则对于问题的任何实例，算法都能得到正确的结果