如果一些变量是字符串数组，如何在Minizinc中构建约束？

Question

我刚刚开始使用Minizinc，如果我能为我的问题建立一个模型，我会很感激。

我有三样东西。在购买每一件商品时，我都会得到一定的返现奖金，而且购买一件商品的次数是有限制的。另外，我的购物车里也有空位。

示例：

items = [ 'i1', 'i2', 'i3' ]
cart_capacity = 7

cashback = [30,10,20] 
(meaning, with purchase of item1 I get back $30)

Frequency_of_purchase = [ 2 , 1 , 5]
(meaning, item 3 can be purchased 5 times)

我需要一个输出，告诉我每件商品可以购买多少次，这样我就可以获得最大的现金回扣

Desired result = { i1 : 2, i2: 0, i3 : 5}

Answer 1

通常我们会说字符串输入主要是作为不同项目的标签。

在MiniZinc中，最好的方法是使用枚举类型。枚举类型既可用作数组的索引，也可用作变量的可能值。

您的模型可以表示为：

/* --- Problem Parameters --- */
enum ITEMS;
int: cart_capacity;
array[ITEMS] of int: cash_back;
array[ITEMS] of int: item_capacity;

/* --- Decision Variables --- */
array[ITEMS] of var 0..ub_array(item_capacity): purchases;

/* --- Constraints --- */
constraint forall(it in ITEMS) (purchases[it] < item_capacity[it]);
constraint sum(it in ITEMS) (purchases[it]) < cart_capacity;

/* --- Solving Goal --- */
solve maximize sum(it in ITEMS) (purchases[it]*cash_back[it]);

output ["{"] ++ [show(it) ++ ": " ++ show(purchases[it]) ++ if it == max(ITEMS) then "" else ", " endif | it in ITEMS] ++ ["}"];

您的问题中的输入必须稍微调整为：

ITEMS = { 'i1', 'i2', 'i3' };
cart_capacity = 7;
cashback = [30, 10, 20];
item_capacity = [2 , 1 , 5];