将MiniZinc CSP转换为JSON-数组中的迭代方法javascript

时间:2018-10-22 15:18:32

标签: javascript arrays node.js json minizinc

我使用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];

2 个答案:

答案 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