Есть ли параметр GLPK, влияющий на сходимость? - PullRequest
0 голосов
/ 18 июня 2020

Я использую GLPK_MI для решения смешанной целочисленной линейной программы через cvxpy .
Когда моя проблема выходит за пределы примерно 2000 ограничений, решатель не сходится и просто сохраняет при запуске.
Когда я удалил некоторые избыточные ограничения, чтобы не превышать 2000 ограничений, та же проблема решается за секунды.

Есть ли какой-то внутренний параметр, который я могу установить (через cvxpy?), Который каким-то образом создает этот предел ограничений 2000?

Контекст : избыточные ограничения были результатом того, как уравнения были сгенерированы, и я предположил, что они все равно будут просто обрезаны или выведены решателем.
Например, такие вещи, как:

  1. 0<=X_i
  2. X_i<=N
  3. sum(X_i)<=N

для всех двоичный X_i.
Поскольку X_i это двоичный (т.е. неотрицательный), я могу drop (1), и поскольку у меня есть (3), я могу также отбросить (2).

...