Computational Complexity of Synchronization under Regular Commutative Constraints
Abstract
Here we study the computational complexity of the constrained synchronization problem for the class of regular commutative constraint languages. Utilizing a vector representation of regular commutative constraint languages, we give a full classification of the computational complexity of the constraint synchronization problem. Depending on the constraint language, our problem becomes PSPACE-complete, NP-complete or polynomial time solvable. In addition, we derive a polynomial time decision procedure for the complexity of the constraint synchronization problem, given some constraint automaton accepting a commutative language as input.
- Publication:
-
arXiv e-prints
- Pub Date:
- May 2020
- DOI:
- 10.48550/arXiv.2005.04042
- arXiv:
- arXiv:2005.04042
- Bibcode:
- 2020arXiv200504042H
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- Computer Science - Computational Complexity;
- 68Q45 (Primary) 68Q19 (Secondary);
- F.4.3;
- F.1.3
- E-Print:
- Published in COCOON 2020 (The 26th International Computing and Combinatorics Conference)