Mixed Integer Rounding Ungleichung

Sei fj=ajaj,fb=bb und (x)+:=max(x,0)f_{j}=a_{j}-\left\lfloor a_{j}\right\rfloor, f_{b}=b-\lfloor b\rfloor \text { und }(x)^{+}:=\max (x, 0):

j=1n(aj+(fjfb)+1fb)yjb+s1fb\sum_{j=1}^{n}\left(\left\lfloor a_{j}\right\rfloor+\frac{\left(f_{j}-f_{b}\right)^{+}}{1-f_{b}}\right) y_{j} \leq\lfloor b\rfloor+\frac{s}{1-f_{b}}

ist Zulässige Ungleichung für Continous Integer Knapsack Set.