We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.FL
< prev | next >
new | recent | 2005

Change to browse by:

cs
cs.CC

References & Citations

DBLP - CS Bibliography

listing | bibtex

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Computer Science > Formal Languages and Automata Theory

Title: Computational Complexity of Synchronization under Regular Commutative Constraints

Authors: Stefan Hoffmann
(Submitted on 8 May 2020 (v1), last revised 2 Sep 2020 (this version, v2))
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.
Comments: Published in COCOON 2020 (The 26th International Computing and Combinatorics Conference); 2nd version is update of the published version and 1st version; both contain a minor error, the assumption of maximality in the NP-c and PSPACE-c results (propositions 5 & 6) is missing, and of incomparability of the vectors in main theorem; fixed in this version. See (new) discussion after main theorem
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)
MSC classes: 68Q45 (Primary) 68Q19 (Secondary)
ACM classes: F.4.3; F.1.3
Journal reference: Computing and Combinatorics, 26th International Conference, COCOON 2020, Proceedings, pages 460-471
DOI: 10.1007/978-3-030-58150-3_37
Cite as: arXiv:2005.04042 [cs.FL]
  (or arXiv:2005.04042v2 [cs.FL] for this version)

Submission history

From: Stefan Hoffmann [view email]
[v1] Fri, 8 May 2020 13:43:23 GMT (63kb)
[v2] Wed, 2 Sep 2020 20:12:21 GMT (248kb)
Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)

Link back to: arXiv, form interface, contact.