Es gibt viele Versuche, entweder oder zu beweisen, und natürlich denken viele Leute über die Frage nach und haben Ideen, um beide Richtungen zu beweisen.P ≠ N PP = N PP=NP\mathsf{P} = \mathsf{NP} P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Ich weiß, dass es Ansätze gibt, die erwiesenermaßen nicht...
Ich verstehe das Problem auf hohem Niveau und verstehe, dass es die Tür für die Lösung zahlreicher Probleme im Bereich der Informatik öffnen würde, wenn es sich mit einer bereitgestellten Lösung als absolut "erwiesen" herausstellen würde.P= NPP=NPP=NP Meine Frage ist, wenn jemand einen...
Gibt es bekannte Probleme in (und nicht in P ), die nicht N P sind ?NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP} Complete sind? Meines Erachtens gibt es derzeit keine bekannten Probleme, bei denen dies der Fall ist, aber es wurde nicht ausgeschlossen, dass dies möglich ist. Wenn es ein Problem gibt,...
Als ich den Baker-Gill-Solovay-Beweis erklärte, dass es ein Orakel gibt, mit dem wir haben können, , und ein Orakel, mit dem wir haben können, Freund wurde die Frage gestellt, warum solche Techniken nicht geeignet sind, das zu beweisen , und ich konnte keine zufriedenstellende Antwort geben.P ≤ N P...
Diese Frage wurde von Theoretical Computer Science Stack Exchange migriert, da sie über Computer Science Stack Exchange beantwortet werden kann. Vor 6 Jahren migriert . Ist es möglich, dass und die Kardinalität von der Kardinalität von ? Oder bedeutet , dass und unterschiedliche Kardinalitäten...
Ich bin sicher, jemand hat darüber nachgedacht oder es sofort verworfen, aber warum impliziert Schäfers Dichotomietheorie zusammen mit Mahaneys Theorem über spärliche Mengen nicht P = NP? Hier ist meine Argumentation: Erstellen Sie eine Sprache die SAT entspricht und von einer unendlichen,...
Wenn tatsächlich gleich N P ist , wie würde dies unsere Algorithmen verbessern, um ganze Zahlen schneller zu faktorisieren. Mit anderen Worten, welche Art von Einsicht würde uns diese Tatsache zum besseren Verständnis der Faktorisierung von ganzen Zahlen verhelfen?PP{\sf P}N PNP{\sf...
Dies ist mein erster Beitrag, nachdem ich seit einiger Zeit ein passiver Benutzer bin. Ich möchte einige Fragen stellen, wenn ich darf. Ich bin kein Mathematiker, aber meine Frage bezieht sich auf das Gebiet der Mathematik / Informatik. Insbesondere das P vs NP-Problem. Mir ist bewusst, dass dies...
Ich habe diesen sehr einfachen "Beweis" für NP = CoNP und ich glaube, ich habe irgendwo etwas falsch gemacht, aber ich kann nicht finden, was falsch ist. Kann mir jemand weiterhelfen? Sei A ein Problem in NP und sei M der Entscheider für A. Sei B das Komplement, dh B ist in CoNP. Da M ein...
Mir ist bewusst, dass dies eine sehr dumme (oder zu naheliegende) Frage ist. Irgendwann bin ich jedoch verwirrt. Wir können zeigen, dass P NP=== genau dann ist, wenn wir einen Algorithmus entwerfen können, der ein gegebenes Problem in NP in polynomialer Zeit löst . Ich verstehe jedoch nicht, wie um...
Das ist wahrscheinlich eine blöde Frage, aber ich verstehe es einfach nicht. Bei einer anderen Frage kamen sie auf Schaefers Dichotomiesatz . Für mich sieht es so aus, als ob es beweist, dass jedes CSP-Problem entweder in P oder in NP-vollständig ist, aber nicht dazwischen. Da jedes NP-Problem in...
Ich frage mich , ob dies auf mehreren Online-Stellen basiert, die co- ein großes offenes Problem bezeichnen ... aber ich kann keinen Hinweis darauf finden, ob dies dasselbe ist wie Problem ...N P P = N P.NP=NP=\sf NP=NPNP\sf NPP=NPP=NP\sf
Ich weiß, dass es albern ist, aber ich habe es geschafft, mich zu verwirren, und ich brauche Hilfe, um das zu regeln Angenommen, , dann haben wir eindeutig für jedes Orakel was der Tatsache widerspricht, dass es ein Orakel für das , alsoA P A = N P A A P A ≠ N P A P ≠ N PP.=...
Ich würde mich sehr über Ihre Hilfe beim Nachweis des Folgenden freuen. Wenn dann ist .P = N P.N T i m e ( n100) ⊆ D T i m e ( n1000)NTime(n100)⊆DTime(n1000)\mathrm{NTime}(n^{100}) \subseteq \mathrm{DTime}(n^{1000})P = N P.P=NP\mathrm{P}=\mathrm{NP} Hier ist die Klasse aller Sprachen, die von einer...
Ich habe kürzlich einen wirklich interessanten Blogeintrag aus dem Google Research Blog gelesen, in dem es um neuronale Netze geht. Grundsätzlich nutzen sie diese neuronalen Netze zur Lösung verschiedener Probleme wie der Bilderkennung. Sie verwenden genetische Algorithmen, um die Gewichte der...
Wenn P = N P.P=NP\mathbf{P} = \mathbf{NP} , ist dann L = N L.L=NL\mathbf{L} = \mathbf{NL} ? Ich stelle diese Frage, weil für andere nicht deterministische Klassen P = N P.P=NP\mathbf{P} = \mathbf{NP} anscheinend immer feststellt, dass sie ihren deterministischen Gegenstücken gleich...
Ich versuche zu argumentieren, dass N nicht gleich NP ist, indem ich Hierarchiesätze verwende. Dies ist mein Argument, aber als ich es unserem Lehrer und nach Abzug zeigte, sagte er, dass dies problematisch ist, wenn ich keinen zwingenden Grund finde, dies zu akzeptieren. Wir beginnen mit der...
Valiant & Vazirani haben bewiesen, dass SAT unter randomisierten probabilistischen Verkürzungen der Polynomzeit auf EINZIGARTIGES SAT reduzierbar ist. Calabro et al . zeigten, dass EINZIGARTIGES k-SAT so hart ist wie k-SAT. Die Frage ist nun, wenn jemand zeigt, dass UNIQUE k-SAT in P ist,...
Ich möchte Ihre Hilfe beim Nachweis, dass die Sprache ist entscheidbar, wenn .L={⟨M⟩|L(M)∈NP∖P}L={⟨M⟩|L(M)∈NP∖P}L=\{\langle M \rangle \mathrel| L(M) \in \mathrm{NP}\smallsetminus \mathrm{P} \}P=NPP=NP\mathrm{P}=\mathrm{NP} Wenn , ich, dass es die Sprache leerer Turing-Maschinen ist. So ist ein...
Vielleicht fehlt mir etwas Offensichtliches, aber kann es sein, dass P = co-NP NP oder umgekehrt? Mein Gefühl ist, dass es einen Satz geben muss, der diese Möglichkeit