# Complexity of Constraint Satisfaction Problems over Finite Subsets of Natural Numbers

```@article{Dose2016ComplexityOC,
title={Complexity of Constraint Satisfaction Problems over Finite Subsets of Natural Numbers},
author={Titus Dose},
journal={Electron. Colloquium Comput. Complex.},
year={2016},
volume={23},
pages={31}
}```
• Titus Dose
• Published 2016
• Mathematics, Computer Science
• Electron. Colloquium Comput. Complex.
We study the computational complexity of constraint satisfaction problems that are based on integer expressions and algebraic circuits. On input of a finite set of variables and a finite set of constraints the question is whether the variables can be mapped onto finite subsets of N (resp., finite intervals over N) such that all constraints are satisfied. According to the operations allowed in the constraints, the complexity varies over a wide range of complexity classes such as L, P, NP, PSPACE…
3 Citations
Balance Problems for Integer Circuits
• Titus Dose
• Mathematics, Computer Science
Electron. Colloquium Comput. Complex.
• 2018
The work shows that the balance problem for { ∖, ⋅ } -circuits is undecidable which is the first natural problem for integer circuits or related constraint satisfaction problems that admits only one arithmetic operation and is proven to be Undecidable.
Emptiness Problems for Integer Circuits
• Mathematics
MFCS
• 2017
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 major open problem in algebraic computing complexity.
Circuit satisfiability and constraint satisfaction around Skolem Arithmetic
• Mathematics, Computer Science
Theor. Comput. Sci.
• 2017

## References

SHOWING 1-10 OF 24 REFERENCES
Equivalence Problems for Circuits over Sets of Natural Numbers
• Mathematics, Computer Science
Theory of Computing Systems
• 2008
This work gives a systematic characterization of the complexity of equivalence problems over sets of natural numbers and provides an improved upper bound for the case of {∪,∩,−,+,×}-circuits.
Satisfiability of algebraic circuits over sets of natural numbers
• Mathematics, Computer Science
Discret. Appl. Math.
• 2007
On the Computational Completeness of Equations over Sets of Natural Numbers
• Mathematics
ICALP
• 2008
Systems of equations of the form φ j (X 1 , ..., X n ) = i¾? j (X 1 , ..., X n ) with \$1 \leqslant j \leqslant m\$ are considered, in which the unknowns X i are sets of natural numbers, while the
Constraint Satisfaction Problems around Skolem Arithmetic
• Mathematics, Computer Science
ArXiv
• 2015
This work studies interactions between Skolem Arithmetic and certain classes of Constraint Satisfaction Problems (CSPs) and proves the decidability of SkoleM Arithmetic.
Generation problems
• Mathematics, Computer Science
Theor. Comput. Sci.
• 2004
On equations over sets of integers
• Mathematics
STACS
• 2010
The class of sets representable by unique solutions of equations using the operations of union and addition using ultimately periodic constants is exactly the class of hyper-arithmetical sets.
Word problems requiring exponential time(Preliminary Report)
• Computer Science, Mathematics
STOC
• 1973
A number of similar decidable word problems from automata theory and logic whose inherent computational complexity can be precisely characterized in terms of time or space requirements on deterministic or nondeterministic Turing machines are considered.
Univariate Equations Over Sets of Natural Numbers
• Mathematics
Fundam. Informaticae
• 2010
It is shown that equations of the form p(X) = ψ(X), in which the unknown X is a set of natural numbers and p, ψ use the operations of union, intersection and addition of sets S + T = {m + n |, m ∈ S,
The Computational Structure of Monotone Monadic SNP and Constraint Satisfaction: A Study through Datalog and Group Theory
• Mathematics
SIAM J. Comput.
• 1998
This paper isolates a class (of problems specified by) "monotone monadic SNP without inequality" which may exhibit a dichotomy, and explains the placing of all these restrictions by showing, essentially using Ladner's theorem, that classes obtained by using only two of the above three restrictions do not show this dichotomy.
A Compendium of Problems Complete for P
• Computer Science
• 1991
A compilation of the known P-complete problems, including several unpublished or new P-completeness results, and many open problems is presented, mainly containing the problem list.