Wielu przyszło na myśl, że we wszystkich dowodach kompletności , które przeczytałem (które pamiętam), zawsze trywialne jest pokazanie, że problem jest w i pokazanie, że jest to -hard jest ... trudną częścią. Jakie problemy zakończone to te, których weryfikatory czasu wielomianowego są wysoce nietrywialne?NP NP NP
complexity-theory
np-complete
np
ogrodnik
źródło
źródło
Odpowiedzi:
Istnieją co najmniej cztery takie pełnoporcjowych problemy wymienione w dodatku do Garey i Johnsona Komputery i krnąbrność: Przewodnik Teorii Problem NP-zupełny .N.P.
Pozostałe trzy, które znalazłem w dodatku, to:
źródło
Oto problem z teorii bazy danych, a dokładniej z teorii serializacji.
W Serializowalności przez Blokowanie (Strona 237) mówi to
-safe problemu można znaleźć w artykule „Niektóre problemy związane z obliczeniowa Database Współbieżnym Kontroli” przez Papadimitriou et al. Niestety nie mam do niego dostępu.SSR
źródło
Dla mnie całkowite programowanie liniowe (i związany z nim arytmetyka Presburger Free w kwantyfikatorze) należą do tej klasy.
Naiwnym podejściem do wymiarowego problemu ILP jest iteracja przez wektorów liczb całkowitych o całej długości . Ale to jest nieograniczony proces.nn n
Musisz użyć teorii liczb, aby udowodnić, że istnieje wielomianowa górna granica wielkości rozwiązań, co oznacza, że jeśli rozwiązanie istnieje, zawsze istnieje rozwiązanie wielomianowe, które działa jak certyfikat.
Więcej informacji można znaleźć w odpowiedzi na pytanie, które zadałem jakiś czas temu.
źródło