Welche nicht regulären Sprachen sind in ?

Zum Beispiel weiß ich, dass die nicht reguläre Sprache $a^nb^n$ in $AC^0$ . Ich würde gerne weitere Beispiele wie dieses kennenlernen.

complexity-theory regular-languages circuits

— Alex Grilo
quelle

Palindrome (

{w w^{R}}

$\{w w^R\}$ )

— Vor dem

Was ist

A C^{0}

$AC^0$

— vonbrand

@vonbrand,

ist die Klasse von Schaltkreisen mit konstanter Tiefe, die unbegrenztes Fan-In enthalten und / oder Gates. Das heißt, jedes Gate in einer Schaltung ist entweder ein "und" oder ein "oder" Gate und erlaubt eine unbegrenzte Anzahl von Eingängen.

A C^{0}

$AC^0$

— Nicholas Mancuso

Sprachen in können komplizierter sein, als es die naive Intuition vermuten lässt. $AC^0$

Offensichtlich enthält , was nicht kontextfrei ist. $AC^0$ $\{a^n b^n c^n\}$
Jede unäre Sprache ist in ungleichmäßigem ; Zum Beispiel das Stoppproblem in unary ausgedrückt. $AC^0$
Die Addition kann in mit einem Carry-Lookahead-Addierer implementiert werden . Hier besteht der Eingang aus Bits, die zwei Zahlen darstellen, und der Ausgang enthält Drähte (äquivalent kann jedes Ausgangsbit in ). $AC^0$ $2n$ $n+1$ $AC^0$
Multiplexing: ist in . $\{w x: |w|=2^n, |x|=n, w[x] = 1\}$ $AC^0$

Ein Multiplexer ist eine Funktion für Variablen, die den Wert einer von Variablen ausgibt , wobei der Index durch die Variablen bestimmt wird. (Gleiches gilt, wenn der Index unär geschrieben ist.) $2^n+n$ $2^n$ $n$
Die Berechnung der 3SAT-Formeln erfolgt in . $AC^0$

Die Eingabe besteht aus Variablen, gefolgt von einigen Klauseln. Jede enthält drei Literale, wobei jedes Literal ein Index der Variablen ist (unär oder binär, spielt keine Rolle) und ein Bit, das eine mögliche Negation anzeigt. Sie können die Literale mit Multiplexern auswerten und dann eine Schicht von ODERs und dann ein großes UND darüber hinzufügen. $n$
enthält keine Mehrheit, aber eine ungefähre Mehrheit: eine Funktion, die der Mehrheit entspricht, wenn die Ausgabe $AC^0$ Nullen oder Einsen. Siehe "Ungefähre Zählung mit gleichmäßigen Schaltungen mit konstanter Tiefe" von Ajtai. $\geq \frac{1}{2}+ \varepsilon$

wird unter logischen Operationen, Verkettung und Zusammensetzung geschlossen, sodass Sie die obigen Beispiele kombinieren können. Jetzt sollten Sie etwas Respekt vor und anderen unteren Grenzen der Schaltung haben! $AC^0$ $Parity \notin AC^0$

— sdcvvc
quelle

Haben Sie Hinweise darauf? Insbesondere das unäre Halteproblem liegt in

. Da

, verstehe ich das nicht (es ist spät, wo ich bin, das könnte meine Entschuldigung sein).

A C^{0}

$AC^0$

A C^{0} \subseteq A C = N C \subseteq P

$AC^0 \subseteq AC = NC \subseteq P$

— Pål GD

Es ist ungleichmäßig

(wie

), wobei die Schaltung beliebig mit der Eingangslänge variieren kann.

A C^{0}

$AC^0$

P / p o l y

$P/poly$

— SDCVVC

@ PålGD, es ist im Text von Arora und Barak angelegt.

— Nicholas Mancuso

Haben Sie eine Referenz für einen Beweis, dass Multiplexing in AC0 ist?

— Alex Grilo

@ Alex Grilo, leider nein; Ich denke es ist Folklore. Mach

⋁_{i = 0}^{2^{n} - 1} (x = i \land w [i] = 1)

$\bigvee_{i=0}^{2^n-1} (x=i \wedge w[i]=1)$

— SDCVVC