Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

1
Quantenalgorithmen für QED-Berechnungen in Bezug auf die Feinstrukturkonstanten
Meine Frage betrifft Quantenalgorithmen für QED-Berechnungen (Quantenelektrodynamik) in Bezug auf die Feinstrukturkonstanten. Solche Berechnungen (wie mir erklärt) Taylor-ähnliche Reihen wobei die Feinstrukturkonstante (um 1/137) ist und der Beitrag von Feynman-Diagrammen mit Schleifen ist. α c k k∑ ckαk,∑ckαk,\sum c_k\alpha^k,αα\alphackckc_kkkk Diese Frage wurde durch Peter Shors Kommentar (über QED und die …
1
Berman-Hartmanis-Isomorphismus für NP
Unter Verwendung des Real-RAM / BSS-Modells haben wir die Klasse NP R (wobei ein BSS das Blum-Shub-Smale-Modell eines Computers mit Operationen über Real ist). Wir haben komplette Probleme mit NP R. Die Frage ist also, ob es ein Analogon der Berman-Hartmanis-Vermutung für die Klasse NP R gibt . Natürlich hängt …
1
Problem, das nur in P ist, wenn P! = NP
Gibt es Probleme, die in der Polynomzeit nur lösbar sind, wenn P! = NP, und ansonsten in (sagen wir) -Zeit lösbar sind ?O ( 2n)O(2n)O(2^n) Ein einfaches Beispiel wäre: Wenn P! = NP, berechnen Sie einen Primalitätstest für eine zufällige n-Bit-Zahl, andernfalls bewerten Sie eine zufällige Worst-Case-Position im verallgemeinerten Schach …
1
Kann affine Lambda-Rechnung jedes Problem in P lösen?
In den erweiterten Themen in Typen und Programmiersprachen wird im Kapitel über substrukturelle Typsysteme erwähnt, dass ein "sorgfältig ausgearbeiteter" affiner Lambda-Kalkül mit einem Rekursionskombinator für Listen nur Begriffe eingeben kann, die eine polynomielle Laufzeit haben (dies ist nicht der Fall) den Beweis aufgrund der Komplexität vorlegen). Das wäre super interessant, …
1
Versteckter Pfad in quadratischen Gittern
Ich bin auf ein offenes Problem von David Eppstein gestoßen und bin an dessen Komplexitätsstatus interessiert. Er vermutete, dass es NP-vollständig ist. Eingabe: mal Matrix von Nullen und Einsen, Folge von Nullen und Einsennnnnnnn2n2n^2 Frage: Gibt es einen Pfad durch benachbarte Matrixeinträge, der jeden Matrixeintrag genau einmal abdeckt und dessen …
2
Vollständigkeit über Bäume hinweg
Ein Spanning Tree eines Graphen wird als Vollständigkeitsbaum bezeichnet, wenn die Menge seiner Blätter einen vollständigen Untergraphen im Host-Graph induziert. Wie komplex ist es bei einem Graphen und einer ganzen Zahl k zu entscheiden, ob G einen Vollständigkeitsbaum mit höchstens k Blättern enthält?GGGkkkGGGkkk Ein Grund für diese Frage ist, dass …
1
,
Ich habe versucht, diese Klassen zu verstehen, war aber immer verwirrt ... die Fragen sind: Wie ist die Beziehung zwischen und # P , insbesondere ist es eine offene Frage?FNPFNPFNP#P#P\#P Wie ist die Beziehung von und N P ? Ist diese Frage offen?⊕P⊕P\oplus PNPNPNP Was ist mit der Beziehung zwischen …
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.