Здравствуйте, Mikola, Вы писали:

M>Но нужно предусмотреть такие ограничения еще:

M>1. Xi — обязательно должна быть профинансирована.
M>2. Xi, Xj, ... , Xk — обязательно должны быть профинансированы.
M>3. Xm — обязательно должна быть НЕ профинансирована.
M>4. Xm, Xs, ... , Xf — обязательно должны быть НЕ профинансированы.
M>5. Скажем 2 и 4 сразу.

А в чем проблема? Полагаете Xi, Xj, ..., Xk равными 1, Xm,..., Xf равными 0, получаете задачу с меньшим количеством переменных:

d1Y1 + d2X2 + ... + dmYm <= Sum' (= Sum — ciXi — ... ckXk)
a1Y1 + a2Y2 + ... + amYm -> Max
Yi из {0,1}

Т.е. просто уменьшится размерность задачи, решать станет легче.

M>6. И условия группирования альтернатив — скажем объединяем альтернативы Xm, Xs, ... , Xf в группу и говорим, что только одна из альтернатив этой группы должна быть профинансирована.

Добавляем еще условие

Xm + Xs + ... + Xf <= 1 (или =1, если ровно одна альтернатива должна быть профинансирована обязательно)