TY - JOUR
T1 - Emptiness problems for integer circuits
AU - Barth, D.
AU - Beck, M.
AU - Dose, T.
AU - Glaßer, C.
AU - Michler, L.
AU - Technau, M.
PY - 2020
Y1 - 2020
N2 - 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 the following improvements and insights on problems studied in earlier papers. We improve the bounds for the membership problem MC(∪,∩,x‾,+,×) studied by McKenzie and Wagner 2007 and for the equivalence problem EQ(∪,∩,x‾,+,×) studied by Glaßer et al. 2010. Moreover, it turns out that the following problems are equivalent to PIT, which shows that the challenge to improve their bounds is just a reformulation of a well-studied, major open problem in algebraic computing complexity: • membership problem MC(∩,+,×) studied by McKenzie and Wagner 2007 • integer membership problems MC
Z(+,×), MC
Z(∩,+,×) studied by Travers 2006 • equivalence problem EQ(+,×) studied by Glaßer et al. 2010.
AB - 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 the following improvements and insights on problems studied in earlier papers. We improve the bounds for the membership problem MC(∪,∩,x‾,+,×) studied by McKenzie and Wagner 2007 and for the equivalence problem EQ(∪,∩,x‾,+,×) studied by Glaßer et al. 2010. Moreover, it turns out that the following problems are equivalent to PIT, which shows that the challenge to improve their bounds is just a reformulation of a well-studied, major open problem in algebraic computing complexity: • membership problem MC(∩,+,×) studied by McKenzie and Wagner 2007 • integer membership problems MC
Z(+,×), MC
Z(∩,+,×) studied by Travers 2006 • equivalence problem EQ(+,×) studied by Glaßer et al. 2010.
KW - Computational complexity
KW - Integer circuits
KW - Integer expressions
KW - Polynomial identity testing
UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-85083741322&partnerID=MN8TOARS
UR - http://www.scopus.com/inward/record.url?scp=85083741322&partnerID=8YFLogxK
U2 - 10.1016/j.tcs.2020.03.023
DO - 10.1016/j.tcs.2020.03.023
M3 - Article
SN - 1879-2294
JO - Theoretical Computer Science
JF - Theoretical Computer Science
ER -