464 Midterm 1 Flashcards
Construct linear constraint: x in [a,b]
a <= x <= b
Construct linear constraint: x in [a,b] or x in [c,d]
y in {0,1} ay+c(1-y) <= x <= by+d(1-y)
Construct linear constraint: x is one greater than a multiple of 3
x-1 = 3y, y in Z
Construct linear constraint: x in {2,7,8,12,20}
y in {0,1}^5
x= 2y1+7y2+8y3+12y4+20y5
y1+y2+y3+y4+y5 = 1
Construct linear constraint: y <= |x|
w in {0,1}
y-x <= Mw
y+x <= M(1-w)
(M large)
Construct linear constraint: Ax <= b or Cx <= d
w in {0,1}
w(Ax) <= b
w(Cx) <= d
Construct linear constraints where all variables are binary: x=1 or y=1
x+y >= 1
Construct linear constraints where all variables are binary: x=1 xor y=1
x+y=1
Construct linear constraints where all variables are binary: exactly 5 of {x1,…,xn} are 1
summation from k=1 to n xk = 5
Construct linear constraints where all variables are binary: If x=1 then y=1
x<=y
Construct linear constraints where all variables are binary: If x=1 then y=0
x<=1-y
Construct linear constraints where all variables are binary: If x1=1 and x2=1 then x3=0
x1+x2+x3<=2
Construct linear constraints where all variables are binary: If x1=1 and x2=0 then x3=0
x1-x2+x3<=1
Construct linear constraints where all variables are binary: x=y1 or y2
x>= y1
x>=y2
x<=y1+y2
Construct linear constraints where all variables are binary: x= y1 and y2
x<=y1
x<=y2
x>=y1+y2-1
Construct linear constraints where all variables are binary: x = (not) y
x+y = 1