当前解是基本可行解；非基变量的检验数满足最优性检验；存在某个非基变量的检验数等于；第二章单元测试