Вопрос уже был задан, и на него был дан ответ, см. Anylogic - динамическая спецификация ресурсов для захвата . Но несколько троллей в stackoverflow попросили меня снова задать тот же вопрос, не смотря на это ... - поскольку этот вопрос...

Я пытаюсь использовать Gekko для оптимизации (разряда) зарядки аккумуляторной системы хранения энергии. Цены на электроэнергию в час EP , производство энергии с помощью солнечных панелей PV и спрос на энергию Dem учитываются на всем горизонте...

Как формально доказать или опровергнуть, что если задача A ≤p B, то следует, что B ≤p A Я интуитивно думаю, что это должно быть опровергнуто, но я не уверен, как это сделать.