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