离散动力学性质和社会
研究文章

约束编程方法与多层次结构化产品先进的规划和调度系统

表3

比较CP和MIP模型。
实例 CP 知识产权
不。的变量 不。的约束 CPU时间(s) 客观的 不。的变量 不。的约束 CPU时间(s) 客观的
a - 1 182年 539年 0.1 50 182年 301年 0.2 50
a - 0.1 75年 0.2 75年
a - 3 0.1 150年 0.1 150年
b - 1 337年 1964年 0.5 50 657年 1190年 37.4 50
b - 2 1000 + 75年 1000 + 75年
酮- 3.6 125年 1000 + 175年
颈- 1 407年 13937年 16.5 75年 4693年 9188年 44.4 75年
c - 2 5.7 125年 1000 + 125年
颈- 3 1000 + 300年 1000 + 275年
大胆的实例结果证明是最优的。