cddplus公司

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

ORMS中也引用了该软件。