Die UP-Klasse ist als solche definiert : Die Klasse von Entscheidungsproblemen, die von einer NP-Maschine so gelöst werden können, dass Wenn die Antwort "Ja" lautet, wird genau ein Berechnungspfad akzeptiert. Wenn die Antwort "Nein" lautet, werden alle Berechnungspfade abgelehnt. Ich versuche, eine...
Das "zweite " -Problem ist das Problem, die Existenz einer anderen Lösung zu entscheiden, die sich von einer gegebenen Lösung für eine Probleminstanz unterscheidet.XXX Für einige vollständige Probleme ist die zweite Lösungsversion N P- vollständig (Entscheidung über die Existenz einer anderen...
Impagliazzo, Paturi und Calabro, Impagliazzo, Paturi führten die Exponential-Time-Hypothese (ETH) und die Strongly Exponential-Time-Hypothese (SETH) ein. Ungefähr sagt SETH, dass es keinen Algorithmus gibt, der SAT in der Zeit löst . 1.99n1.99n1.99^n Ich fragte mich, was das bedeuten würde, um SETH...
Ich suche nach einer Komplexitätsklasse, die APX bezieht sich wie BPP P. betrifft Ich habe schon die gleiche Frage gestellt hier , aber vielleicht wäre TCS ein fruchtbarer Ort für Antworten sein. Der Grund für die Frage ist, dass man in praktischen Problemen häufig ungefähre Antworten (also APX)...
Kennen Sie Probleme, die selbst für Graphen mit begrenztem Grad W [1] -hart sind? Die metrische Dimension ist für Diagramme mit einem Grad von höchstens 3 schwierig, aber W [2] -hart. Rot-Blau-Nonblocker war in Graphen mit begrenztem Grad W [1] -hart, aber es gab einen Fehler im Beweis (Buch von...
Gibt es eine dokumentierte Möglichkeit, Knoten zu berechnen? (Umfänge eingebettet in einen dreidimensionalen euklidischen Raum). Ich meine, einen Datentyp, um sie darzustellen, und einen Algorithmus, um zu bestimmen, ob zwei Instanzen des Datentyps denselben Knoten darstellen. Wenn die Antwort...
Ist die folgende Behauptung bekannt? Behauptung : Für jeden Graphen mit n Eckpunkten existiert eine Färbung von G, so dass jede unabhängige Menge mit höchstens O ( √) gefärbt istGGGnnnGGGFarben.O ( n- --
Ich habe Fragen zu reinen Funktionen. Laut Wikipedia-Seite ist eine der Voraussetzungen für eine reine Funktion: Die Auswertung des Ergebnisses verursacht keine semantisch beobachtbaren Nebenwirkungen oder Ausgaben, wie z. B. die Mutation veränderlicher Objekte oder die Ausgabe an E / A-Geräte. Was...
Soweit ich weiß, ist die von Linial und Shraibman gegebene Untergrenze der Faktorisierungsnorm im Wesentlichen die einzige Untergrenze, die für die Komplexität der Quantenkommunikation bekannt ist (oder zumindest alle anderen subsumiert). Gibt es Beweise dafür, dass diese Bindung eng ist? Die...
In Theorems kostenlos! Wadler sagt, dass die Charakterisierung der Parametrizität in Form von laxen natürlichen Transformationen wieder ausgedrückt werden kann, und dies wird Gegenstand einer weiteren Arbeit sein. Auf welches Papier bezieht er sich? Die kategorische Herangehensweise an die...
Ein planarer Graph ist ein Graph, der in die Ebene eingebettet werden kann, ohne dass sich die Kanten kreuzen. Sei ein einheitlicher Hypergraph, dh ein Hypergraph, so dass alle seine Hyperkanten die Größe k haben.G=(X,E)G=(X,E)G=(X,E)kkk Es wurden einige Arbeiten zum Einbetten von Hypergraphen in...
Nachdem ich eine verwandte Frage über nichtkonstruktive Existenzbeweise von Algorithmen gelesen hatte , fragte ich mich, ob es Methoden gibt, um die Existenz von "kleinen" (etwa zustandsbezogenen) Rechenmaschinen zu zeigen, ohne sie tatsächlich zu erstellen. Formal: Nehmen wir an, wir erhalten eine...
Die Martin-Löf-Typentheorie verwendet W-Typen, um induktive Strukturen wie ganze Zahlen, Listen usw. zu definieren. Die Berechnung induktiver Konstruktionen verwendet sie jedoch nicht auf die gleiche Weise. Induktive Typen scheinen eher Axiomschemata zu sein. Sind diese beiden Ansätze gleichwertig...
Bezeichne mit den minimalen In-Grad in G und mit δ - ( G ) den minimalen In-Grad.δ+( G )δ+(G)\delta^+(G)GGGδ- -( G )δ−(G)\delta^-(G) In einer verwandten Frage habe ich die Ghouila-Houri-Erweiterung des Dirac-Theorems über Hamilton-Zyklen erwähnt , was darauf hindeutet, dass wenn dann ist G...
Das Set-Cover-Problem ist also trivial, wenn sich keines der Kandidatensets überschneidet. Was ist jedoch, wenn die Größe der Schnittmenge für ein Paar von Kandidatensätzen höchstens 1 beträgt? Ist dieses Problem NP-schwer? Ich würde mich über jeden Einblick freuen. Danke,...
Hier ist ein Problem mit einem ähnlichen Geschmack wie beim Lernen von Juntas: Eingabe: Eine Funktion f: { 0 , 1 }n→ { - 1 , 1 }f:{0,1}n→{−1,1}f: \{0,1\}^n \rightarrow \{-1,1\} , dargestellt durch ein Mitgliedschaftsorakel, dh ein Orakel, das xxx , gibt f( x )f(x)f(x) . Ziel: Finden Sie einen...
Wie @Marzio erwähnte, ist das folgende Spiel als Generalized Geography bekannt . Bei einem Graphen und einem Startscheitelpunkt v ∈ V ist das Spiel wie folgt definiert:G = ( V., E.)G=(V,E)G=(V,E)v ∈ V.v∈Vv \in V In jeder Runde (zwei Spieler wechseln sich ab) wählt ein Spieler , und dann passiert...
Der Standardbeweis dafür, dass BQPSPACE in PSPACE enthalten ist, basiert auf einer Savitch-Spieltypanalyse für Pfadintegrale. Es wird jedoch davon ausgegangen, dass die Laufzeit für BQPSPACE höchstens exponentiell lang ist. Dies gilt für PSPACE, aber für geschlossene Quantensysteme mit einer festen...
Ich versuche zu verstehen, worum es in der theoretischen Informatikforschung geht. Was machen theoretische Informatiker? Ich weiß, dass viel Zeit für das Unterrichten, die Betreuung von Doktoranden, die Beantragung von Finanzmitteln und für Abteilungsaufgaben aufgewendet wird. Wenn Sie sie beiseite...
Crossposted von MO . Sei eine Graphklasse, die durch eine endliche Anzahl verbotener induzierter Untergraphen definiert ist, die alle zyklisch sind (mindestens einen Zyklus enthalten).CCC Gibt es NP-harte Graphprobleme, die in der Polynomzeit für außer Clique und Clique Cover gelöst werden können...