MiniZinc CSP в JSON - итерация в массивах обходной путь JavaScript - PullRequest
Новая
       17

MiniZinc CSP в JSON - итерация в массивах обходной путь JavaScript

0 голосов
/ 22 октября 2018

Я использую модуль node.js «Управление инструментами CSP» для решения проблемы CSP.Следуя инструкциям о том, как определить массив из схемы модели CSP (https://www.npmjs.com/package/governify-csp-tools), я пробовал несколько представлений в JSON, но все еще получаю ошибку:

array: Ingredient_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 )"

исполняемый файл .mzn, который я пытаюсь перевести на JSON: 

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

Вопрос заключается в том, чтобы следовать схеме JSON, выраженной в YAML, а именно:

title: 'CSPсхема JSON модели 'тип:' объект 'свойства:
параметры: тип:' массив 'элементы: тип:' объект 'свойства: идентификатор:

из 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 голосов
/ 24 октября 2018

Я заменил 

"type":"array"

на 

"type":"array [1..10] of int"

, и он сгенерировал правильное значение .mzn

0 голосов
/ 24 октября 2018

Хотя у меня нет опыта работы с библиотекой javascript, которую вы используете.Кажется, что оно использует поле type без преобразования в сгенерированной модели MiniZinc.

Как подсказывает ваша модель 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)

...