Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

2
Charakterisierung von Problemen, für die sublineare Zeitalgorithmen existieren
Ich habe mich gefragt, ob Probleme, für die sublineare Zeitalgorithmen (in der Eingabegröße) existieren, als solche mit spezifischen Eigenschaften charakterisiert werden können. Dies umfasst die sublineare Zeit (z. B. Eigenschaftstests, ein alternativer Begriff der Approximation für Entscheidungsprobleme), den sublinearen Raum (z. B. Skizzier- / Streaming-Algorithmen, bei denen die Turing-Maschine über …
1
Kontextsensitive Grammatik für SAT?
Nach einem klassischen Ergebnis von Kuroda ist die Komplexitätsklasse NSPACE [ ]nnn (auch bekannt als NLIN-SPACE) genau die Klasse CSL von kontextsensitiven Sprachen . Das Erfüllbarkeitsproblem SAT liegt in NSPACE [ ] vor, da eine lineare Schätzung für eine Lösung mit höchstens einem linearen Aufwand für die Buchhaltung überprüft werden …
2
Anzahl der Binärgatter, die benötigt werden, um UND und ODER von n Eingangsbits gleichzeitig zu berechnen
Wie viele binäre Gatter sind mindestens erforderlich, um UND und ODER von Eingangsbits gleichzeitig zu berechnen ? Die triviale Obergrenze ist . Ich glaube, das ist optimal, aber wie kann man das beweisen? Die Standard-Gate-Eliminierungstechnik funktioniert hier nicht, da durch Zuweisen einer Konstanten zu einer der Eingangsvariablen einer der Ausgänge …
2
Gibt es ein Problem in
Ich suche nach einem Problem, das in allgemeinen Diagrammen zu ΣP2Σ2P\mathsf{\Sigma^P_2} gehört, in Diagrammen mit begrenzter Baumbreite jedoch zu Tatsächlich halte ich diese Probleme für schwerer als die Verwendung normaler dynamischer Programmierung in Diagrammen mit begrenzter Baumbreite, um sie zu lösen.PP\mathsf{P}
1
Können Sie die Äquivalenz für monotone Boolesche Ausdrücke festlegen, die in PTIME keine Negation enthalten?
Liegt das folgende Problem in PTIME oder coNP-hard vor: Bei zwei booleschen Ausdrücken und in den Variablen ohne Negation (dh die Ausdrücke werden vollständig über und ). Entscheiden Sie, ob , für alle Zuordnungen zu den Variablen den gleichen Wert haben.e1e1e_1e2e2e_2x1,…,xnx1,…,xnx_1,\dots,x_n∧∧\wedge∨∨\veee1≡e2e1≡e2e_1 \equiv e_2 Wenn beide Ausdrücke in DNF angegeben würden, …
1
Effiziente Verkettung von DFAs?
Es gibt theoretische Beweise dafür, dass die naive kartesische Produktkonstruktion für die Schnittmenge von DFAs "das Beste ist, was wir tun können". Was ist mit der Verkettung von zwei DFAs? Die triviale Konstruktion besteht darin, jeden DFA in einen NFA umzuwandeln, einen Epsilon-Übergang hinzuzufügen und den resultierenden NFA zu bestimmen. …
2
Paradigmen zur Komplexitätsanalyse von Algorithmen
Die Worst-Case- und Average-Case-Analyse sind bekannte Maßstäbe für die Komplexität eines Algorithmus. Die kürzlich geglättete Analyse hat sich als weiteres Paradigma herausgestellt, um zu erklären, warum einige im schlimmsten Fall exponentielle Algorithmen in der Praxis so gut funktionieren, beispielsweise der Simplex-Algorithmus. Meine Frage ist - gibt es andere Paradigmen, um …
1
Tautologien / Widersprüche im Durchschnitt jenseits des zufälligen k-CNF-Modells
Es ist bekannt, dass zufällige CNF-Formeln über Variablen mit Klauseln mit hoher Wahrscheinlichkeit für eine ausreichend große Konstante erfüllt werden können (dh sie sind Widersprüche) . Zufällige CNF-Formeln (für groß genug) bilden somit eine natürliche Verteilung über nicht erfüllbare Boolesche Formeln (oder zweifach über Tautologien, dh Negationen von Widersprüchen). Diese …
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.