客户尽职调查

程序cdd+(分别是cdd)是双重描述方法[MRTT53]的一个C++实现(ansic),用于生成由线性不等式组给出的一般凸多面体的所有顶点(即极值点)和极值射线:P={x C R^d:Ax<=其中是实矩阵,是实维向量。请参见[FP96]以获得cdd+中使用的双描述方法的有效实现。cdd/cdd+的一个有用特性是它能够在不进行任何数据转换的情况下处理双重(反向)问题。对偶问题被称为(凸)壳问题,即得到凸多面体的一个线性不等式表示,该凸多面体是有限点集的凸壳与有限点集的非负壳的Minkowski和,其中两个子集和的Minkowski和定义为。正如我们在本手册中看到的,计算可以直接进行。对于船体计算的输入有一个假设:多面体必须是全尺寸的。除了这些基本函数外,cdd/cdd+还可以解决一般线性规划问题,使多面体上的线性函数最大化(或最小化)。它主要用于求解大型(例如,多达几十万)和小型(例如,最多100个)的稠密线性规划。

ORMS中也引用了该软件。


zbMATH中的参考文献(参考文献112篇)

显示结果61到80/112。
按年份排序(引用)
  1. 奎格比乌尔,埃里克;De Cooman,Gert:极低概率(2008)
  2. 竹村,秋米町;Yoshida,Ruriko:整数线性不可行问题的推广(2008)
  3. 鲍嘉,T。;詹森,A。N、 。;斯派尔,D。;斯特恩费尔斯,B。;托马斯,R。R、 :计算热带品种(2007年)
  4. 博纳,米克洛斯;朱光铉;Yoshida,Ruriko:关于某些加权图的计数(2007)
  5. 约束分段仿射系统的最优控制(2007年)
  6. 迪扎,安托万;英迪克,加布里埃尔:支配集猜想的反例(2007)
  7. Dutour Sikirić,马修;舒曼,阿基尔;瓦伦汀,弗兰克:八维完美形式的分类(2007)
  8. 福田、高梅;詹森,安德森N。;Thomas,Rekha R.:计算Gröbner迷(2007)
  9. 刘易斯,罗伯特·迈克尔;谢泼德,安妮;弗吉尼亚州托尔岑:实现线性约束最小化的生成集搜索方法(2007)
  10. 阿鲁尔,拉吉耶夫;当,曹;Ivančić,Franjo:混合系统的反例引导谓词抽象(2006)
  11. 阿尔贝托,贝姆帕德;Giorgetti,Nicolò:混合系统最优控制的基于逻辑的解决方法(2006)
  12. 去吧,君雅;Konno,Hiroshi:由线性不等式组定义的多面体的最小椭球体(2006)
  13. Jensen,Anders N.:关于\texttg软件的介绍(2006)
  14. 德洛埃拉,耶稣会。;海默克,雷蒙德;陶谢,耶利米;Yoshida,Ruriko:有理凸多面体中的有效格点计数(2005)
  15. 迪扎,M.-M。;罗森博格,I。G、 :小锥(m)-半定量(2005)
  16. 费雷兹,J.-A。;福田,K。;Liebling,Th。M、 :用并行zonotope构造算法求解二元变量的固定秩凸二次最大化(2005)
  17. Carlo,Filippi:线性规划灵敏度分析的容差法新观点(2005)
  18. 小岛,Masakazu;金,孙杨;Waki,Hayato:多项式平方和的稀疏性(2005)
  19. 般若,司提反;帕帕克里斯托杜鲁,安东尼斯;塞勒,彼得;Parrilo,Pablo A.:SOSTOOLS及其控制应用(2005)
  20. 斯派尔,大卫;威廉姆斯,劳伦:热带完全阳性的格拉斯曼人(2005)