Computational Complexity

Authors and titles for recent submissions

• Fri, 29 Aug 2025
• Thu, 28 Aug 2025
• Wed, 27 Aug 2025
• Tue, 26 Aug 2025
• Mon, 25 Aug 2025

See today's new changes

Fri, 29 Aug 2025 (showing 2 of 2 entries )

[1] arXiv:2508.21020 (cross-list from quant-ph) [pdf, html, other]

Title: QIP $ \subseteq $ AM(2QCFA)

Abuzer Yakaryılmaz

Comments: 15 pages

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)

[2] arXiv:2508.20785 (cross-list from cs.DS) [pdf, html, other]

Title: Sharp Online Hardness for Large Balanced Independent Sets

Abhishek Dhawan, Eren C. Kızıldağ, Neeladri Maitra

Comments: 31 pages; abstract shortened due to arxiv restrictions

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO); Probability (math.PR)

Thu, 28 Aug 2025 (showing 4 of 4 entries )

[3] arXiv:2508.19794 [pdf, html, other]

Title: Parameterised Counting Constraint Satisfaction Problems via Holants on Hypergraphs

Panagiotis Aivasiliotis, Andreas Göbel, Marc Roth

Subjects: Computational Complexity (cs.CC)

[4] arXiv:2508.19759 [pdf, other]

Title: Pushing Blocks without Fixed Blocks via Checkable Gizmos: Push-1 is PSPACE-Complete

MIT Hardness Group: Josh Brunner, Lily Chung, Erik D. Demaine, Jenny Diomidova, Della Hendrickson, Jayson Lynch

Comments: 31 pages, 20 figures

Subjects: Computational Complexity (cs.CC)

[5] arXiv:2508.19392 [pdf, html, other]

Title: Towards New Characterizations of Small Circuit Classes via Discrete Ordinary Differential Equations

Melissa Antonelli, Arnaud Durand, Juha Kontinen

Comments: 34 pages

Subjects: Computational Complexity (cs.CC)

[6] arXiv:2508.19158 [pdf, html, other]

Title: Pointer Chasing with Unlimited Interaction

Orr Fischer, Rotem Oshman, Adi Rosen, Tal Roth

Comments: SIROCCO 2025

Subjects: Computational Complexity (cs.CC)

Wed, 27 Aug 2025 (showing 2 of 2 entries )

[7] arXiv:2508.18526 (cross-list from cs.LG) [pdf, other]

Title: Quantifying The Limits of AI Reasoning: Systematic Neural Network Representations of Algorithms

Anastasis Kratsios, Dennis Zvigelsky, Bradd Hart

Comments: 18 pages main body, 45 pages total + references

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Neural and Evolutionary Computing (cs.NE); Numerical Analysis (math.NA)

[8] arXiv:2508.18104 [pdf, html, other]

Title: On the Parameterized Complexity of Grundy Domination and Zero Forcing Problems

Robert Scheffler

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)

Tue, 26 Aug 2025 (showing 3 of 3 entries )

[9] arXiv:2508.17602 [pdf, html, other]

Title: Push-1 is PSPACE-complete, and the automated verification of motion planning gadgets

Zachary DeStefano, Bufang Liang

Comments: 17 pages, 14 figures, preprint

Subjects: Computational Complexity (cs.CC); Computational Geometry (cs.CG)

[10] arXiv:2508.18162 (cross-list from cs.LO) [pdf, html, other]

Title: The Computational Complexity of Satisfiability in State Space Models

Eric Alsmann, Martin Lange

Comments: Accepted at ECAI 25

Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Machine Learning (cs.LG)

[11] arXiv:2508.16014 [pdf, other]

Title: Prover-Adversary games for systems over (non-deterministic) branching programs

Anupam Das, Avgerinos Delkos

Comments: 34 pages, 8 figures

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)

Mon, 25 Aug 2025 (showing 2 of 3 entries )

[12] arXiv:2508.16389 (cross-list from cs.DS) [pdf, html, other]

Title: Going Beyond Twin-width? CSPs with Unbounded Domain and Few Variables

Peter Jonsson, Victor Lagerkvist, Jorke M. de Vlas, Magnus Wahlström

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)

[13] arXiv:2508.16308 (cross-list from cs.DC) [pdf, html, other]

Title: Generalizing Brooks' theorem via Partial Coloring is Hard Classically and Locally

Jan Bok, Avinandan Das, Anna Gujgiczer, Nikola Jedličková

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)