最小化问题（对偶问题）的任一可行解对应的目标函数值是原问题最优目标函数的下界