We gratefully acknowledge support from
the Simons Foundation and member institutions.

Computational Complexity

New submissions

[ total of 3 entries: 1-3 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Wed, 29 Mar 23

[1]  arXiv:2303.15556 [pdf, other]
Title: Complexity of Reconfiguration in Surface Chemical Reaction Networks
Subjects: Computational Complexity (cs.CC)

We analyze the computational complexity of basic reconfiguration problems for the recently introduced surface Chemical Reaction Networks (sCRNs), where ordered pairs of adjacent species nondeterministically transform into a different ordered pair of species according to a predefined set of allowed transition rules (chemical reactions). In particular, two questions that are fundamental to the simulation of sCRNs are whether a given configuration of molecules can ever transform into another given configuration, and whether a given cell can ever contain a given species, given a set of transition rules. We show that these problems can be solved in polynomial time, are NP-complete, or are PSPACE-complete in a variety of different settings, including when adjacent species just swap instead of arbitrary transformation (swap sCRNs), and when cells can change species a limited number of times (k-burnout). Most problems turn out to be at least NP-hard except with very few distinct species (2 or 3).

Replacements for Wed, 29 Mar 23

[2]  arXiv:1912.08277 (replaced) [pdf, other]
Title: Testing Membership for Timed Automata
Comments: 26 pages
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)
[3]  arXiv:2303.14405 (replaced) [pdf, ps, other]
Title: On the Efficiency of An Election Game of Two or More Parties: How Bad Can It Be?
Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC)
[ total of 3 entries: 1-3 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, recent, 2303, contact, help  (Access key information)