Emptiness Problems for Integer Circuits

  title={Emptiness Problems for Integer Circuits},
  author={Dominik Barth and Moritz Beck and Titus Dose and Christian Gla\sser and Larissa Michler and Marc Technau},
  journal={Electronic Colloquium on Computational Complexity (ECCC)},
We study the computational complexity of emptiness problems for circuits over sets of natural numbers with the operations union, intersection, complement, addition, and multiplication. For most settings of allowed operations we precisely characterize the complexity in terms of completeness for classes like NL, NP, and PSPACE. The case where intersection, addition, and multiplication is allowed turns out to be equivalent to the complement of polynomial identity testing (PIT). Our results imply… CONTINUE READING


Publications citing this paper.


Publications referenced by this paper.
Showing 1-10 of 30 references

Emptiness problems for integer circuits

  • D. Barth, M. Beck, T. Dose, C. Glaßer, L. Michler, M. Technau
  • Technical Report 17-012,
  • 2017

Arithmetic circuits: A survey of recent results and open questions

  • A. Shpilka, A. Yehudayoff
  • Foundations and Trends in Theoretical Computer…
  • 2010

Similar Papers

Loading similar papers…