次不等式组与简单线性规划问题