线性规划的可行解集是凸集。