Задача. Для заданного неориентированного графа с метками (1..n) создайте в Gecode модель для нахождения суперграфа с заданной степенью последовательности:
Трудности: основная трудность заключается в том, чтобы найти причудливую модель, чтобы точно выразить степень над ней:
Почему не матрица смежности? Поскольку граф имеет тенденцию быть большим и разреженным
Почему не список ребер? Мы собираемся добавить ребер, но не знаем, сколько их, CP требует предопределенного количества переменных (я прав?)
Почему бы не список смежности? задача моделирования в виде списка наборов, нам нужно ввести ограничение для всех i, j: (j в a[i] ‹=> i в a[j])
