作者gwliao (gwliao)
看板NTUGIEE_EDA
标题[研究] 一些常遇到的转换方式 (ILP)
时间Wed May 23 01:28:24 2007
转换方法不只一种, 这些是我以前整理的方式.
B?是binary variable, TRUE是1, FALSE是0.
X, Y and Z are real variables.
p and q is real numbers(constants).
M is a very large number(constant).
Operations:
NOT B2:= ~B1 B2=1-B1;
AND B3:=B1*B2 B3≦B1
B3≦B2
B3≧B1+B2-1
OR B3:=B1+B2 B3≧B1
B3≧B2
B3≦B1+B2
Implication B1->B2 B1≦B2
If ( x > y) M*B3+(y-x) ≧0
then B1:=1 M*(1-B3)+(x-y ) >0
else B1:=0 B1=B3
Z := Max(X,Y) Z ≧X
Z ≧Y
Z ≦X+M*B
Z ≦Y+M*(1-B)
Z:= Min(X,Y) Z ≦X
Z ≦Y
Z ≧X+M*B
Z ≧Y+M*(1-B)
Z:=Abs(X) Z ≧X
=Max(X,-X) Z ≧(-X)
Z ≧(-X)
Z ≦X+M*B
Z ≦(-X)+M*(1-B)
Y ≠ X Y < X+M*B
X < Y+M*(1-B)
Y:=X*B Y ≦ X
(if B=1 than Y:=X Y ≦ M*B
else Y:=0 ) Y ≧ X-M*(1-B)
Y:=X*C; Y ≧p*X
C为p或q Y ≦q*X
p和q都是常数 Y ≦M*(C-p)+p*X
Y ≧M*(C-q)+q*X
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.230.125
※ 编辑: gwliao 来自: 140.112.230.125 (05/23 01:38)
1F：→ gwliao:这算是给雄哥的文章.其实我会导这些式子, 让你跑去借书. 05/23 01:44
2F：→ gwliao:只是一时想不起来这些, 刚刚看到以前的笔记, 05/23 01:45
3F：→ gwliao:想说应该有人需要, 就放上来. 05/23 01:45
4F：推 arious:感谢~~ 05/24 11:57