Pytania o relacje między klasami złożoności.
W 3SUM problemów próbuje zidentyfikować 3 liczb całkowitych z zestawu wielkości takie, że .S n a + b + c = 0a,b,ca,b,ca,b,cSSSnnna+b+c=0a+b+c=0a + b + c = 0 Przypuszcza się, że nie ma lepszego rozwiązania niż kwadratowe, tj. . Lub inaczej: .o ( n log ( n ) + n 2
Gdyby ktoś zbudował uniwersalny komputer kwantowy, czy miałoby to jakikolwiek wpływ na problem P i
To pytanie zostało przeniesione z Teoretycznej informatyki stosu wymiany, ponieważ można na nie odpowiedzieć w sprawie informatyki stosu wymiany. Migrował 7 lat temu . W tym artykule w Wikipedii na temat problemu Kliki w teorii grafów stwierdza się na początku, że problem...
Czy to możliwe, że a liczność jest taka sama jak liczność ? Czy też oznacza, że i muszą mieć różne liczności?P N P P ≠ N P P N PP≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}P≠NPP≠NP\mathsf{P} \not =
Niech A będzie sprowadzić do punktu B, czyli . Stąd, maszyna Turinga akceptując ma dostęp do Oracle dla . Niech maszyna Turinga akceptująca będzie a wyrocznia dla będzie . Rodzaje obniżek:A B A M A B O BA≤BZA≤bA \leq BAZAABbBAZAAMAM.ZAM_{A}BbBOBObO_{B} Redukcja Turinga: może wykonać wiele zapytań...
Czytałem pytanie na Stack Overflow, pytając, czy to NP- twarde, aby wymienić wszystkie proste cykle na wykresie zawierającym określony węzeł i przyszło mi do głowy, że nie mogę wymyślić żadnej istniejącej klasy złożoności, która byłaby odpowiednia dla mówiąc o problemach z formularzem „wymień...
Mam wiele powiązanych pytań dotyczących tych dwóch tematów. Po pierwsze, większość tekstów złożoności tylko tuszować klasę . Czy istnieje dobry zasób, który bardziej szczegółowo omawia badania? Na przykład coś, co omawia wszystkie moje pytania poniżej. Ponadto, jestem przy założeniu, że N C nadal...
Próbuję zrozumieć dowód twierdzenia Karp-Lipton, jak stwierdzono w książce „Złożoność obliczeniowa: nowoczesne podejście” (2009). W szczególności ta książka stwierdza, co następuje: Twierdzenie Karpa-Liptona Jeśli NP , to PH .P ∖ p o l y⊆⊆\subseteq P∖polyP∖polyP_{\backslash poly} =Σp2=Σ2p=...
Niedawno student poprosił mnie o sprawdzenie dla nich dowodu twardości NP. Dokonali redukcji zgodnie z: Zmniejszam ten problem P′P′P' którym wiadomo, że jest NP-kompletny do mojego problemu PPP (z redukcją wielokrotnego wielokrotności jeden), więc PPP jest NP-twardy. Moja odpowiedź brzmiała w...
Z tego, co przeczytałem w preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Oto definicja PTAS : Wielomianowy schemat aproksymacji czasu ( PTAS ) dla problemu jest...
Jestem w pewnym sensie nowy, ale bardzo zainteresowany dziedziną obliczeń i teorii złożoności, i chcę wyjaśnić moje rozumienie, w jaki sposób klasyfikować problemy i jak silnie problemy odnoszą się do maszyny używanej do ich rozwiązywania. Moje zrozumienie Standardowa maszyna Turinga - maszyna...
Zastanawiam się nad tym w oparciu o kilka miejsc online, w których można dzwonić NP=NP=\sf NP= współ-NPNP\sf NP główny otwarty problem ... ale nie mogę znaleźć żadnego wskazania, czy jest to to samo, co P=NPP=NP\sf P=NP
Jestem ciekawy, czy w klasie złożoności Arthura-Merlina występują jakieś kompletne problemy. Graph Non-Isomorphism (GNI) wydaje się być kanonicznym przykładem problemu w AM, ale prawdopodobnie nie jest kompletny. Chyba zastanawiam się również, czy „kompletny” problem jest dobrze zdefiniowany dla...
Co oznacza klasa złożoności ? Wiem, że jest klasą złożoności, która zawiera języki dla których istnieje wielomianowa niedeterministyczna maszyna Turinga taka, że iff liczba akceptujących stanów maszyny na wejściu jest nieparzysta. ⊕ P A M x ∈ A M x⊕P⊕P⊕P⊕P\oplus P^{\oplus P}⊕P⊕P\oplus...
Jak rozumiem, problem przypisania występuje w P, ponieważ węgierski algorytm może go rozwiązać w czasie wielomianowym - O (n 3 ). Rozumiem również, że problem z przypisaniem jest całkowitym problemem programowania liniowego , ale strona Wikipedii stwierdza, że jest to NP-Hard. Dla mnie oznacza...
Problem decyzyjny Biorąc pod uwagę logiczną formułę , czy ϕ ma dokładnie jedno zadowalające zadanie?ϕϕ\phiϕϕ\phi mogą być widoczne w , U P -hard i c o N P -hard. Czy jest coś bardziej znanego na temat jego
Niech będzie jakimś problemem liczenia, o którym wiadomo, że to # -Complete .ΠΠ\PiP.P.P Czy to oznacza, że jest -hard (czyli nie PTA dla istnieje problem chyba że )?ΠΠ\PiA P.XZAP.XAPXP.=
Czy istnieje prosty sposób, aby dowiedzieć się, dlaczego NP jest w WYGODZIE? Wydaje mi się a priori możliwe, że może istnieć problem, który wymaga czasu nadwykładniczego do rozwiązania, ale którego rozwiązanie można zweryfikować w czasie
Wszyscy znają „Garey & Johnson”, który jest moim głównym punktem odniesienia, gdy potrzebuję problemu z transformacją na dowód odporności na NP. Jednak ostatnio potrzebuję dowodu na odporność na APX i zastanawiam się, czy istnieje podobny (i bardziej aktualny ...?) Zbiór problemów, które...
Do rozumowania takich rzeczy, jak kompletność NP, zwykle stosujemy redukcje wielokrotne jeden (tj. Redukcje Karp). Prowadzi to do takich zdjęć: (zgodnie ze standardowymi przypuszczeniami). Jestem pewien, że wszyscy znamy tego rodzaju rzeczy. Jakie otrzymamy zdjęcie, jeśli będziemy pracować z...