判定线性不等式围成空间是否为空的混合算法

Hybrid algorithm for determination of emptiness of regions bounded by linear constraints

为判定由多个线性不等式围成的空间是否为空 ,给出了判定算法 .利用空间中的投影矩阵将一个射线投影到约束空间的一个向量 ,使得算法在低维空间讨论以前能够尽可能多地寻找动点满足的半空间 。

In order to determine the emptiness of region bounded by linear inequalities, a hybrid algorithm is proposed to use the projection matrix to project the moving vector in the space to the intersection of some hyper planes, so that more half space can be found to the satisfaction of a moving point prior to the discussion in lower dimensional spaces.