Złożoność obliczeniowa/Test 8: Schematy aproksymacji i klasa MAXSNP: Różnice pomiędzy wersjami

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Rogoda (dyskusja | edycje)
Nie podano opisu zmian
 
Rogoda (dyskusja | edycje)
Nie podano opisu zmian
 
Linia 1: Linia 1:
<quiz>Schemat aproksymacji
<quiz>
Skrót FPTAS oznacza  
Skrót FPTAS oznacza  
<wrongoption>to samo co PTAS, tylko dla problemów minimalizacji</wrongoption>
<wrongoption>to samo co PTAS, tylko dla problemów minimalizacji</wrongoption>
Linia 9: Linia 9:




<quiz>Schemat aproksymacyjny dla problemu plecakowego
<quiz>
Algorytm zaokragleniowy dla problemu plecakowego  
Algorytm zaokragleniowy dla problemu plecakowego  
<rightoption>można łatwo przekształcić w algorytm aproksymacyjny o stałej <math>a=1/10</math></rightoption>
<rightoption>można łatwo przekształcić w algorytm aproksymacyjny o stałej <math>a=1/10</math></rightoption>
Linia 19: Linia 19:




<quiz>Algorytm pakowania dzielący na grupy
<quiz>
Algorytm aproksymacyjny dla problemu pakowania dzielący przedmioty na grupy  
Algorytm aproksymacyjny dla problemu pakowania dzielący przedmioty na grupy  
<wrongoption>jest wielomianowym schematem aproksymacyjnym</wrongoption>
<wrongoption>jest wielomianowym schematem aproksymacyjnym</wrongoption>
Linia 37: Linia 37:




<quiz>Problem zbioru niezależnego z ograniczeniem na stopień wierzchołka
<quiz>Standardowa redukcja z problemu INDEPENDENT SET do NODE COVER  
Standardowa redukcja z problemu INDEPENDENT SET do NODE COVER  
<wrongoption>przenosi skojarzeniowy algorytm aproksymacyjny na problem INDEPENDENT SET ze stałym współczynnikiem aproksymacji</wrongoption>
<wrongoption>przenosi skojarzeniowy algorytm aproksymacyjny na problem INDEPENDENT SET ze stałym współczynnikiem aproksymacji</wrongoption>
<rightoption>nie jest L-redukcją</rightoption>
<rightoption>nie jest L-redukcją</rightoption>

Aktualna wersja na dzień 12:23, 25 wrz 2006

Skrót FPTAS oznacza

to samo co PTAS, tylko dla problemów minimalizacji

wielomianowy schemat aproksymacji, w którym złożoność jest wielomianowo zależna od odwrotności dokładności

wielomianowy schemat aproksymacji

wielomianowy schemat aproksymacji dla problemów silnie NP-zupełnych

żadna z pozostałych odpowiedzi nie jest poprawna


Algorytm zaokragleniowy dla problemu plecakowego

można łatwo przekształcić w algorytm aproksymacyjny o stałej a=1/10

wykorzystuje to, że KNAPSACK nie jest silnie NP-zupełny

wykorzystuje to, że KNAPSACK jest problemem liczbowym

jest PTAS i nie jest FPTAS

wykorzystuje to, że KNAPSACK jest silnie NP-zupełny


Algorytm aproksymacyjny dla problemu pakowania dzielący przedmioty na grupy

jest wielomianowym schematem aproksymacyjnym

jest asymptotycznym wielomianowym schematem aproksymacyjnym

jest w pełni wielomianowym schematem aproksymacyjnym

przez ustalenie dokładności staje sie algorytmem aproksymacyjnym o pewnej stałej aproksymacji


L-redukcja f z problemu A do problemu B

przekształca instancje problemu A w instancje problemu B

przekształca rozwiązania dopuszczalne problemu A w rozwiązania dopuszczalne problemu B

przekształca algorytm a-aproksymacyjny dla B w algorytm a-aproksymacyjny dla A

gwarantuje, że opt(f(I))γopt(I) dla pewnej stałej γ


Standardowa redukcja z problemu INDEPENDENT SET do NODE COVER

przenosi skojarzeniowy algorytm aproksymacyjny na problem INDEPENDENT SET ze stałym współczynnikiem aproksymacji

nie jest L-redukcją

jest L-redukcją jeśli narzucamy ograniczenie przez stałą na stopień wierzchołka w obu problemach

przenosi PTAS dla NODE COVER (jeśli istnieje) na INDEPENDENT SET, jeśli narzucamy ograniczenie przez stałą na stopień wierzchołka w obu problemach


Klasa MAXSNP0

pokrywa się z klasą problemów NP-optymalizacyjnych

zawiera sie istotnie w MAXSNP

zawiera problem MAX CUT vzawiera problem NODE COVER

zawiera tylko takie problemy, które posiadają a-aproksymację, dla pewnej stałej a


Problem MAXkFSAT

ma strategię aproksymacyjną o stałej 1/2

ma strategię aproksymacyjną o stałej 1/2k

nie wiadomo, czy ma strategię aproksymacyjną o jakiejkolwiek stałej

L-redukuje sie do MAX3SAT