Computational Complexity

New submissions

• New submissions
• Replacements

New submissions for Wed, 29 Mar 23

[1]  arXiv:2303.15556 [pdf, other]

Title: Complexity of Reconfiguration in Surface Chemical Reaction Networks

Authors: Robert M. Alaniz, Josh Brunner, Michael Coulombe, Erik D. Demaine, Yevhenii Diomidov, Ryan Knobel, Timothy Gomez, Elise Grizzell, Jayson Lynch, Andrew Rodriguez, Robert Schweller, Tim Wylie

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

Authors: Richard Lassaigne, Michel de Rougemont

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?

Authors: Chuang-Chieh Lin, Chi-Jen Lu, Po-An Chen

Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC)

• New submissions
• Replacements