NOREDUND——删除冗余线性不等式的不平等;即。定义一个可行域,删除冗余的线性约束。注意,可行域满足* x < = b,是一个固定的矩阵,b是一个固定的向量,和x是向量的坐标空间;即。,所有的x值(或等价,所有命令n元数组的坐标数字),满足不等式* x < = b是可行域内(或在其边界)。删除冗余约束手段和相应的条目的删除行b没有必要,然后留下了新的不平等* x < = bn。自的列数,一个是相同的(等于x的行数,或者说你的空间的维数),问题的维数是不变的。相反,简单地删除冗余约束。

(一个,bn) = noredund (A, b)

n变量:
一个= m x n矩阵,m > = n (m约束)
向量(m b = m x 1约束)
一个=毫米x n矩阵,mm > = n (mm nonredundant约束)
bn =毫米x 1向量(mm nonredundant约束)

注:
(1)无限可行区域是允许的。
(2)这个程序要求可行域有一些有限的程度在所有维度。例如,可行域不能一条线段在二维空间中,或一架飞机在3 d空间。
(3)至少需要两个维度。
(4)看到函数CON2VERT仅限于有限可行的地区,但也为该地区输出顶点。
(5)由迈克尔•Kleder 2005年6月。小更新,2006年2月。