线性规划如果有最优解，则它一定会出现在可行域的边缘上。