通用问题求解器需要寻找全局最优解。