Podręcznik

Rozważmy zbiór dopuszczalny będący sumą zbiorów:

Chcielibyśmy go zamodelować według szablonu, w którym każdemu podzbiorowi odpowiada pewna zmienna binarna (\y_i\), wg poniższego schematu (schemat te nie jest ostatecznym modelem):

Przykładowo, zbiorowi niespójnemu opisywanemu przez cztery nierówności:

odpowiada następujący model liniowy-całkowitoliczbowy:

Inny przykład dotyczy modelowania wartości bezwzględnej:

czyli:

Zbiór ten jest opisywany przez następujący model liniowy-całkowitoliczbowy:

Kolejny przykład dotyczy sumy dwóch zbiorów. Poniżej nierówności opisujące te zbiory i ich graficzna reprezentacja:

Oraz odpowiadający im model: