Arithmetizing classes around {\textsf{NC}}^1 and {\textsf{L}}

DOI10.1007/S00224-009-9233-3zbMATH Open1204.68098OpenAlexW2091721024MaRDI QIDQ968272FDOQ968272

Authors: Nutan Limaye, Meena Mahajan, B. V. Raghavendra Rao 

Publication date: 5 May 2010

Published in: Theory of Computing Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00224-009-9233-3

Recommendations

• Arithmetizing Classes Around NC 1 and L
• Counting classes and the fine structure between {\textsf{NC}}\(^{1}\) and {\textsf{L}}
• Counting classes and the fine structure between \(\mathrm{NC}^1\) and \(L\)
• Counting paths in VPA is complete for \#NC\(^{1}\)
• scientific article; zbMATH DE number 4041256

zbMATH Keywords

branching programsarithmetizationbounded-width circuitscircuit degree

Mathematics Subject Classification ID

Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)

Cites Work

• Nondeterministic \(NC^1\) computation
• On \(\text{TC}^0,\text{AC}^0\), and arithmetic circuits
• Visibly pushdown languages
• Title not available (Why is that?)
• Boolean circuits versus arithmetic circuits
• Bounded-width polynomial-size branching programs recognize exactly those languages in \(NC^ 1\)
• Title not available (Why is that?)
• Complexity theory of parallel time and hardware
• An Optimal Parallel Algorithm for Formula Evaluation
• Bounded-width polynomial-size Boolean formulas compute exactly those functions in AC\(^ 0\)
• Arithmetizing Classes Around NC 1 and L
• Division in logspace-uniform NC
• Title not available (Why is that?)
• Title not available (Why is that?)
• Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
• \(\text{RL}\subseteq \text{SC}\)
• Properties that characterize LOGCFL
• Non-commutative arithmetic circuits: depth reduction and size lower bounds
• On the Complexity of Membership and Counting in Height-Deterministic Pushdown Automata
• On the Tape Complexity of Deterministic Context-Free Languages
• Automata, Languages and Programming
• Title not available (Why is that?)
• Tree-size bounded alternation
• Two Applications of Inductive Counting for Complementation Problems
• Unambiguous auxiliary pushdown automata and semi-unbounded fan-in circuits
• The division breakthroughs

Cited In (7)

• Arithmetizing uniform \(NC\)
• Counting paths in VPA is complete for \#NC\(^{1}\)
• Counting paths in VPA is complete for \(\#\mathrm{NC}^1\)
• Arithmetizing Classes Around NC 1 and L
• Counting classes and the fine structure between \(\mathrm{NC}^1\) and \(L\)
• Counting classes and the fine structure between {\textsf{NC}}\(^{1}\) and {\textsf{L}}
• Log-space algorithms for paths and matchings in \(k\)-trees

This page was built for publication: Arithmetizing classes around {\textsf{NC}}\(^{1}\) and {\textsf{L}}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q968272)