假如X是原问题的可行解，Y是对偶问题的可行解，而这两个可行解对应的目标函数值恰好相等，则这两个可行解分别是原问题和对偶问题的最优解