对于线性规划问题的基本可行解，若大于零的基变量数小于约束条件数，则解是退化的