Complexity of Equations over Sets of Natural Numbers

  title={Complexity of Equations over Sets of Natural Numbers},
  author={Artur Jeż and Alexander Okhotin},
  journal={Theory of Computing Systems},
AbstractSystems of equations of the form Xi=φi(X1,…,Xn) (1≤i≤n) are considered, in which the unknowns are sets of natural numbers. Expressions φi may contain the operations of union, intersection and elementwise addition $S+T=\{m+n\mid m\in S$ , n∈T}. A system with an EXPTIME-complete least solution is constructed in the paper through a complete arithmetization of EXPTIME-completeness. At the same time, it is established that least solutions of all such systems are in EXPTIME. The general… 

Least and greatest solutions of equations over sets of integers

Representing Hyper-arithmetical Sets by Equations over Sets of Integers

The results settle the expressive power of the most general types of language equations, as well as equations over subsets of free groups, over sets of natural numbers equipped with union, addition and subtraction.

On language equations with concatenation and various sets of Boolean operations

  • A. Okhotin
  • Computer Science
    RAIRO Theor. Informatics Appl.
  • 2015
It is determined that different sets of Boolean operations give rise to exactly seven families of formal languages: the recursive languages, the conjunctive languages, a certain family incomparable with the context-free languages, as well as three subregular families.

Complexity of Constraint Satisfaction Problems over Finite Subsets of Natural Numbers

  • Titus Dose
  • Mathematics, Computer Science
    Electron. Colloquium Comput. Complex.
  • 2016
The computational complexity of constraint satisfaction problems that are based on integer expressions and algebraic circuits, such as L, P, NP, PSPACE, NEXP, and even Sigma_1, the class of c.e. languages, is studied.

Formal Languages over GF(2)

Variants of the union and concatenation operations on formal languages are investigated, in which Boolean logic in the definitions is replaced with the operations in the two-element field GF(2) (conjunction and exclusive OR), and a new class of formal grammars based on GF( 2)-operations is defined.

One-Nonterminal Conjunctive Grammars over a Unary Alphabet

The compressed membership problem for one-nonterminal conjunctive grammars over {a} is proved to be EXPTIME-complete; the same problem for the context-free grammar is decidable in NLOGSPACE, but becomes NP-complete if the grammar is compressed as well.

Expressive power of LL(k) Boolean grammars



Decision problems for language equations

Equivalence Problems for Circuits over Sets of Natural Numbers

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.

The Complexity of Membership Problems for Circuits over Sets of Positive Numbers

It is shown that the membership problem for the general case and for (∪∩,+,×) is PSPACE-complete, whereas it is NEXPTIME-hard if one allows 0, and several other cases are resolved.

Unresolved systems of language equations: Expressive power and decision problems

The Complexity of Membership Problems for Circuits over Sets of Integers

Integer circuit evaluation is PSPACE-complete

  • Ke Yang
  • Mathematics
    Proceedings 15th Annual IEEE Conference on Computational Complexity
  • 2000
The integer circuit problem is PSPACE-complete, resolving an open problem posed by P. McKenzie, H. Vollmer, and K. W. Wagner (2000).

Word Problems and Membership Problems on Compressed Words

A fixed deterministic context-free language with a PSPACE-complete compressed membership problem for finitely presented monoids and completeness results for complexity classes in the range from P to EXPSPACE are obtained.

Conjunctive Grammars over a Unary Alphabet: Undecidability and Unbounded Growth

The results imply undecidability of a number of decision problems of unary conjunctive grammars, as well as non-existence of a recursive function bounding the growth rate of the generated languages.

Conjunctive Grammars Can Generate Non-regular Unary Languages

  • Artur Jeż
  • Linguistics
    Developments in Language Theory
  • 2007
A negative answer is given, contrary to the conjectured positive one, by constructing a conjunctive grammar for the language \(\{ a^{4^{n}} : n \in \mathbb{N} \}\).

On the recognition of context-free languages

  • W. Rytter
  • Computer Science
    Symposium on Computation Theory
  • 1984
The first result states that cfl's can be recognized on a cube-connected computer or on a perfect-shuffle computer in log2n time using n6 processors and it can be viewed as an application of parallel algorithms to the design of efficient sequential algorithms.