MiniZinc中arg_sort函数的使用与优化

MiniZinc是一种约束编程语言，常用于求解复杂的优化问题。在使用MiniZinc进行排序操作时，我们常常会遇到一些需要特别注意的问题，特别是在处理var int类型的数组时。本文将通过实例来解释如何在MiniZinc中正确使用arg_sort函数，并讨论在遇到错误时的解决方法。

问题描述

假设我们有一个整数数组values，我们希望对其进行排序并获取元素的索引顺序。例如：

array[1..3] of int: values = [1, 5, 3];

如果我们直接对values进行排序和索引排序，没有问题：

array[1..3] of int: sorted = sort(values); array[1..3] of int: arg_sorted = arg_sort(values);

然而，当我们尝试对var int类型的数组进行同样的操作时，MiniZinc会报错：

array[1..3] of var int: var_values; constraint forall (v in 1..3) (var_values[v] = values[v] + 5); array[1..3] of var int: arg_