AC (complexity)

The name "AC" was chosen by analogy to NC, with the "A" in the name standing for "alternating" and referring both to the alternation between the AND and OR gates in the circuits and to alternating Turing machines.

The smallest AC class is AC⁰, consisting of constant-depth unlimited fan-in circuits.

The total hierarchy of AC classes is defined as

${\displaystyle \text{AC}=\bigcup _{i\ge 0}{\text{AC}}^i}$

Relation to NC

The AC classes are related to the NC classes, which are defined similarly, but with gates having only constant fanin. For each i, we have

${\displaystyle {\text{NC}}^i\subseteq {\text{AC}}^i\subseteq {\text{NC}}^{i+1}.}$

As an immediate consequence of this, we have that NC = AC.

It is known that inclusion is strict for i = 0.