标签：若X是某LP的最优解，则X必为该LP可行域的某一个顶点