Definieren Sie als die Klasse von Sprachen, die von einer (Multitape-) Turing-Maschine in der Zeit f ( n ) + 1 akzeptiert werden können . (Die " + 1 " dient nur zur Vereinfachung der Notation und zur Vermeidung von Verwirrung.) Beachten Sie, dass um f ( n ) + 1 kein O ( ⋅ ) vorhanden ist...
Ich habe einen Teil eines Beweises Versuch von ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP} . Der Beweisversuch besteht aus einer Karp-Reduktion vom ⊕P⊕P\oplus \mathbf{P} vollständigen Problem ⊕⊕\oplus 3-REGELMÄSSIGE VERTEX-ABDECKUNG auf SAT. Bei einem kubischen Graphen GGG gibt die Reduktion...
Wissen wir, dass die -Hierarchie nicht zusammenbricht ( für alle d )?TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd Der Zoo-Eintrag für TC0TC0\mathsf{TC^0} erwähnt nur die Trennung zwischen Tiefe 2 und 3. Gibt es auch eine Standardreferenz für die...
Ich habe kürzlich angefangen, viel über die Komplexität von Beweisen zu lesen und habe das, was ich gelesen habe, wirklich genossen. Ich würde wirklich gerne mehr darüber erfahren, aber es fällt mir zunächst schwer, ein gutes Anfängermaterial zu finden. Würde jemand in der Lage sein, einige...
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...
In Stephen Cooks Artikel über das P vs NP-Problem [1] stellt er Folgendes fest [2]: Machbarkeitsthese: Ein natürliches Problem hat einen realisierbaren Algorithmus, wenn es einen Polynom-Zeit-Algorithmus hat. Meine Frage ist, was genau meint er (oder im Allgemeinen wirklich, was bedeutet einer) mit...
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 parametrisierter Komplexität verwenden Menschen die FPT-Reduktion (Fixed-Parameter-Tractable), um die W [t] -Härte zu beweisen. Theoretisch ist eine FPT-Reduktion keine Polynomzeitreduktion, da sie im Parameter k exponentiell ablaufen kann. In der Praxis sind alle FPT-Reduktionen, die ich...
Angenommen, unsere Eingabe ist ein binäres und wir müssen ausgeben , wobei eine konstante ganze Zahl ist. Dies ist nur eine Verschiebung, wenn eine Zweierpotenz ist, aber was ist mit anderen Zahlen? Können wir es mit einem Stromkreis mit konstanter Tiefe für jedes ? Was ist mit ?≤ x / c ≤ c c c c =...
Merlin, der über unbegrenzte Rechenressourcen verfügt, möchte Arthur davon überzeugen, dass m|∑p≤N, p primepkm|∑p≤N, p primepkm|\sum_{p\le N,\ p\text{ prime}}p^k für (N,m,k)(N,m,k)(N,m,k) mit k=O(logN)k=O(logN)k=O(\log N) und m=O(N).m=O(N).m=O(N). Die einfache Berechnung dieser Summe (modulare...
Ich versuche, Probleme zu finden, deren durchschnittliche Raumkomplexität analysiert wurde. Insbesondere interessiert mich, ob es Probleme mit einer nachgewiesenen Untergrenze der Raumkomplexität gibt, die superlinear ist, und insbesondere, wenn es Probleme mit einer Durchschnittsfallanalyse gibt...
In einer zweimal gelesenen entgegengesetzten CNF-Formel erscheint jede Variable zweimal, einmal positiv und einmal negativ. Ich interessiere mich für das Problem , das darin besteht, die Parität der Anzahl zufriedenstellender Zuweisungen einer zweimal gelesenen entgegengesetzten CNF-Formel zu...
Gibt es Probleme, deren durchschnittliche Fallkomplexität mit der Worst-Case-Komplexität übereinstimmt? Was sind die zugrunde liegenden Eigenschaften dieser Probleme, die es ermöglichen, den schlimmsten Fall auf den Durchschnittsfall zu
Sei eine Folge von ganzen Zahlen, wobei jedes . Für sei. Das te Frequenzmoment ist definiert alsa j ∈ { 1 , 2 , … , n } i ∈ { 1 , 2 , … , n } m i = | { j : a j = i } | kein1, ein2, … , A.ma1,a2,…,ama_1, a_2,\dotsc, a_meinj∈ { 1 , 2 , … , n }aj∈{1,2,…,n}a_j \in \{1,2,\dotsc,n\}i ∈ { 1 , 2 , … , n...
Dana Angluin ( 1987 ; pdf ) definiert ein Lernmodell mit Mitgliedschaftsabfragen und theoretischen Abfragen (Gegenbeispiele zu einer vorgeschlagenen Funktion). Sie zeigt, dass eine reguläre Sprache, die durch einen minimalen DFA von Zuständen dargestellt wird, in Polynomzeit (wobei die...
Ein direkter Produktsatz besagt informell, dass das Berechnen von Instanzen einer Funktion f schwieriger ist als das einmalige Berechnen von f .kkkffffff Typische direkte Produktsätze (z. B. Yaos XOR-Lemma) betrachten die Komplexität im Durchschnitt und argumentieren (sehr grob), dass fff nicht...
NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Betrachten Sie nun Schaltungsfamilien mit Orakeltoren - beispielsweise ABABA^B , wobei AAA eine Schaltungskomplexitätsklasse ist, die einen Lograum mit Orakelzugriff auf eine andere Klasse BBB über an die Basis von A angehängte Orakeltore enthält AAA. Gibt...
Sei ein Feld. Wie üblich definieren wir für f ∈ k [ x 1 , x 2 , … , x n ] L ( f ) als die geradlinige Komplexität von f über k . Sei F die Menge der Monome von f , nämlich die Monome, die in f mit einem Koeffizienten ungleich Null erscheinen.kkkf∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in...
Welche Art von Hierarchiesätzen gibt es für die Schaltungstiefe? Aussagen wie wenn und f ( n ) ∈ n O ( 1 ), dann ist S i z e D e p t h ( n O ( 1 ) , g ( n ) ) ⊊ S i z e D e p t h ( n O (G( n ) ∈ o ( f( n ) )g(n)∈o(f(n))g(n) \in o(f(n))f( n ) ∈ nO ( 1 )f(n)∈nO(1)f(n) \in...
Der Beweis von Goldreich et al., Dass drei Färbbarkeitsnachweise keine Wissensnachweise enthalten, verwendet Bit-Commitment für eine vollständige Färbung des Graphen in jeder Runde [1]. Wenn ein Graph Eckpunkte und e Kanten hat, ein sicherer Hash b Bits hat und wir die Fehlerwahrscheinlichkeit p...