来自 choco solver 的解法说明答案

【问题标题】：Explanation of solution from choco solver来自 choco solver 的解法说明
【发布时间】：2018-06-19 07:09:23
【问题描述】：

当我运行 choco solver 4.0.6 时，我得到了这种解决方案：

Solution : X = 10, Y = 14, REIF_1=1, not(REIF_1)=0, REIF_2=1, not(REIF_2)=0,  IV_3=2, REIF_4=1, not(REIF_4)=0 ...

除了 X 和 Y 的值，谁能告诉我解的其余部分是什么意思？

【问题讨论】：

除非你给我们完整的代码，否则你得到的其余输出的最佳答案是它来自圣诞老人。
我将首先阅读您正在使用的工具的文档。
REIF_1 很可能是第一个reified constraint、REIF_2 第二个的结果，IV_3 主要是添加到模型中的未命名变量的值...跨度>

【解决方案1】：

IV meqns 引入了变量。通常当约束需要辅助变量来工作时。 REIF 变量是具体化的变量。前面的注解和not一样是逻辑运算符。

最佳

【讨论】：

在我的测试中，“IV_”用于未命名的IntVar，而不是“引入的变量” - 与使用“BV_”的BoolVar 相同，RealVar“RV_” ... 代码IvariableFactory（由Model实现）秒

【解决方案2】：

更准确地说，其他变量是：
- 由求解器引入（例如，通过重新表述、具体化或某些视图）=> 你不应该关心它们。
或
- 由你介绍，但没有名字（在这种情况下会自动生成一个名字）=>如果你想打印它们，最好给它们一个名字

我也建议你直接打印你想要的变量，而不是依赖默认的日志。

【讨论】：