0

给定一个加权约束满足问题 (X, C, k)，其中X是一组变量，C是一组软约束，并且k > 0是整数或无穷大；如何将其翻译成 minizinc 源文件？

中的每个约束C都是一个函数，从一组变量的子集中分配X到成本c <= k

我认为这些问题（或其中有用的子集）应该能够被翻译成 minizinc 源代码，但我缺乏 minizinc 的经验知道如何。

4

1 回答 1

0

本文概述了必须执行此操作的方法。似乎没有实现，但似乎也不太复杂。祝你好运！

于 2015-10-28T16:33:35.707 回答