Skip to main content
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate

Computational Complexity

Authors and titles for recent submissions

See today's new changes

Total of 29 entries
Showing up to 50 entries per page: fewer | more | all

Tue, 8 Apr 2025 (showing 11 of 11 entries )

[1] arXiv:2504.04984 [pdf, html, other]
Title: Finding large $k$-colorable induced subgraphs in (bull, chair)-free and (bull,E)-free graphs
Subjects: Computational Complexity (cs.CC)
[2] arXiv:2504.04639 [pdf, html, other]
Title: Ineffectiveness for Search and Undecidability of PCSP Meta-Problems
Subjects: Computational Complexity (cs.CC); Computation and Language (cs.CL); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)
[3] arXiv:2504.04416 [pdf, html, other]
Title: Meta-Mathematics of Computational Complexity Theory
Comments: SIGACT News Complexity Theory Column 124
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)
[4] arXiv:2504.04133 [pdf, html, other]
Title: The Probability Spaces of QuickSort
Subjects: Computational Complexity (cs.CC); Probability (math.PR)
[5] arXiv:2504.05191 (cross-list from cs.DC) [pdf, other]
Title: Distributed Quantum Advantage in Locally Checkable Labeling Problems
Comments: 51 pages, 14 figures
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC); Quantum Physics (quant-ph)
[6] arXiv:2504.05012 (cross-list from math.DS) [pdf, html, other]
Title: Descriptive Complexity of Sensitivity of Cellular Automata
Comments: 16 pages, 4 figures
Subjects: Dynamical Systems (math.DS); Computational Complexity (cs.CC); Logic (math.LO)
[7] arXiv:2504.04897 (cross-list from math.CO) [pdf, html, other]
Title: The Minimum Eternal Vertex Cover Problem on a Subclass of Series-Parallel Graphs
Comments: Soon to be submitted to a conference. Any constructive comment is welcome
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
[8] arXiv:2504.04847 (cross-list from cs.LG) [pdf, html, other]
Title: Nonlocal techniques for the analysis of deep ReLU neural network approximations
Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Numerical Analysis (math.NA)
[9] arXiv:2504.04757 (cross-list from cs.DS) [pdf, html, other]
Title: The Complexity of Maximal Common Subsequence Enumeration
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[10] arXiv:2504.04702 (cross-list from cs.LG) [pdf, html, other]
Title: Provable Failure of Language Models in Learning Majority Boolean Logic via Gradient Descent
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)
[11] arXiv:2504.03930 (cross-list from cs.AI) [pdf, html, other]
Title: Have Large Language Models Learned to Reason? A Characterization via 3-SAT Phase Transition
Comments: An updated version of arXiv:2408.07215v2, featuring: (1) inclusion of recent LRMs and recent LLMs, (2) revised conclusions reflecting recent developments, and (3) updated analysis
Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Machine Learning (cs.LG)

Mon, 7 Apr 2025 (showing 6 of 6 entries )

[12] arXiv:2504.03591 [pdf, html, other]
Title: A Lower Bound on Conservative Elementary Object Systems Coverability
Francesco Di Cosmo (Free University of Bozen-Bolzano), Soumodev Mal (Chennai Mathematical Institute), Tephilla Prince (IIT Dharwad)
Comments: 8 pages, 1 figure, part of a submission to a journal
Subjects: Computational Complexity (cs.CC)
[13] arXiv:2504.03620 (cross-list from quant-ph) [pdf, html, other]
Title: Quantum Search with In-Place Queries
Comments: 31 pages, 3 figures
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[14] arXiv:2504.03605 (cross-list from cs.DM) [pdf, html, other]
Title: Constant Rate Isometric Embeddings of Hamming Metric into Edit Metric
Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Information Theory (cs.IT); Combinatorics (math.CO)
[15] arXiv:2504.03523 (cross-list from cs.LO) [pdf, html, other]
Title: Undefinability of Approximation of 2-to-2 Games
Comments: 25 pages. Full version of a paper that appeared in CSL 2025
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC)
[16] arXiv:2504.03320 (cross-list from cs.LO) [pdf, html, other]
Title: On the consistency of stronger lower bounds for NEXP
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Logic (math.LO)
[17] arXiv:2504.03004 (cross-list from math.CO) [pdf, html, other]
Title: Vanishing of Schubert coefficients is in ${\sf AM}\cap {\sf coAM}$ assuming the GRH
Comments: 19 pages
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Algebraic Geometry (math.AG)

Fri, 4 Apr 2025 (showing 5 of 5 entries )

[18] arXiv:2504.02695 [pdf, html, other]
Title: Mind the Gap? Not for SVP Hardness under ETH!
Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Data Structures and Algorithms (cs.DS)
[19] arXiv:2504.02387 [pdf, html, other]
Title: Sublinear Time Algorithms for Abelian Group Isomorphism and Basis Construction
Subjects: Computational Complexity (cs.CC)
[20] arXiv:2504.02785 (cross-list from quant-ph) [pdf, html, other]
Title: Beating full state tomography for unentangled spectrum estimation
Comments: 53 pages, 3 figures
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[21] arXiv:2504.02369 (cross-list from cs.DS) [pdf, html, other]
Title: Finding Diverse Solutions in Combinatorial Problems with a Distributive Lattice Structure
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[22] arXiv:2504.02115 (cross-list from quant-ph) [pdf, other]
Title: Quantum algorithms through graph composition
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

Thu, 3 Apr 2025 (showing 5 of 5 entries )

[23] arXiv:2504.01899 [pdf, html, other]
Title: Recovery Reductions in the Random Noise Model via Group Theory: Insights into NP-Complete and Fine-Grained Problems
Comments: 37 pages
Subjects: Computational Complexity (cs.CC)
[24] arXiv:2504.01856 [pdf, html, other]
Title: Lower Bounds for Leader Election and Collective Coin Flipping, Revisited
Comments: 28 pages
Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Distributed, Parallel, and Cluster Computing (cs.DC)
[25] arXiv:2504.01354 [pdf, html, other]
Title: Dichotomies for \#CSP on graphs that forbid a clique as a minor
Subjects: Computational Complexity (cs.CC)
[26] arXiv:2504.01802 (cross-list from cs.DS) [pdf, other]
Title: Distributed Triangle Detection is Hard in Few Rounds
Comments: 66 pages, 7 figures
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC)
[27] arXiv:2504.01733 (cross-list from cs.AI) [pdf, html, other]
Title: Epistemic Skills: Reasoning about Knowledge and Oblivion
Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

Wed, 2 Apr 2025 (showing 2 of 2 entries )

[28] arXiv:2504.00346 [pdf, html, other]
Title: Improved Round-by-round Soundness IOPs via Reed-Muller Codes
Comments: 102 pages
Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR)
[29] arXiv:2504.00318 [pdf, other]
Title: SAT problem and Limit of Solomonoff's inductive reasoning theory
Comments: 19 pages
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
Total of 29 entries
Showing up to 50 entries per page: fewer | more | all

AltStyle によって変換されたページ (->オリジナル) /