Programowanie liniowe całkowitoliczbowe Metoda Branch & Bound
Standardowa postać ZPCL Standardowa postać ZPL ZPCL - Zmienna decyzyjna musi być liczbą całkowitą ZPL – brak ograniczeń co do całkowitoliczbowości zmiennej decyzyjnej
Metoda Branch and Bound Oparta na podejściu „dziel i zwyciężaj” Ogólna idea metody polega na ciągłym podziale i rozwiązywaniu PL Każdy podział zwęża zbiór rozwiązań dopuszczalnych Wartość optymalna funkcji celu LP jest górnym ograniczeniem optymalnej wartości funkcji celu PCL. Wartość funkcji celu PCL dla dowolnego rozwiązania całkowitoliczbowego jest dolnym ograniczeniem optymalnej wartości funkcji celu PCL. PCL = LP + ograniczenia całkowitoliczbowości
Ograniczenia widełkowe Narzucenie indywidualnego zakresu dopuszczalnych wartości poszczególnym zmiennym nie spełniających warunków całkowitoliczbowości Przyjmuje się, że: -dostatecznie duża liczba całkowita
Ograniczenia widełkowe cd. W sensie geometrycznym w zbiorze rozwiązań dopuszczalnych zadania głównego wycinane jest pasmo: co prowadzi do podziału tego zbioru na dwa podzbiory.
Graficzna reprezentacja przestrzeni rozwiązań za pomocą drzewa binarnego
Ogólny Algorytm metody B&B Z posiadanego ZPCL tworzymy ZPL Rozwiązujemy ZPL Sprawdzenie warunków całkowitoliczbowości Losowy wybór zmiennej o wartości nie całkowitoliczbowej Określenie ograniczeń widełkowych Rozwiązanie obydwu zadań Rozpoczęcie nowej iteracji
Przykład zadania PCL Rozwiązanie PCL Liczba podziałów: 1
Podsumowanie Nie ma sensu dzielić węzła jeśli: LP w jest sprzeczne Optymalne rozwiązanie LP jest całkowitoliczbowe Relaksacje LP rozwiązuje się efektywnie Nie ma ogólnej metody wyboru zmiennej decyzyjnej Nie ma ogólnej metody wyboru węzła po rozgałęzieniu