‍一个问题的算法必须在有穷时间终止，并且对一切合法的输入都能得出满足要求的结果