Złożoność obliczeniowa/Test 7: Algorytmy aproksymacyjne: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
Linia 49: | Linia 49: | ||
<wrongoption>jeśli spełniona jest nierówność trójkąta, wykorzystującą algorytm znajdowania skojarzenia w grafie dwudzielnym</wrongoption> | <wrongoption>jeśli spełniona jest nierówność trójkąta, wykorzystującą algorytm znajdowania skojarzenia w grafie dwudzielnym</wrongoption> | ||
<wrongoption>bez założenia o nierówności trójkata, dla <math>a=2</math></wrongoption> | <wrongoption>bez założenia o nierówności trójkata, dla <math>a=2</math></wrongoption> | ||
<rightoption>dla pewnej stałej <math>a</math>, jeśli wagi krawędzi należą do zbioru <math>\1,2\ | <rightoption>dla pewnej stałej <math>a</math>, jeśli wagi krawędzi należą do zbioru <math>\1,2\ }</math></rightoption> | ||
</quiz> | </quiz> | ||
Wersja z 12:11, 25 wrz 2006
Problemy NP-optymalizacyjne Problem NP-optymalizacyjny
jest wersją optymalizacyjną pewnego problemu NP-zupełnego
jest wersją optymalizacyjną pewnego problemu z klasy NP
posiada wielomianowo obliczalną funkcję kosztu rozwiązania
posiada wielomianową procedurę sprawdzania, czy dane rozwiązanie jest rozwiązaniem dopuszczalnym
Stała aproksymacji
Jeśli jest algorytmem -aproksymacyjnym dla problemu maksymalizacji , to
jest algorytmem optymalizacyjnym dla
jest algorytmem -aproksymacyjnym dla
jest algorytmem -aproksymacyjnym dla
z definicji, jest to sytuacja niemożliwa
Algorytm skojarzeniowy dla pokrycia wierzchołkowego
Algorytm skojarzeniowy dla pokrycia wierzchołkowego
znajduje zawsze rozwiązanie optymalne
jest algorytmem -aproksymacyjnym
jest algorytmem -aproksymacyjnym
nigdy nie znajduje rozwiązania optymalnego
Aproksymacja dla problemu maksymalnego przekroju<quiz>
Algorytm zachłanny dla problemu MAX CUT
posiada stałą aproksymacji równą 2
posiada stałą aproksymacji równą 1/2
nie posiada stałej aproksymacji
nie ma złożoności wielomianowej
Nieaproksymowalność problemu komiwojażera
Wykazujemy, że problem komiwojażera nie posiada -aproksymacji dla żadnej stałej ,
tylko przy założeniu
redukując problem cyklu Hamiltona
redukując problem cyklu Eulera
zacieśniając problem komiwojażera do instancji o kosztach krawędzi ograniczonych przez 2
Aproksymowalność problemu komiwojażera
Problem komiwojażera ma strategię -aproksymacyjną
jeśli spełniona jest nierówność trójkąta, dla
jeśli spełniona jest nierówność trójkąta, wykorzystującą algorytm znajdowania skojarzenia w grafie dwudzielnym
bez założenia o nierówności trójkata, dla
dla pewnej stałej , jeśli wagi krawędzi należą do zbioru Parser nie mógł rozpoznać (błąd składni): {\displaystyle \1,2\ }}
Strategia zachłanna dla problemu plecakowego
Aproksymacyjny algorytm zachłanny dla problemu plecakowego
upakowuje najpierw elementy o największej wartości
upakowuje najpierw elementy o najmniejszej wadze
ma stałą aproksymacji równą 1/2
ma stałą aproksymacji równą 2
żadna z pozostałych odpowiedzi nie jest poprawna