E n nazywamy wypukłym, jeżeli dla każdych dwóch punktów x, y punkt z x (1 ) y należy do dla każdego [0,1] Hiperpłaszczyzną H w przestrzeni En nazywamy zbiór: Zbiór H {x E n : (a | x) }, a E n , R gdzie (a|x) – iloczyn skalarny wektorów a,x H Hiperpłaszczyznę gdy zachodzi Zbiór x H En istnieje taki punkt w punkcie x0, H nazywamy podpierającą zbiór 0 oraz H albo nazywamy ograniczonym od dołu (od góry), jeśli a E n , że xi ai , i 1, n ( xi ai , i 1, n ) Zbiór od góry. En nazywamy ograniczonym, jeżeli jest ograniczony od dołu i Wierzchołkiem zbioru wypukłego En nazywamy taki punkt x , dla którego nie istnieją dwa różne punkty x' x' ' , x' , x' ' , takie że x x'(1 ) x' ' (0,1) dla każdego Stożkiem S w przestrzeni En nazywamy taki zbiór punktów x, że dla każdego 0 punkt x S , czyli S S Zbiorem wielościennym nazywamy zbiór postaci: m {x E n : (ai | x) d i } przy czym istnieje takie i, że i 1 di 0 Wielościanem nazywamy zbiór wielościenny ograniczony. E n nazywa x, y oraz każdego [0,1] Funkcja rzeczywista f określona na wypukłym zbiorze się wypukłą, jeśli dla każdego spełniona jest nierówność: f (x (1 ) y ) f ( x) (1 ) f ( y ) Jeśli natomiast spełniona jest nierówność f (x (1 ) y ) f ( x) (1 ) f ( y ) nazywamy wklęsłą. Ponadto, jeśli w pierwszym równaniu dla każdego x, y (0,1) i każdych zachodzi nierówność ostra, to funkcję f nazywamy ściśle wypukłą. Analogicznie, jeśli w drugim równaniu dla każdego x, y to funkcję (0,1) i każdych zachodzi nierówność ostra, to funkcję f nazywamy ściśle wklęsłą. Rozwiązaniem bazowym układu równań Ax=d odpowiadającym bazie B nazywamy rozwiązanie x tego układu postaci: B B 1 Bx d x B d R R x 0 x 0 gdzie xB – wektor składowych wektora x odpowiadających kolumnom bazy B; xR – pozostałe składowe Zmiennymi bazowymi rozwiązania bazowego x nazywamy te składowe wektora x, które odpowiadają wektorom bazy B. Pozostałe składowe tego wektora nazywamy zmiennymi wtórnymi. Rozwiązanie bazowe x odpowiadające bazie B spełniającej warunki: AT y c 0 czyli dla j N B 0 nazywamy j (y | aj ) cj j 0 dla j N R dualnie dopuszczalnym. Rozwiązanie dualnie dopuszczalne staje się prymalnie dopuszczalnym, gdy x>=0 (tzn. xB=B-1d>=0, xR=0) Problem decyzyjny jest zadany, jeśli zadany jest zbiór parametrów tego problemu (bez nadanych wartości) oraz pytanie, na które odpowiedź brzmi „tak” lub „nie” Rozmiarem N(z) konkretnego problemu decyzyjnego z D nazywamy długość łańcucha danych x(z), czyli N(z)=|x(z)| Złożonością obliczeniową algorytmu nazywamy funkcję postaci f (n) max{t ( z, , n) : z D , N ( z) n} gdzie t(z, zD ,n) – liczba elementarnych operacji (kroków DTM) potrzebna do z D rozwiązania problemu o rozmiarze N(z)=n za pomocą algorytmu . Mówimy, że algorytm ma złożoność obliczeniową wielomianową, jeśli istnieje stała c>0 oraz wielomian p(n), taki że: n n0 f (n) cp(n) co f (n) 0( p(n)) . W innych przypadkach mówimy, że zapiszemy algorytm ma złożoność wykładniczą. Złożonością obliczeniową problemu nazywamy złożoność najlepszego możliwego algorytmu rozwiązującego ten problem Klasą P nazywamy klasę problemów decyzyjnych, których złożoność obliczeniowa jest wielomianowa Mówimy, że problem decyzyjny należy do klasy NP, jeśli istnieje wielomian p(n) zależny od rozmiaru tego problemu oraz algorytm (algorytm weryfikacji potwierdzenia) takie, że dla każdego konkretnego problemu z D z odpowiedzią „tak” i łańcucha danych x(z) istnieje łańcuch (potwierdzenie odpowiedzi „tak”) c(x) symboli alfabetu wyjściowego , dla którego: - |c(x)|=<p(N(z)), - algorytm po otrzymaniu na wejściu sekwencji x(z) # c(x(z)) (# koniec danych, początek potwierdzania) dochodzi do odpowiedzi „tak” po nie więcej niż p(N(z)) krokach Problem decyzyjny 1 jest wielomianowo transformowalny do 2, jeśli dla dowolnego łańcucha x danych problemu 1 można w wielomianowym czasie (wielomian zależy od |x(z)|) zbudować łańcuch y danych problemu 2, taki, że: x(z) będzie łańcuchem danych konkretnego problemu z D 1 z odpowiedzią „tak” wtedy i tylko wtedy, gdy y(z’) będzie łańcuchem danych konkretnego problemu „tak”; oznaczmy to następująco: z ' D 2 z odpowiedzią 1 2 NP nazywamy NP.- zupełnym , jeśli każdy problem ' NP transformuje się wielomianowo do tzn. ' Problem Macierz B kwadratową, nieosobliwą o elementach całkowitych nazywamy unimodularną, gdy D= |det B| =1 gdzie det B - oznacza wyznacznik macierzy B Całkowitoliczbową macierz A=(aij)mxn nazywamy całkowicie unimodularną, gdy każda jej podmacierz kwadratowa, nieosobliwa jest unimodularna Podziałem P zbioru S nazywamy zbiór podzbiorów J S, takich że: S S j j 1 , S j Sk S j , j 1, J dla j k zbioru Oszacowaniem od góry wartości z(x*(j)) nazywamy wartość zj , taką, że z j z ( x * ( j )) Oszacowaniem od dołu wartości z(x*(j)) nazywamy wartość z j , taką, że z j z( x ( j )) * Wektor zmiennych o ustalonych na drodze Dk wartościach x (k ) ( x j ) c xj jWk nazywamy rozwiązaniem częściowym (w wierzchołku Sk) Wektor xd(k)=( x j ), jFk, x j {0,1} nazywamy dopełnieniem rozwiązania częściowego (w wierzchołku Sk) Dopełnienie xd(k) nazywamy dopuszczalnym jeśli łącznie z rozwiązaniem częściowym xc(k) tworzy wektor xS; w przeciwnym przypadku nazywamy niedopuszczalnym. Parę (x*, y*) nazywamy punktem siodłowym funkcji F(x,y) w zbiorze AxB, jeżeli dla każdego xA En oraz każdego yB Em zachodzi: F(x*, y) F(x*, y*) F(x, y*) Niech zbiór R zadania f ( x * ) min f ( x) będzie zbiorem xR domkniętym w En. Niech ciąg ( F Fkz () będą funkcjami ciągłymi. Mówimy, że z k ) nazywa się ciągiem zewnętrznych funkcji kary, jeśli: 1. Fkz (x) =0 2. Fkz (x) >0 dla każdego x R 3. Fkz1 ( x ) > Fkz (x) 4. Fkz ( x) k dla każdego x R Niech zbiór R dla każdego x R oraz k=0,1,2... zadania oraz k=0,1,2... dla każdego x R oraz k=0,1,2... f ( x * ) min f ( x) będzie zbiorem xR domkniętym. Niech Fk będzie funkcją określoną na wnętrzu R w zbioru R dla k=0,1,2,...Ciąg funkcji (Fk) nazywamy ciągiem wewnętrznych funkcji kar jeśli: dla każdego x R w , k=0,1,2... 1. Fk(x)>Fk+1(x)>0 2. Fk ( x) k 0 3. Fk ( x l ) l dla każdego x R w , dla każdego ciągu (xl), xl R w takiego, że x l l x x R , R , k=0,1,2,... gdzie - brzeg zbioru R Kierunek (wektor) sEn nazywamy dopuszczalnym w punkcie x R , że R , jeśli istnieje taka liczba >0, że dla dowolnego t[0, ] punkt postaci x’=x+ts należy do zbioru R względu na zbiór f ( x * ) min f ( x) Mówimy, że ograniczenia zadania są xR regularne, gdy zachodzi: dla każdego x R D( x ) D( x ) Kierunek dopuszczalny sEn w punkcie x R nazywamy poprawiającym (kierunkiem poprawy) ze względu na funkcję celu f(), jeśli f(x+ts)<f(x) dla t(0, ], >0 co w przypadku różniczkowalnej funkcji f() jest równoważne warunkowi: ( f R dla t(0, ], >0 ( x) | s) 0, x t s należy do