如果一个算法能应用于问题的任意实例，并保证得到正确解答，称这个算法解答了该问题。