我第一次学习Minizinc，现在卡在一个非常基础的问题上。这个问题涉及到n个工人与n个任务。我被给了一个二维利润矩阵，其中profit[w,t]会给出工人w和任务t的利润。分配问题的目标是最大化利润。

我尝试了以下方法：

include "all_different.mzn";include "globals.mzn";int: n = 4;array [1..n,1..n] of int: profit = [| 7,1,3,4 |    8,2,5,1 |    4,3,7,2 |    3,1,6,3 |];set of int: WORKERS = 1..n;set of int: TASKS = 1..n;array[WORKERS] of var TASKS: task;constraint alldifferent(task);constraint maximize sum(w in WORKERS) (profit[w,task[w]]);

但这不起作用，因为最大化函数不是这样设置的，然而我不知道该怎么做。有没有建议/解决方案？谢谢:)

回答：

你已经接近成功了。问题出在最后一行，应该是solve，而不是constraint：

solve maximize sum(w in WORKERS) (profit[w,task[w]]);

输出结果是：

task: [4, 1, 2, 3]----------==========