Computerwissenschaften p-vs-np

1

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 …

11 complexity-theory p-vs-np oracle-machines

2

Ist die offene Frage NP = co-NP dieselbe wie P = NP?

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 P=NP

11 complexity-theory complexity-classes p-vs-np

2

Widerspruchsbeweis für Ungleichheit von P und NP?

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 Annahme, dass . …

10 complexity-theory time-complexity p-vs-np

1

Wenn

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 sind.

10 complexity-theory p-vs-np

4

Entwicklung künstlicher neuronaler Netze zur Lösung von NP-Problemen

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 Axone zu "entwickeln". Im Grunde ist meine Idee die …

10 machine-learning np neural-networks p-vs-np genetic-algorithms

3

Beweisen, dass wenn

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 nichtdeterministischen Turing-Maschine in …

10 time-complexity complexity-classes p-vs-np

1

Wenn man zeigt, dass UNIQUE k-SAT in P ist, bedeutet das P = NP?

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, impliziert dies P = NP? Verweise …

9 complexity-theory satisfiability p-vs-np

2

Warum schließt Gödels zweiter Unvollständigkeitssatz einen formalisierbaren Beweis von P! = NP nicht aus?

Ich bin mir sicher, dass mit den folgenden Überlegungen etwas nicht stimmt, da sonst viele P- gegen NP-Untersuchungen eingeschränkt würden, aber ich kann meinen Fehler nicht feststellen: Für jede feste ganze Zahl definieren SieB k : = { ⟨ & phgr; ⟩ |k>0k>0k>0Bk:={⟨φ⟩|φis a wff of ZF and has a …

8 complexity-theory np-complete logic p-vs-np

1

Was ist falsch an diesem bedingten Beweis von P = NP?

Ich habe mir kürzlich den folgenden Beweis ausgedacht, dass L = P P = NP impliziert. Angenommen, L = P. Sei A ein Problem in NP. Nach der Verifiziererdefinition von NP hat jede positive Lösung für A einen Zeugen, der in Polynomzeit verifiziert werden kann. Da P = L ist, …

8 complexity-theory p-vs-np

2

Ist es einfach, einfache Fälle von NP-harten Problemen zu erkennen?

Meine Frage lautet wie folgt. Angenommen, ist ein NP-hartes Problem. Ist es bei einer beliebigen Instanz I von Π und der Annahme, dass ein Gegner weiß, dass diese Instanz leicht zu lösen ist, möglich, einen deterministischen Polynom-Zeit-Algorithmus zu finden, um diese bestimmte Instanz I zu lösen ?ΠΠ\PiichIIΠΠ\PiichII Zum Beispiel: Angenommen, …

8 complexity-theory np-complete np-hard np p-vs-np

1

Wie kann gezeigt werden, dass die Gruppe von Maschinen, die Sprachen in akzeptieren , nur dann entscheidbar ist, wenn ?

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 Problem - aber das ist nicht das, was gefragt wird ist, so habe ich verwirrt.P=NPP=NP\mathrm{P}=\mathrm{NP}LLLco-REco-RE\text{co-RE} Ich …

8 computability undecidability p-vs-np

2

Kann genau einer von NP und Co-NP gleich P sein?

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 ausschließt.⊊⊊\subsetneq

8 complexity-theory p-vs-np

2

Polytime-Algorithmus für SUBSET-SUM unter der Annahme von P = NP

Auf der Wikipedia-Seite zum P vs. NP-Problem gibt es einen Algorithmus, der SUBSET-SUM "löst", falls P = NP in Polynomzeit ist. (Es ist eine Idee, ein TM zu finden, das ein Zertifikat gibt). Aber es gibt "Ja" in Polynomzeit und läuft für immer, wenn die Antwort "Nein" ist. Es kann …

7 complexity-theory np-complete np p-vs-np

1

Warum werden TSP-Löser benötigt, wenn es SAT-Löser gibt?

Concorde TSP ist ein Löser für TSP. SAT-Löser sind Löser für die boolesche Erfüllbarkeit. TSP und SAT sind NP-vollständig. Warum also die Zeit damit verbringen, Concorde TSP zu entwickeln, wenn es damals eine Fülle von SAT-Lösern auf dem Markt gibt?

7 np-complete satisfiability p-vs-np traveling-salesman sat-solvers

1

Wie kann man mit einem alten SAT-Solver einen neuen entdecken, wie in The Golden Ticket beschrieben?

In Lance Fortnows Buch The Golden Ticket erwähnt er, dass Sie einen Polynom-Zeit-Algorithmus für ein NP-vollständiges Problem verwenden können, um einen schnelleren Algorithmus zu finden. Können Sie mir sagen, wie das gemacht wird? Und wenn dies erledigt ist, können Sie den neuen Algorithmus verwenden, um eine noch schnellere ad infinitum …

7 algorithms np-complete p-vs-np sat-solvers

Als «p-vs-np» getaggte Fragen