Смешивание двух массивов переменного размера в миницинке - PullRequest
Новая
       6

Смешивание двух массивов переменного размера в миницинке

0 голосов
/ 08 мая 2018

У меня есть два массива a и b переменных размеров.

Я хочу написать функцию, которая принимает эти два массива и возвращает мне новый массив c (длина (c) равна длине (a) + длина (b)) со следующими характеристиками: -

  • Переменные должны быть в том же порядке, в каком они появляются в исходных массивах, например, a = [x, y, z, a, b] и b = [p, q, r], затем c должно быть так c = [x, p, q, y, z, r, a, b] (в основном, чередование двух массивов, определяющих порядок) или это может быть так: c = [p, x, q, r, y, z, а, Ь] 

    function array[int] of var int : mixed(array[int] of var int: a, 
array[int] of var int: b) = 
let { array [1 .. length(a++b)] of var int : c = %some magic here
} in c
;

    Я пробовал несколько массивов, но не смог.

1 Ответ

0 голосов
/ 08 мая 2018

Если я правильно понимаю вашу проблему, то вы ищете функцию, которая возвращает массив, который может содержать все возможные чередования двух данных массивов.

Эта проблема, как кажется, более сложная, так какрезультирующий массив не может быть скомпрометирован с теми же переменными, что и аргументы, но должен быть сам по себе переменным.

Боюсь, я не вижу способа сделать это в понимании, но используянесколько глобалов.Рабочая функция может состоять из: 

include "globals.mzn";

function array[int] of var int: interleave(array[int] of var int: a, array[int] of var int: b) = let {
        array[index_set(a)] of var 1..length(a ++ b): map_a;
        array[index_set(b)] of var 1..length(a ++ b): map_b;
        array[1..length(a ++ b)] of var dom_bounds_array(a ++ b): c;
        constraint all_different(map_a ++ map_b);
        constraint forall(i in index_set(a)) (c[map_a[i]] = a[i]);
        constraint increasing(map_a);
        constraint forall(i in index_set(b)) (c[map_b[i]] = b[i]);
        constraint increasing(map_b);
    } in c;

Неправильно понятое решение: Выбор элемента 1 на 1:

Решение вашей проблемы состоит в объединении нескольких пониманий:

  • Понимание для чередующихся массивов, когда элементы выбираются из каждого массива по одному за раз.
  • Понимания для добавления оставшейся части элементов, если один массив длиннее другого.

Результирующая функция будет иметь вид: 

function array[int] of var int: interleave(array[int] of var int: a, array[int] of var int: b) = let {
        array[int] of int: ai = [ i | i in index_set(a)];
        array[int] of int: bi = [ i | i in index_set(b)];
        int: share = min(length(a), length(b));
    } in [ if x = 1 then a[ai[i]] else b[bi[i]] endif | i in 1..share, x in 1..2]
        ++ [ a[ai[i]] | i in share+1..length(a) ]
        ++ [ b[bi[i]] | i in share+1..length(b) ];

Также важно отметить, что в MiniZinc набор индексов не должен быть непрерывным.Поэтому мы используем понимание, чтобы также получить все элементы из набора индексов.Это главным образом для того, чтобы сделать эту функцию пригодной для использования с любым массивом MiniZinc.

...