W komentarzu w innym poście z cstheorySE wspomniano, że kompletność PSPACE implikuje twardość APX. Czy ktoś może wyjaśnić / udostępnić referencję?
Czy to jest „ciasne”? (tj. czy istnieją problemy kompletne z PSPACE, których problem optymalizacji dopuszcza stałe przybliżanie współczynnika w czasie wielopunktowym?
Co z kompletnością dla pewnego poziomu PH? Czy oznacza to jakąś twardość aproksymacyjną?
Odpowiedzi:
Ponieważ nie ma jeszcze odpowiedzi, zwracam się do komentarza, Marathe i in. w swoim artykule ICALP93 zdefiniowali niektóre problemy, które są kompletne w PSPACE, ale dopuszczają stałe przybliżenia współczynników, a także zapewniają pewne wyniki niedopuszczalności. W przypadku tego konkretnego pytania rozważmy MAX3SAT, odpowiedni problem decyzyjny jest PSPACE kompletny, nawet jeśli odpowiadający mu wykres SAT ma strukturę hierarchiczną, jak zdefiniowano w ich pracy, ale ten problem ma algorytm gwarancyjny z 2 przybliżeniami w strukturze hierarchicznej.
źródło