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

Computational Complexity

Authors and titles for recent submissions, skipping first 2

[ total of 23 entries: 1-11 | 3-13 | 14-23 ]
[ showing 11 entries per page: fewer | more | all ]

Wed, 24 Apr 2024 (continued, showing last 4 of 6 entries)

[3]  arXiv:2404.15053 (cross-list from math.AG) [pdf, ps, other]
Title: Positive Moments Forever: Undecidable and Decidable Cases
Comments: 17 pages
Subjects: Algebraic Geometry (math.AG); Computational Complexity (cs.CC); Quantum Physics (quant-ph)
[4]  arXiv:2404.14994 (cross-list from cs.CL) [pdf, other]
Title: Transformers Can Represent $n$-gram Language Models
Subjects: Computation and Language (cs.CL); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Machine Learning (cs.LG)
[5]  arXiv:2404.14849 (cross-list from cs.DS) [pdf, other]
Title: Parameterized Maximum Node-Disjoint Paths
Comments: 24 pages, 5 figures, Abstract shortened to meet arXiv's requirements
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[6]  arXiv:2404.14730 (cross-list from cs.DS) [pdf, other]
Title: It's Hard to HAC with Average Linkage!
Comments: To appear at ICALP 2024
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC)

Tue, 23 Apr 2024

[7]  arXiv:2404.14245 [pdf, other]
Title: Functional Closure Properties of Finite $\mathbb{N}$-weighted Automata
Comments: Short version to be published at ICALP 2024
Subjects: Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)
[8]  arXiv:2404.13820 [pdf, other]
Title: Prove Symbolic Regression is NP-hard by Symbol Graph
Subjects: Computational Complexity (cs.CC); Neural and Evolutionary Computing (cs.NE)
[9]  arXiv:2404.13254 [pdf, other]
Title: Unambiguous and Co-Nondeterministic Computations of Finite Automata and Pushdown Automata Families and the Effects of Multiple Counters
Comments: (A4, 10pt, 12 pages) A conference version of this paper will appear in the Proceedings of TAMC 2024
Subjects: Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)
[10]  arXiv:2404.13186 (cross-list from quant-ph) [pdf, other]
Title: Quantum Advantage and CSP Complexity
Authors: Lorenzo Ciardo
Comments: To appear in the Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'24)
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Combinatorics (math.CO)

Fri, 19 Apr 2024

[11]  arXiv:2404.11709 [pdf, ps, other]
Title: Satisfiability of commutative vs. non-commutative CSPs
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)
[12]  arXiv:2404.11841 (cross-list from cs.LO) [pdf, ps, other]
Title: On the Unprovability of Circuit Size Bounds in Intuitionistic $\mathsf{S}^1_2$
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)

Thu, 18 Apr 2024 (showing first 1 of 7 entries)

[13]  arXiv:2404.10961 [pdf, ps, other]
Title: Chernoff Bounds and Reverse Hypercontractivity on HDX
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[ total of 23 entries: 1-11 | 3-13 | 14-23 ]
[ showing 11 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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