Я работаю над декомпозицией Бендерса, и я хотел бы добавить сокращения осуществимости для решения проблемы с помощью Farkas dual. У меня есть несколько проблем:
Значение, возвращаемое вызовом farkas dual, не является крайним лучом двойной проблемы подзадачи?
Основная подзадача - минимизация. Правая рука подзадачи - «(B - Dy)». Я добавил «0> = r * (B-Dy)» к основной задаче, где «r» получается с помощью fakas dual. Но я не могу найти правильное решение. Когда я добавил «0> = (-1) * r * (B-Dy)», то решение верное. Вы знаете причину этого?
Иногда результат r * (B-Dy) отрицательный, иногда положительный? в чем причина?
Большое спасибо,