Als «cc.complexity-theory» getaggte Fragen

P gegen NP und andere ressourcengebundene Berechnungen.

2
Las Vegas gegen Monte Carlo randomisierte Entscheidungsbaumkomplexität
Hintergrund: Entscheidungsbaumkomplexität oder Abfragekomplexität ist ein einfaches Berechnungsmodell, das wie folgt definiert ist. Sei eine Boolesche Funktion. Die deterministische Abfragekomplexität von , bezeichnet mit , ist die minimale Anzahl von Bits der Eingabe , die (im schlimmsten Fall) von einem deterministischen Algorithmus gelesen werden müssen berechnet . Beachten Sie, dass …

2
Nachweisbare Lücken zwischen Entscheidungsbaumkomplexität und „wahrer“ Komplexität
Der Titel ist ein bisschen irreführend, aber die Frage ist hoffentlich nicht: Grønlund und Pettie das neue Ergebnis zeigt , dass 3sum nur Entscheidungsbaum Komplexität hat mich gefragt:O(n3/2)O(n3/2)O(n^{3/2}) Gibt es ein einfaches Beispiel für ein Problem mit einer Entscheidungsbaumkomplexität von , das jedoch eine untere Schranke (in einem detaillierteren Modell) …

1
NP-Vollständigkeit über Real
Ich beschäftige mich kürzlich mit dem BSS-Berechnungsmodell (vgl. Zum Beispiel Complexity and Real Computation; Blum, Cucker, Shub, Smale). Für reelle ist gezeigt, dass bei gegebenem System von Polynomen f 1 , ⋯ , f m ∈ R [ x 1 , ⋯ , x n ] die Existenz von Nullen …




1
Schaltkreisauswertung
Ist bekannt, ob Problem mit der Schaltkreisbewertung in ? Wie wäre es mit (uniform )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Wir wissen, dass Schaltkreise der Tiefe mit Schaltkreisen der Tiefe bewertet werden können, wobei eine universelle Konstante ist. Dies bedeutet, dass Schaltkreise mit der Tiefe von einem Schaltkreis mit der Tiefe ausgewertet werden können . …

1
Einwegfunktionen in Bezug auf verschiedene Ressourcengrenzen
Informell werden Einwegfunktionen in Bezug auf PTIME-Algorithmen definiert. Sie sind in der Polynomzeit berechenbar, aber in der Durchschnittspolynomzeit nicht invertierbar. Die Existenz solcher Funktionen ist ein wichtiges offenes Problem in der theoretischen Informatik. Ich interessiere mich für Einwegfunktionen (nicht unbedingt für kryptografische Anwendungen), die in Bezug auf verschiedene Ressourcengrenzen definiert …



1
Intermediate
Das Partitionsproblem ist schwach NP-vollständig, da es einen Polynom-Zeitalgorithmus (Pseudo-Polynom-Zeitalgorithmus) aufweist, wenn die Eingabe-Ganzzahlen durch ein Polynom begrenzt sind. 3-Partition ist jedoch ein starkes NP-vollständiges Problem, selbst wenn die Eingabe-Ganzzahlen durch ein Polynom begrenzt sind. Unter der Annahme, , können wir beweisen, dass intermediäre NP-vollständige Probleme existieren müssen? Wenn die …

1
Eine 3-CNF-Formel, die die Auflösungsbreite
Es sei daran erinnert, dass die Breite einer Auflösungs-Widerlegung einer CNF-Formel die maximale Anzahl von Literalen in einer Klausel ist, die in . Für jedes gibt es nicht erfüllbare Formeln in 3-CNF. Jede Auflösungs-Widerlegung von erfordert eine Breite von mindestens .RRRFFFRRRwwwFFFFFFwww Ich brauche ein konkretes Beispiel für eine unbefriedigende Formel …

2
Hat Existenz von insgesamt
Es ist leicht zu erkennen, dass, wenn es insgesamt N P Suchprobleme gibt, die in der Polynomzeit nicht gelöst werden können (erstellen Sie ein Gesamtsuchproblem, indem Sie sowohl die Zeugen für die Mitgliedschaft als auch die Zeugen für die Nichtmitgliedschaft haben).N P ∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}NPNP\mathsf{NP} Ist das Gegenteil auch wahr, …

1
Äquivalente Definitionen der Zeitkonstruierbarkeit
Wir sagen , daß eine Funktion f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} ist zeit konstruierbar , wenn es ein deterministisches Mehrbandturingmaschine existiert MMM daß an allen Eingängen der Länge nnn Fabrikate höchstens f(n)f(n)f(n) Schritte und für jeden nnn dort eine Eingabe besteht aus Länge nnn auf der MMM genau f(n)f(n)f(n) Schritte macht. Wir sagen, dass …


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.