Minizinc 如何用于解决加权约束满足问题_？答案

【问题标题】：How can Minizinc be used to solve a weighted constraint satisfaction problem_?Minizinc 如何用于解决加权约束满足问题_？
【发布时间】：2015-10-28 16:16:37
【问题描述】：

给定一个weighted constraint satisfaction problem(X, C, k)，其中X是一组变量，C是一组软约束，k > 0是一个整数或无穷大；如何将其翻译成 minizinc 源文件？

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

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

【问题讨论】：

标题中不允许出现“问题”一词，因此使用下划线。

标签： algorithm constraint-programming weighted minimization minizinc

【解决方案1】：

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

【讨论】：