用单纯形法求解线性规划问题，若最终表上非基变量的检验数均严格小于零，则该模型一定有唯一的最优解。