A当前解是基本可行解；B非基变量的检验数满足最优性检验；C存在某个非基变量的检验数等于；D存在某个非基变量的检验数大于