Złożoność obliczeniowa/Test 8: Schematy aproksymacji i klasa MAXSNP: Różnice pomiędzy wersjami
Nie podano opisu zmian |
Nie podano opisu zmian |
||
Linia 1: | Linia 1: | ||
<quiz> | <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> | <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> | <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> | <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
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 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 -aproksymacyjny dla B w algorytm -aproksymacyjny dla A
gwarantuje, że 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
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ą -aproksymację, dla pewnej stałej
Problem MAXkFSAT
ma strategię aproksymacyjną o stałej 1/2
ma strategię aproksymacyjną o stałej
nie wiadomo, czy ma strategię aproksymacyjną o jakiejkolwiek stałej
L-redukuje sie do MAX3SAT