Talk:NC (complexity)

NC0?
Should this page mention NC0, too? The page AC0 has a red link NC0; one way to fix it would be to redirect NC0 to NC and write something about NC0 here. The current description in the section "The NC Hierarchy" is actually somewhat misleading, as it suggests that the hierarchy begins from NC1, even though NC0 exists, in the sense that it has a well-defined meaning and it has been used in literature. For the definition of NC0 and further references, see. (However, please note that explaining NC0 is slightly non-trivial: while NCi for i > 0 usually refers to decision problems, NC0 usually refers to functions. Therefore adding NC0 here might add confusion, and a short page devoted to NC0 might be a better solution.) — Miym (talk) 23:16, 10 December 2008 (UTC)

Barrington's theorem
Needs to be changed: The modelling of branching programs is highly unclear. E.g. what constitutes a state? It contains wrong claims: Every language on 0,1 can be decided (or I do not understand the term language on 0,1) — Preceding unsigned comment added by 163.1.88.5 (talk) 15:00, 16 July 2012 (UTC)
 * I changed “decided” to “recognized”, since recognizability by a nonuniform family of branching programs does not imply decidability.—Emil J. 14:46, 17 July 2012 (UTC)