如果某一类问题存在算法，并且构造出这个算法，就一定能求出该问题的精确解。