Algorytm aproksymacyjny

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacja, szukaj

Algorytmy aproksymacyjnealgorytmy służące do znajdowania przybliżonych rozwiązań problemów optymalizacyjnych. Stosuje się je zwykle do rozwiązywania problemów, dla których nie są znane szybkie algorytmy znajdujące rozwiązanie dokładne, na przykład dla problemów NP-zupełnych.

Istotą algorytmu aproksymacyjnego, tym co odróżnia go od algorytmu heurystycznego, jest związana z każdym takim algorytmem informacja o koszcie zwracanego rozwiązania w stosunku do rozwiązania optymalnego. Mianowicie koszt rozwiązania zwróconego przez algorytm aproksymacyjny jest nie większy (w przypadku problemu minimalizacyjnego) albo nie mniejszy (w przypadku problemu maksymalizacyjnego) od rozwiązania optymalnego pomnożonego przez pewną stałą.

Definicja[edytuj]

Załóżmy, że mamy dany konkretny problem optymalizacyjny. Niech oznacza zbiór dopuszczalnych rozwiązań tego problemu dla danych wejściowych . Niech , gdzie , będzie funkcją kosztu rozwiązania dla tego problemu. Oznaczmy przez koszt rozwiązania optymalnego dla danych , mianowicie dla problemu minimalizacyjnego oraz dla problemu maksymalizacyjnego.

ε-aproksymacja[edytuj]

Algorytm A nazywamy ε-aproksymacyjnym, jeżeli dla dowolnych poprawnych danych wejściowych , oraz

Przy takiej definicji zachodzi:

  • , dla problemu maksymalizacyjnego,
  • , dla problemu minimalizacyjnego.

Jeśli to algorytm zwraca rozwiązanie optymalne. Jeżeli natomiast , to algorytm jest jedynie heurystyką, a więc zwracane przez niego rozwiązanie może być dowolnie odległe od optimum.

Czasem dopuszcza się również, że ε jest pewną funkcją od wielkości danych .

ρ-aproksymacja[edytuj]

Algorytm A nazywamy ρ-aproksymacyjnym, jeśli dla dowolnych poprawnych danych wejściowych , oraz

Wartość ρ określa ile razy otrzymane rozwiązanie jest gorsze od optimum. Dokładniej

  • , dla problemu maksymalizacyjnego,
  • , dla problemu minimalizacyjnego.

W przypadku gdy algorytm zwraca rozwiązanie optymalne, . Jeżeli rozwiązanie może być dowolnie odległe od optimum, to wartość ρ jest nieskończonością.


Powyższe dwie definicje są od siebie zależne. Zachodzi równość . Warto zauważyć, że nie ma potrzeby zaznaczania, która z powyższych definicji została wykorzystana przy określaniu konkretnego algorytmu, ponieważ (przypadek, w którym nie jest interesujący, gdyż wtedy mamy do czynienia z heurystyką), natomiast .

Zobacz też[edytuj]

Bibliografia[edytuj]

  1. 3. Approximation Classes. W: G. Ausiello, P. Crescenzi, G. Gambosi, V. Kann, A. Marchetti-Spaccamela, M. Protasi: Complexity and Approximation. Springer, s. 87-91. ISBN 3-540-65431-3. [dostęp 2009-07-29]. (ang.)
  2. 37. Algorytmy aproksymacyjne. W: Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest: Wprowadzenie do algorytmów. Wyd. 4. Warszawa: Wydawnictwa Naukowo-Techniczne, s. 1073-1074. ISBN 83-204-2665-0. (pol.)

Linki zewnętrzne[edytuj]