Stany PCP twierdzenie, że nie ma czasu na wielomian algorytm MAX 3SAT znaleźć spełniającą zadanie klauzule spe wzorze 3SAT chyba P = N P .
Nie jest to prosta wielomian algorytm czasu, który spełnia klauzul. Tak, możemy to zrobić lepiej niż 7 / 8 + ε jeśli pozwolimy algorytmy super wielomianu? Jakie współczynniki aproksymacji możemy osiągnąć za pomocą quasi-wielomianowych algorytmów czasu ( n O ( log n ) ) lub za pomocą sub wykładniczych algorytmów czasu ( 2 o ( n ) )? Szukam odniesień do takich algorytmów.
źródło
Aby nieco powtórzyć to, co napisał Ryan Williams w swoim ostatnim akapicie:
źródło