Как я моделирую медленное соединение с интернетом (Edge/3g) на Mac. Существует ли плагин Firefox?

(Отказ от ответственности: я не знаю эту библиотеку или что она будет делать для вас)

Оператор if делает эту проблему недифференцируемой, что делает недействительным предположение о решателях НЛП (таких как Ipopt). [ 118]

С точки зрения решателей MINLP (Bonmin, Couenne), это может быть достигнуто путем переформулировки (и получающаяся в результате проблема дифференцируема, когда необходимые вспомогательные двоичные переменные были ослаблены). Вряд ли можно ожидать, что библиотека сделает это за вас.

Так что, похоже, вам нужно играть по правилам какой-то модели MINLP, как, например, описано Bonmin здесь . Понятия "ветвление на основе if" не существует.

Либо введите переменную-индикатор, как это принято в мире MIP, см. здесь . Игнорируя накладные расходы, идея будет выглядеть примерно так:

K_ = Ck(x1,x2,x3,x4)
I = K_ > 15 (binary variable; see link for formulation idea)

return x1**2+x2**2+x3**2+x4**2 - I*15 - (1-I) * K_

Это тогда MINLP .

Вы можете уйти, не используя дополнительную двоичную переменную (и не касаясь MINLP), интерпретируя ваше уравнение следующим образом:

return x1**2+x2**2+x3**2+x4**2 - min(Ck(x1,x2,x3,x4), 15)

Это также недифференцируемо, но может быть легко переформулировано (с причудой) как:

return x1**2+x2**2+x3**2+x4**2 - A

# extra constraints
A <= Ck(x1,x2,x3,x4)
A <= 15

, если бы мы могли заставить двигаться в направлении максимально возможного А . Это означает, что это должно быть частью цели:

m.Obj(Cr(x1,x2,x3,x4) + c * A) (if it's a maximization problem)

Это будет НЛП тогда, но значение c нуждается в некотором внимании ( быть достаточно большим).