Operations Research Asked by che on December 22, 2020
I want to write the following constraint:
Let $z$ be an integer variable such that $0le zle M$, and $t$ be a binary variable where $M$ denotes big-M. The logical constraint is as follows:
if $z leq M$ and $z > 0$ then $t=1$;
if $z=0$ then $t=0$.
Is this $z≤Mt$ sufficient? The $t$ and $z$ variables are not in my objective function but variable $t$ is connected to another variable in the objective function?
Thank you very much, I appreciate your help.
The big-M constraint $z le M t$ does enforce $z > 0 implies t = 1$, equivalently its contrapositive $t = 0 implies z = 0$, but not the converse $$z = 0 implies t = 0. tag1$$ To enforce $(1)$, consider its contrapositive $$t = 1 implies z > 0 tag2,$$ which you can enforce via big-M constraint $$epsilon - z le (epsilon - 0)(1 - t),$$ equivalently, $$z ge epsilon t,$$ where $epsilon > 0$ is a tolerance that represents the smallest value of $z$ that you would consider to be positive.
Correct answer by RobPratt on December 22, 2020
1 Asked on January 5, 2022
1 Asked on January 1, 2022 by ehsank
1 Asked on January 1, 2022
big m chance constraints mixed integer programming stochastic programming
1 Asked on December 20, 2021 by cesar-canassa
1 Asked on December 18, 2021 by neverletgo
2 Asked on December 9, 2021 by farouk-hammami
combinatorial optimization cplex linearization optimization quadratic programming
3 Asked on November 24, 2021
1 Asked on November 17, 2021
15 Asked on August 19, 2021
3 Asked on August 19, 2021
4 Asked on August 19, 2021 by marco-lbbecke
2 Asked on August 19, 2021 by matheus-digenes-andrade
2 Asked on August 19, 2021
2 Asked on August 19, 2021 by user3831
3 Asked on August 19, 2021 by josh-allen
2 Asked on August 19, 2021 by ehsan
1 Asked on August 19, 2021
Get help from others!
Recent Questions
Recent Answers
© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP