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

Computational Complexity

Authors and titles for recent submissions

[ total of 20 entries: 1-11 | 12-20 ]
[ showing 11 entries per page: fewer | more | all ]

Fri, 23 Sep 2022

[1]  arXiv:2209.11202 [pdf]
Title: Solving the General Case of Rank-3 Maker-Breaker Games in Polynomial Time
Authors: Lear Bahack
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[2]  arXiv:2209.11216 (cross-list from math.PR) [pdf, ps, other]
Title: Hyperstable Sets with Voting and Algorithmic Hardness Applications
Authors: Steven Heilman
Comments: 33 pages. arXiv admin note: substantial text overlap with arXiv:2011.05583
Subjects: Probability (math.PR); Computational Complexity (cs.CC); Differential Geometry (math.DG)
[3]  arXiv:2209.11177 (cross-list from cs.DB) [pdf, other]
Title: Uniform Reliability for Unbounded Homomorphism-Closed Graph Queries
Authors: Antoine Amarilli
Comments: 41 pages. Submitted
Subjects: Databases (cs.DB); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

Thu, 22 Sep 2022

[4]  arXiv:2209.10509 [pdf, ps, other]
Title: Downward Self-Reducibility in TFNP
Comments: 16 pages, 2 figures
Subjects: Computational Complexity (cs.CC)
[5]  arXiv:2209.10398 [pdf, ps, other]
Title: BQP is not in NP
Authors: Jonah Librande
Comments: 8 pages
Subjects: Computational Complexity (cs.CC); Quantum Physics (quant-ph)
[6]  arXiv:2209.10324 [pdf, other]
Title: Characterizing the Decidability of Finite State Automata Team Games with Communication
Authors: Michael Coulombe (Massachusetts Institute of Technology), Jayson Lynch (Cheriton School of Computer Science, University of Waterloo)
Comments: In Proceedings GandALF 2022, arXiv:2209.09333
Journal-ref: EPTCS 370, 2022, pp. 213-228
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[7]  arXiv:2209.10312 (cross-list from cs.FL) [pdf, other]
Title: Schema-Based Automata Determinization
Authors: Joachim Niehren (Inria, Université de Lille, France), Momar Sakho (Inria, Université de Lille, France), Antonio Al Serhali (Inria, Université de Lille, France)
Comments: In Proceedings GandALF 2022, arXiv:2209.09333
Journal-ref: EPTCS 370, 2022, pp. 49-65
Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC)
[8]  arXiv:2209.10311 (cross-list from cs.LO) [pdf, other]
Title: Capturing Bisimulation-Invariant Exponential-Time Complexity Classes
Authors: Florian Bruse (University of Kassel, Kassel, Germany), David Kronenberger (University of Kassel, Kassel, Germany), Martin Lange (University of Kassel, Kassel, Germany)
Comments: In Proceedings GandALF 2022, arXiv:2209.09333
Journal-ref: EPTCS 370, 2022, pp. 17-33
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

Wed, 21 Sep 2022

[9]  arXiv:2209.09788 [pdf, other]
Title: VEST is W[2]-hard
Authors: Michael Skotnica
Comments: 5 pages, 2 figures
Subjects: Computational Complexity (cs.CC)
[10]  arXiv:2209.09527 [pdf, ps, other]
Title: Intrinsic Simulations and Universality in Automata Networks
Comments: arXiv admin note: substantial text overlap with arXiv:2105.08356
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Dynamical Systems (math.DS)

Tue, 20 Sep 2022 (showing first 1 of 6 entries)

[11]  arXiv:2209.09121 [pdf, ps, other]
Title: How do humans succeed in tasks like proving Fermat's Theorem or predicting the Higgs boson?
Authors: Leonid A. Levin
Comments: 4 pages
Subjects: Computational Complexity (cs.CC)
[ total of 20 entries: 1-11 | 12-20 ]
[ showing 11 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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