我使用node.js模块“ Governify CSP Tools”来解决CSP问题。 按照我应如何从CSP模型模式(https://www.npmjs.com/package/governify-csp-tools)定义数组的说明,我尝试了JSON中的多种表示形式,但仍然出现错误:
array:成分_1 = [30,30,30,15,15,15,5,
5,5,1]; ^错误:语法错误,意外的':',期望[
我的JavaScript代码是:
var Reasoner = require("governify-csp-tools").Reasoner;
var cspModel = {
"parameters":[
{
"id":"x",
"type":"int",
"value":"0"
},
{
"id":"y",
"type":"int",
"value":"7"
},
{
"id":"z",
"type":"int",
"value":"0"
},
{
"id":"k",
"type":"int",
"value":"4"
},
{
"id":"Ingredient_1",
"type":"array",
"value":"[30 , 30 , 30, 15, 15,15, 5 , 5 , 5 , 1]",
},
{
"id":"Ingredient_2",
"type":"array",
"value":"[3 , 7 , 12, 3 , 7 , 12, 3 , 7 , 12, 3 ]"
},
{
"id":"Ingredient_3",
"type":"array",
"value":"[0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 ]"
},
{
"id":"Ingredient_4",
"type":"array",
"value":"[0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 ]"
},
],
"variables": [
{
"id": "occur",
"type": "int",
"range": {
"min": "1",
"max": "10"
}
}
],
"constraints": [
{
"id": "C1",
"expression": "x == 0 -> forall (i in occur) (Ingredient_4 [i]= 0)"
},
{
"id": "C2",
"expression": "y=7 \\/ y=6 -> forall (i in occur)(Ingredient_1 [i]=30 )"
},
{
"id": "C3",
"expression": "y==1 -> forall (i in occur)(Ingredient_1 [i]=0 )"
},
{
"id": "C4",
"expression": "z==5 \\/ z==6 \\/ z==7 ->forall (i in occur)(Ingredient_4[i] !=0) "
},
{
"id": "C5",
"expression": "k==7 \\/ k==6 -> forall (i in occur)(Ingredient_2 [i] =12)"
},
{
"id": "C6",
"expression": "k==5 -> forall (i in occur)(Ingredient_2 [i] =7)"
},
{
"id": "C7",
"expression": "k==4 \\/ k==3 -> forall (i in occur)(Ingredient_2 [i] !=0)"
},
],
"goal": "satisfy"
};
// Configure the CSP reasoner
var reasoner = new Reasoner({
type: 'local', // type value also can be 'api' or 'docker'
folder: 'csp_files' // name of the folder which stores .mzn, .fzn and .ozn temporary files
});
console.log("solving model");
// Solve CSP
reasoner.solve(cspModel, (err, stdout, stderr, isSatisfiable) => {
if (err) {
// manage error
console.log("model error");
} else {
console.log(stdout);
console.log(isSatisfiable);
}
console.log("model solved");
});
有什么解决方法吗,我可以在JSON模式之外定义数组,然后稍后在JSON模式内部再次调用它以在需要的地方进行迭代,例如:
"id": "C2",
"expression": "y=7 \\/ y=6 -> forall (i in occur)(Ingredient_1 [i]=30 )"
我尝试转换为JSON的.mzn可执行文件是:
int: x = 0; % x-parameter
int: y = 7; % y-parameter
int: z = 0; % z-parameter
int: k = 4; % k-parameter
array[1..10] of int: Ingredient_1 = [30 , 30 , 30, 15, 15,15, 5 , 5 , 5 , 1]; % Ingredient_1-parameter
array [1..10] of int : Ingredient_2 = [3 , 7 , 12, 3 , 7 , 12, 3 , 7 , 12, 3 ]; % Ingredient_2-parameter
array [1..10] of int: Ingredient_3 = [0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 ]; % Ingredient_3-parameter
array[1..10] of int: Ingredient_4 = [0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 , 0 ]; % Ingredient_4-parameter
var set of 1..10: occur; % occur-variable
constraint x == 0 -> forall (i in occur) (Ingredient_4 [i]= 0); % C1-constraint
constraint y=7 \/ y=6 -> forall (i in occur)(Ingredient_1 [i]=30 ); % C2-constraint
constraint y==1 -> forall (i in occur)(Ingredient_1 [i]=0 ); % C3-constraint
constraint z==5 \/ z==6 \/ z==7 ->forall (i in occur)(Ingredient_4[i] !=0) ; % C4-constraint
constraint k==7 \/ k==6 -> forall (i in occur)(Ingredient_2 [i] =12); % C5-constraint
constraint k==5 -> forall (i in occur)(Ingredient_2 [i] =7); % C6-constraint
constraint k==4 \/ k==3 -> forall (i in occur)(Ingredient_2 [i] !=0); % C7-constraint
solve satisfy; % goal
问题是遵循YAML上表达的JSON模式,具体来说是这样:
标题:“ CSP模型JSON模式”类型:“对象”属性:
参数: 类型:“数组” 项目: 类型:“对象” 特性: ID:
从https://www.npmjs.com/package/governify-csp-tools中,我该如何在JSON中表示:
array[1..10] of int: Ingredient_1 = [30 , 30 , 30, 15, 15,15, 5 , 5 , 5 , 1];
答案 0 :(得分:1)
尽管我对您使用的javascript库没有经验。似乎它在生成的MiniZinc模型中使用字段type
而不进行任何转换。
正如您的MiniZinc模型所建议的那样,声明数组的正确方法是:
array[1..10] of int: Ingredient_1 = [30, 30, 30, 15, 15, 15, 5, 5, 5, 1];
但是,生成的MiniZinc模型包含:
array: Ingredient_1 = [30, 30, 30, 15, 15, 15, 5, 5, 5, 1];
这表明type
字段不应包含array
,而应包含array[1..10] of int
。
(其他格式为JSON的数组也可能发生类似的问题)
答案 1 :(得分:0)
我替换了
"type":"array"
与此
"type":"array [1..10] of int"
它生成了正确的.mzn