Select 将 table 中的原料与 Minizinc 匹配
Select matching raws in table with Minizinc
我有一个 table 个具有 4 个特征(名称、价值、成本、人员)的项目。我想在 Minizinc 中描述一个模型,该模型 select 是使总价值最大化但总预算为 255 的项目,我可以在 20.
之间选择近 9 个项目
我写了一个数据文件:data.dzn
% name value cost people
data = [
| PRJ0, 6000, 35, 5
| PRJ1, 4000, 34, 3
| PRJ2, 1000, 26, 4
...
| PRJ20, 1200, 18, 2
|];
PRJ = {PRJ0,...,PRJ20};
FEATURE = {name, value, budget, personnel};
max_budget = 225;
max_prj=9;
所以我的约束是:
choose_project <= 9 /\ budget<=255 s.t solve maximize tot_value;
如何在 table 中的原始项目中 select 非任意数量(1 到 9)的决策变量?
到目前为止,这是我的代码:invest.mzn
include "data.dzn";
int: max_budget; %255
int: max_prj; %9
enum FEATURE;
enum PRJ;
array[PRJ,FEATURE] of int: data;
constraint ...
...
solve maximize tot_value;
您可以声明一个布尔变量数组,比如 selected_projects
,它对项目 PRJ_k
是否被选中进行编码。
那你可以简单统计一下这个数组中有多少个项目同时被选中了
示例:
enum FEATURE = {name, value, budget, personnel};
enum PRJ = { PRJ0, PRJ1 };
array[PRJ,FEATURE] of int: data =
[| PRJ0, 6000, 35, 5
| PRJ1, 4000, 34, 3
|];
array[PRJ] of var bool: selected_projects;
var int: tot_value;
% The total number of selected projects must be in [1, 9]
constraint let {
var int: tot_selected = sum(prj in PRJ) ( selected_projects[prj] )
} in
1 <= tot_selected /\ tot_selected <= 9;
constraint tot_value = sum(prj in PRJ) ( selected_projects[prj] * data[prj, value] );
% ...
% encoding of budget and personnel constraints
% ...
solve maximize tot_value;
我有一个 table 个具有 4 个特征(名称、价值、成本、人员)的项目。我想在 Minizinc 中描述一个模型,该模型 select 是使总价值最大化但总预算为 255 的项目,我可以在 20.
之间选择近 9 个项目我写了一个数据文件:data.dzn
% name value cost people
data = [
| PRJ0, 6000, 35, 5
| PRJ1, 4000, 34, 3
| PRJ2, 1000, 26, 4
...
| PRJ20, 1200, 18, 2
|];
PRJ = {PRJ0,...,PRJ20};
FEATURE = {name, value, budget, personnel};
max_budget = 225;
max_prj=9;
所以我的约束是:
choose_project <= 9 /\ budget<=255 s.t solve maximize tot_value;
如何在 table 中的原始项目中 select 非任意数量(1 到 9)的决策变量? 到目前为止,这是我的代码:invest.mzn
include "data.dzn";
int: max_budget; %255
int: max_prj; %9
enum FEATURE;
enum PRJ;
array[PRJ,FEATURE] of int: data;
constraint ...
...
solve maximize tot_value;
您可以声明一个布尔变量数组,比如 selected_projects
,它对项目 PRJ_k
是否被选中进行编码。
那你可以简单统计一下这个数组中有多少个项目同时被选中了
示例:
enum FEATURE = {name, value, budget, personnel};
enum PRJ = { PRJ0, PRJ1 };
array[PRJ,FEATURE] of int: data =
[| PRJ0, 6000, 35, 5
| PRJ1, 4000, 34, 3
|];
array[PRJ] of var bool: selected_projects;
var int: tot_value;
% The total number of selected projects must be in [1, 9]
constraint let {
var int: tot_selected = sum(prj in PRJ) ( selected_projects[prj] )
} in
1 <= tot_selected /\ tot_selected <= 9;
constraint tot_value = sum(prj in PRJ) ( selected_projects[prj] * data[prj, value] );
% ...
% encoding of budget and personnel constraints
% ...
solve maximize tot_value;