‍‎肯定获得可行解，但不一定是正确解的算法是（）