Als «p-vs-np» getaggte Fragen

Fragen zu oder im Zusammenhang mit P vs. NP

1
Gowers 'diskretisierter Borel-Bestimmungsansatz'
Gowers hat kürzlich ein Problem umrissen , das er "diskretisierte Borel-Determiniertheit" nennt und dessen Lösung mit dem Nachweis von Schaltkreisuntergrenzen zusammenhängt. Können Sie einen Überblick über den Ansatz geben, der auf ein Publikum von Komplexitätstheoretikern zugeschnitten ist? Was würde es brauchen, um mit diesem Ansatz irgendetwas zu beweisen , einschließlich …
1
Hindernisse, um
Wir alle wissen, dass Barrieren hat. Wir alle haben diese Barrieren untersucht, weil wir glauben, dass .P ≠ N PP≠ NPP≠NPP\ne NPP≠ NPP≠NPP\ne NP Nehmen wir jedoch an, und es gibt weise Leute, die glauben, dass diese Möglichkeit besteht . Wenn dies tatsächlich der Fall ist, deutet die Tatsache, dass …
15 p-vs-np  barriers 
3
Warum arbeiten Informatiker insgesamt unter der Annahme, dass P ≠ NP?
Von einem mathematischen Hintergrund, scheint es mir interessant , dass auf dem gesamten Computer neigen Wissenschaftler arbeiten unter der Annahme , dass P≠NPP≠NPP \neq NP . Obwohl es in beiden Fällen keine Beweise gibt, wird dies im Allgemeinen mit einer angemessenen Menge an Stärke durchgeführt, es sei denn, etwas kann …
12 p-vs-np 
1
Optimale NP-Löser
Fix ein NP-vollständiges Suchproblem zB die Suchform von SAT. Die Levinsuche liefert einen Algorithmus zum Lösen von der in gewissem Sinne optimal ist. Im Einzelnen lautet der Algorithmus "Führe alle möglichen Programme in Verzahnung mit der Eingabe , sobald die Antwort zurückgibt prüft, ob sie korrekt ist". Optimal in dem …
2
Reduktion von P gegen NP auf SAT
Die folgende Frage verwendet Ideen aus der Kryptographie, die auf die Komplexitätstheorie angewendet werden. Es handelt sich jedoch um eine rein komplexitätstheoretische Frage, für deren Beantwortung keinerlei Kryptowissen erforderlich ist. Ich schreibe diese Frage bewusst sehr informell. Mangels Details wird es möglicherweise etwas falsch angegeben. Bitte zögern Sie nicht, auf …
2
Zur Beweisbarkeit von P gegen NP
Erstens ist mein Verständnis des Unvollständigkeitssatzes von Gödel (und der formalen Logik im Allgemeinen) sehr naiv, ebenso wie mein Wissen über theoretische Informatik (dh nur ein Abschlusskurs, der bereits während meines Studiums belegt wurde), so dass diese Frage möglicherweise gestellt wird sehr naiv. Soweit ich feststellen konnte, ist die Beweisbarkeit …
3
P vs NP: Ein lehrreiches Beispiel dafür, wann eine Brute-Force-Suche vermieden werden kann
Um Nicht-Mathematikern das P vs NP-Problem erklären zu können, hätte ich gerne ein pädagogisches Beispiel dafür, wann eine Brute-Force-Suche vermieden werden kann. Das Problem sollte im Idealfall sofort verständlich sein und der Trick sollte weder zu einfach noch zu schwer sein. Das Beste, was ich mir bisher ausgedacht habe, ist …
1
Ist
Betrachten Sie jede Sprache . Definieren Sie s ( L ) ∈ { 0 , 1 } ω (eine unendliche Folge von Bits) durch die rekursive FormelLLLs(L)∈{0,1}ωs(L)∈{0,1}ωs(L) \in {\lbrace 0, 1 \rbrace}^\omega s(L)n=χL(s(L)&lt;n)s(L)n=χL(s(L)&lt;n)s(L)_n=\chi_L(s(L)_{>0:s(L)_n=\chi_U(s(L)_{>0:s(L, a)_{2n}=\chi_V(s(L, a)_{<2n}) |s&lt;2n|=2n|s&lt;2n|=2n|s_{<2n}| = 2n V∉PV∉PV \notin \mathsf{P}VVVEE\mathsf{E} VVVPV=NPVPV=NPV\mathsf{P}^V=\mathsf{NP}^V Ich bin besonders daran interessiert, entweder ein spezifisches …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.