如果可行解集是非空和有界的，那么目标函数的最优值一定存在，但未必唯一