This verification can be implemented by determining the consistency of a group of linear inequalities, or equivalently, by solving a linear programming problem.

• 该方法将生存性判别转化为判别线性不等式组的相容性或等价地转化为求解一个线性规划问题。