cddplus公司

程序cdd+是Motzkin等人的双重描述方法的C++实现,用于生成由线性不等式组给出的R^d中一般凸多面体的所有顶点(即极值点)和极值射线:P={x:ax<=b},其中a是mxd实矩阵,b是实m维向量。如果一次使用“hull”选项运行cdd,则该程序可用于反向操作(即凸壳计算)。这意味着我们可以在一个带有cdd+的多面体的不等式表示和生成器(即顶点和光线)表示之间来回移动。此外,cdd+可以解决线性规划问题,即P上线性函数的最大化和最小化问题。cdd+程序是ansic程序cdd的C++版本,基本上是出于相同的目的。主要区别在于,它可以编译为有理(精确)算法和浮点算法。(请注意,cdd只在浮点运算上运行。)

ORMS中也引用了该软件。