Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

2
Quanten-PCP und Simulationshärte von Hamiltonianern
Ich habe ein paar Fragen zur Quantum PCP-Vermutung: Was ist die Aussage der Quanten-PCP-Vermutung? Welche Implikationen hätte der Quanten-PCP-Satz für die Simulation von Hamiltonianern? Wird angenommen, dass die Übernahme von Irit Dinurs Beweis des klassischen PCP-Theorems wahrscheinlich zu einem Beweis der Quantum-PCP-Vermutung führt? Welchen Hintergrund wird benötigt, um Artikel über …
4
Einfache Frage zu Entscheidungsproblemen
(Ich bin mitten in meinem ersten theoretischen CSS-Kurs, also entschuldige ich mich im Voraus für die wahrscheinlich dumme Frage.) Wir sagen also, dass eine Sprache L in P ist, was bedeutet, dass eine Turing-Maschine konstruiert werden kann, die eine 1 ausgibt, wenn x in L ist und andernfalls 0; Außerdem …
2
QMA verstehen
Diese Frage ergibt sich aus einer Antwort, die Joe Fitzsimons auf eine andere Frage gab . Die meisten Klassen für natürliche Komplexität haben eine einzeilige "intuitive Beschreibung", mit deren Hilfe Kernprobleme in dieser Klasse charakterisiert werden können. Bei NP geht es um "effiziente Verifizierung", bei #P um "Aufzählen von Lösungen", …
1
#SAT auf # MONOTONE-2SAT reduzieren
Das Problem # MONOTONE-2SAT ist bekanntermaßen # P-vollständig. Dies bedeutet, dass #SAT darauf reduziert werden kann. Meine Frage lautet: Wenn eine # SAT- Instanz , welche Transformation konvertiert in die entsprechende # MONOTONE-2SAT-Instanz ?FFFF 'FFFF′F′F' Eine zweite Frage ist: Lassen‚die Anzahl der Lösungen von und lassen die Anzahl der Lösungen …
2
PCP-Theorem und Beweiskomplexität?
Es ist bekannt , dass , wenn P=NPP=NPP=NP dann CoNP=PCP[O(log(n)),O(1)]CoNP=PCP[O(log(n)),O(1)]CoNP= PCP[O(log(n)),O(1)] . Es ist auch bekannt, dass NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]. Es scheint, dass PCP uns nicht sagen kann, welche natürlichen Probleme nicht in NPNPNP . Ich frage mich, ob es möglich ist, die PCP-Charakterisierung zu verwenden, um CoNPCoNPCoNP von zu trennen NPNPNP. …
3
Ist das Problem der parametrisierten maximalen unabhängigen Klauseln in FPT ein Problem?
Problem mit parametrisierten maximalen unabhängigen Klauseln: Eingabe: Eine r-CNFSAT-Formel F mit n Variablen und m Klauseln, k Fragen: Gibt es mindestens k Klauseln, so dass sie voneinander unabhängig sind, dh keine Variable kommt mehr als einmal in allen diesen Klauseln zusammen vor. Parameter: k Ich möchte wissen, ob dieses Problem …
4
Komplexität des Ehe-Matching-Problems?
Angenommen, Sie haben Männer und n Frauen. Jede Person hat m Attribute. Jede Person gibt eine Reihe von Attributen an, die ein möglicher Kandidat haben sollte. Ein Matching ist eine Menge von Paaren. Jedes Paar bindet einen Mann an eine Frau. Die Zufriedenheit eines Matchings ist die Anzahl der Attribute, …
3
Ist Deolalikars 2010er Beweis, dass
Es gab vor kurzem ein beanspruchtes Beweis dafür , dass P.≠ N.P.P.≠N.P.P \ne NP . Nicht lange nach seiner Veröffentlichung wurden einige Probleme mit diesem Beweis aufgeworfen . Also ... ist der Beweis richtig oder nicht? (Bitte beantworten Sie dies nur, wenn Sie Beweise haben ... diese Frage kann einige …
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.