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