Ponieważ 2 problemy NP-zupełne są z definicji redukowalne względem siebie, więc rozwiązanie jednego z nich można uzyskać za pomocą czarnej skrzynki rozwiązującej drugi, dlaczego nie mają podobnych współczynników aproksymacji (w odniesieniu do ich odpowiedników optymalizacyjnych )? Wydaje mi się, że pewne stałe lub nawet wielomianowe znoszenie może być zrozumiane, ale mamy przypadek algorytmów aproksymacji współczynnika stałego dla niektórych problemów NP-zupełnych, a z drugiej strony innych problemów, których nie da się aproksymować algorytmem aproksymacji współczynnika wielomianowego , takie jak ogólny TSP? Dziękuję Ci
11
Odpowiedzi:
Redukcje są zdefiniowane w odniesieniu do wersji decyzji problemów. Współczynniki aproksymacji dla ich wersji optymalizacyjnych to osobne pytanie, które wydaje się powiązane, ale niekoniecznie musi być. Więc aby odpowiedzieć na twoje pytanie pytaniem, z filozoficznego punktu widzenia, dlaczego miałbyś oczekiwać, że klasowy NPC zachowa proporcje aproksymacji, jeśli nie zostaną one zdefiniowane w odniesieniu do nich w pierwszej kolejności?
źródło