我想写一个求解器来安排SimCity buildit中的生产。因为我是Minizinc的初学者(通常是求解器- blush ),所以我不确定我想尝试的东西是否完全有意义。
我想了解的是,是否有可能在Minizinc中创建一个计划者,以便为要生产的物品清单制定最快的时间表,或者我是否最好立即开始进行显式编码?
答案 0 :(得分:2)
使用MiniZinc可以解决这类问题,尽管我还没有听说有人可以解决此特定问题。您的问题似乎与 jobshop问题密切相关。此问题可能提供了一个良好的基准,并且可以使用多种模型来解决此问题。您可以在MiniZinc基准测试资料库中找到许多示例模型(质量不同):https://github.com/MiniZinc/minizinc-benchmarks
正如Patrick Trentin指出的那样,您必须牢记使用MiniZinc解决的各种问题的复杂性。通常,解决这些问题的时间可能成倍增长,甚至更糟。为了找到解决难题的方法,已经考虑了建模问题的方式以及求解器使用的技术(以及要使用的求解器)来解决问题。如果您只是开始使用MiniZinc,我建议您参加MiniZinc Coursera课程,这将使您立即开始使用:https://www.coursera.org/learn/basic-modeling