Ćwiczenie 5.2
Wykaż, że jeśli zbiór wierszy macierzy
można podzielić na dwa
rozłączne podzbiory
i
takie, że dla każdego
spełniona jest równość
(
), to
(prawdziwe także gdy jeden ze zbiorów
jest
pusty
5.3).
Ćwiczenie 5.3
Niech będą dane macierz totalnie unimodularna
,
układ nierówności
(5.21) |
|
oraz mu układ
(5.22) |
|
powstały z (
) przez wprowadzenie
zmiennych dodatkowych. Wykaż, żemacierz
jest totalnie unimodularna.
Ćwiczenie 5.4
Z twierdzenia
nie wynika, że jeśli są spełnionezałożenia
tego twierdzenia, to
wszystkie rozwiązania problemu(
) są całkowite.
Skonstruuj przykład PPL w którym macierzograniczeń
jest totalnie unimodularnai wektor
całkowity, dla
którego istnieją optymalne rozwiązania niecałkowite.