Podręcznik
2. Modelowanie zależności
2.8. Zbiory niespójne i niewypukłe
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: