The Complexity of Membership Problems for Circuits Over Sets of Natural Numbers

@article{McKenzie2007TheCO,
  title={The Complexity of Membership Problems for Circuits Over Sets of Natural Numbers},
  author={P. McKenzie and K. Wagner},
  journal={computational complexity},
  year={2007},
  volume={16},
  pages={211-244}
}
Abstract.The problem of testing membership in the subset of the natural numbers produced at the output gate of a {$$\bigcup, \bigcap, ^-, +, \times$$} combinational circuit is shown to capture a wide range of complexity classes. Although the general problem remains open, the case {$$\bigcup, \bigcap, +, \times$$} is shown NEXPTIME-complete, the cases {$$\bigcup, \bigcap, ^-, \times$$ }, {$$\bigcup, \bigcap, \times$$}, {$$\bigcup, \bigcap, +$$} are shown PSPACE-complete, the case {$$\bigcup… Expand
Equations over Sets of Natural Numbers with Addition Only
The complexity of membership problems for circuits over sets of integers
Representing Hyper-arithmetical Sets by Equations over Sets of Integers
On equations over sets of integers
Emptiness Problems for Integer Circuits
Emptiness problems for integer circuits
Satisfiability of Algebraic Circuits over Sets of Natural Numbers
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 49 REFERENCES
Finite Moniods: From Word to Circuit Evaluation
The monotone and planar circuit value problems are log space complete for P
Parallel Algorithms for Algebraic Problems
  • J. Gathen
  • Mathematics, Computer Science
  • SIAM J. Comput.
  • 1984
Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs
An Optimal Parallel Algorithm for Formula Evaluation
Isolation, Matching, and Counting Uniform and Nonuniform Upper Bounds
Integer circuit evaluation is PSPACE-complete
  • Ke Yang
  • Mathematics, Computer Science
  • Proceedings 15th Annual IEEE Conference on Computational Complexity
  • 2000
Uniform constant-depth threshold circuits for division and iterated multiplication
Computing Algebraic Formulas Using a Constant Number of Registers
...
1
2
3
4
5
...