显示时间与Minizinc模型中的实际求解时间不同
显示时间与Minizinc模型中的实际求解时间不同
提问于 2018-02-22 02:46:59
我用int_search语句编写了一个包含变量的大型迷你模型，以便进行正确的排序。它包含output语句，其中我使用fix(var变量)语句来输出变量值，它还包含一些使用内置函数sum、bool2int等的函数。现在，当我运行模型时，它在很长一段时间(例如，5-6分钟)后显示在屏幕上，但运行时/求解时间(默认情况下求解器的打印信息)仅显示20秒。为什么会发生这种奇怪的事情？是不是因为output语句也很耗时？但是变量在那个时候是固定的，那为什么呢？
回答 1
Stack Overflow用户
发布于 2018-02-22 04:30:42
额外的时间可能是由于该过程的第一步:即将MiniZinc (.mzn)文件转换为FlatZinc (.fzn)；这是“展平步骤”。解算器显示的时间是从它开始读取FlatZinc文件开始的时间。
大型模型可能需要相当长的时间才能展平，正如您在这里所看到的那样。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/48913296
复制相关文章
相似问题
腾讯云开发者
