Computational Complexity

Authors and titles for February 2024

[51] arXiv:2402.05559 (cross-list from cs.SE) [pdf, other]

Title: Automatizing Software Cognitive Complexity Reduction through Integer Linear Programming

Rubén Saborido, Javier Ferrer, Francisco Chicano

Subjects: Software Engineering (cs.SE); Computational Complexity (cs.CC)

[52] arXiv:2402.06294 (cross-list from cs.DM) [pdf, other]

Title: Complexity of Boolean automata networks under block-parallel update modes

Kévin Perrot, Sylvain Sené, Léah Tapin

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC)

[53] arXiv:2402.06803 (cross-list from cs.DM) [pdf, html, other]

Title: On graphs with well-distributed edge density

Syed Mujtaba Hassan, Shahid Hussain

Comments: 12 pages, 2 figures

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Combinatorics (math.CO)

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

Title: The I/O Complexity of Attention, or How Optimal is Flash Attention?

Barna Saha, Christopher Ye

Comments: 24 pages, 3 figures

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Information Theory (cs.IT)

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

Title: Expansion of higher-dimensional cubical complexes with application to quantum locally testable codes

Irit Dinur, Ting-Chun Lin, Thomas Vidick

Comments: Stronger result: constant degree complexes and without product-expansion conjecture

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Information Theory (cs.IT)

[56] arXiv:2402.07821 (cross-list from cs.LG) [pdf, html, other]

Title: On Computationally Efficient Multi-Class Calibration

Parikshit Gopalan, Lunjia Hu, Guy N. Rothblum

Comments: In COLT 2024

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Statistics Theory (math.ST); Machine Learning (stat.ML)

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

Title: Computational complexity of isometric tensor network states

Daniel Malz, Rahul Trivedi

Comments: Comments welcome!

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

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

Title: Tight (Double) Exponential Bounds for Identification Problems: Locating-Dominating Set and Test Cover

Dipayan Chakraborty, Florent Foucaud, Diptapriyo Majumdar, Prafullkumar Tale

Comments: Accepted to appear in proceedings of ISAAC-2024. Abstract shortened due to character limits

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

[59] arXiv:2402.08484 (cross-list from cs.GT) [pdf, other]

Title: The Computational Complexity of the Housing Market

Edwin Lock, Zephyr Qiu, Alexander Teytelboym

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

[60] arXiv:2402.08830 (cross-list from cs.DS) [pdf, other]

Title: Sequence graphs realizations and ambiguity in language models

Sammy Khalife, Yann Ponty, Laurent Bulteau

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

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

Title: An Algorithmic Meta Theorem for Homomorphism Indistinguishability

Tim Seppelt

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO)

[62] arXiv:2402.09914 (cross-list from math.SG) [pdf, html, other]

Title: Computing the EHZ capacity is NP-hard

Karla Leipold, Frank Vallentin

Comments: (v3) 10 pages, minor changes, Lemma 4.1 simplified, accepted in Proc. AMS

Journal-ref: Proc. Amer. Math. Soc. Ser. B 11 (2024), 603-611

Subjects: Symplectic Geometry (math.SG); Computational Complexity (cs.CC); Combinatorics (math.CO)

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

Title: Parameterized Vertex Integrity Revisited

Tesshu Hanaka, Michael Lampis, Manolis Vasilakis, Kanae Yoshiwatari

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

[64] arXiv:2402.10015 (cross-list from cs.DS) [pdf, other]

Title: A Piecewise Approach for the Analysis of Exact Algorithms

Katie Clinch, Serge Gaspers, Zixu He, Abdallah Saffidine, Tiankuang Zhang

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

[65] arXiv:2402.10139 (cross-list from cs.SC) [pdf, html, other]

Title: Fast interpolation and multiplication of unbalanced polynomials

Pascal Giorgi, Bruno Grenet, Armelle Perret du Cray, Daniel S. Roche

Journal-ref: ISSAC '24: Proceedings of the 2024 International Symposium on Symbolic and Algebraic Computation, pp. 437--446

Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC)

[66] arXiv:2402.10293 (cross-list from cs.LO) [pdf, other]

Title: Parallel Play Saves Quantifiers

Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion Kolaitis, Jonathan Lenchner, Rik Sengupta, Ryan Williams

Comments: 24 pages, 4 figures

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

[67] arXiv:2402.10360 (cross-list from cs.LG) [pdf, html, other]

Title: Transductive Learning Is Compact

Julian Asilis, Siddartha Devic, Shaddin Dughmi, Vatsal Sharan, Shang-Hua Teng

Comments: NeurIPS 2024, 18 pages

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO); Machine Learning (stat.ML)

[68] arXiv:2402.10674 (cross-list from math.AG) [pdf, other]

Title: Border subrank via a generalised Hilbert-Mumford criterion

Benjamin Biaggi, Chia-Yu Chang, Jan Draisma, Filip Rupniewski

Comments: 13 pages, 2 figures

Subjects: Algebraic Geometry (math.AG); Computational Complexity (cs.CC)

[69] arXiv:2402.10783 (cross-list from cs.DS) [pdf, other]

Title: On Permutation Selectors and their Applications in Ad-Hoc Radio Networks Protocols

Jordan Kuschner, Yugarshi Shashwat, Sarthak Yadav, Marek Chrobak

Comments: 9 pages, 2 figures

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

[70] arXiv:2402.10815 (cross-list from cs.DS) [pdf, other]

Title: Core Stability in Additively Separable Hedonic Games of Low Treewidth

Tesshu Hanaka, Noleen Köhler, Michael Lampis

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

[71] arXiv:2402.10975 (cross-list from math.OC) [pdf, other]

Title: A System-Dynamic Based Simulation and Bayesian Optimization for Inventory Management

Sarit Maitra

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC)

[72] arXiv:2402.11209 (cross-list from cs.GT) [pdf, other]

Title: When Simple is Near Optimal in Security Games

Devansh Jalota, Michael Ostrovsky, Marco Pavone

Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC); Theoretical Economics (econ.TH); Optimization and Control (math.OC)

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

Title: To Store or Not to Store: a graph theoretical approach for Dataset Versioning

Anxin Guo, Jingwei Li, Pattara Sukprasert, Samir Khuller, Amol Deshpande, Koyel Mukherjee

Comments: Accepted by IPDPS 2024

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Databases (cs.DB); Distributed, Parallel, and Cluster Computing (cs.DC)

[74] arXiv:2402.12068 (cross-list from cs.GT) [pdf, html, other]

Title: On the Computation of Equilibria in Discrete First-Price Auctions

Aris Filos-Ratsikas, Yiannis Giannakopoulos, Alexandros Hollender, Charalampos Kokkalis

Comments: 54 pages, 2 figures, Published in the 25th ACM Conference on Economics and Computation (EC'24)

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

[75] arXiv:2402.12245 (cross-list from cs.CG) [pdf, html, other]

Title: Constrained Boundary Labeling

Thomas Depian, Martin Nöllenburg, Soeren Terziadis, Markus Wallinger

Comments: Appears in the Proceedings of the 36th International Symposium on Algorithms and Computation (ISAAC'24), 27 pages, 12 figures, 1 table

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

[76] arXiv:2402.12875 (cross-list from cs.LG) [pdf, html, other]

Title: Chain of Thought Empowers Transformers to Solve Inherently Serial Problems

Zhiyuan Li, Hong Liu, Denny Zhou, Tengyu Ma

Comments: 38 pages, 10 figures. Accepted by ICLR 2024

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Machine Learning (stat.ML)

[77] arXiv:2402.14103 (cross-list from cs.LG) [pdf, html, other]

Title: Computational-Statistical Gaps for Improper Learning in Sparse Linear Regression

Rares-Darius Buhai, Jingqiu Ding, Stefan Tiegel

Comments: 24 pages; updated typos, some explanations, and references

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Statistics Theory (math.ST); Machine Learning (stat.ML)

[78] arXiv:2402.14198 (cross-list from cs.GT) [pdf, html, other]

Title: Tight Inapproximability of Nash Equilibria in Public Goods Games

Jérémi Do Dinh, Alexandros Hollender

Journal-ref: Information Processing Letters, 186:Article 106486 (2024)

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

[79] arXiv:2402.15076 (cross-list from cs.DS) [pdf, other]

Title: Tight Inapproximability of Target Set Reconfiguration

Naoto Ohsaka

Comments: 13 pages

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

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

Title: Dimension Independent Disentanglers from Unentanglement and Applications

Fernando G. Jeronimo, Pei Wu

Comments: 28 pages

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

[81] arXiv:2402.15409 (cross-list from stat.ML) [pdf, html, other]

Title: Lasso with Latents: Efficient Estimation, Covariate Rescaling, and Computational-Statistical Gaps

Jonathan Kelner, Frederic Koehler, Raghu Meka, Dhruv Rohatgi

Subjects: Machine Learning (stat.ML); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Statistics Theory (math.ST)

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

Title: Lower bounds for quantum-inspired classical algorithms via communication complexity

Nikhil S. Mande, Changpeng Shao

Comments: 20 pages, final version

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)

[83] arXiv:2402.15814 (cross-list from cs.CL) [pdf, html, other]

Title: On Efficiently Representing Regular Languages as RNNs

Anej Svete, Robin Shing Moon Chan, Ryan Cotterell

Subjects: Computation and Language (cs.CL); Computational Complexity (cs.CC); Machine Learning (cs.LG)

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

Title: Regular resolution effectively simulates resolution

Sam Buss, Emre Yolcu

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

[85] arXiv:2402.16016 (cross-list from cs.GT) [pdf, html, other]

Title: Complexity of Manipulation and Bribery in Premise-Based Judgment Aggregation with Simple Formulas

Robert Bredereck, Junjie Luo

Journal-ref: Information and Computation, 2024, 296: 105128

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

[86] arXiv:2402.16284 (cross-list from cs.ET) [pdf, html, other]

Title: Self-Assembly of Patterns in the abstract Tile Assembly Model

Phillip Drake, Matthew J. Patitz, Scott M. Summers, Tyler Tracy

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

[87] arXiv:2402.16541 (cross-list from quant-ph) [pdf, other]

Title: Integer Programming Using A Single Atom

Kapil Goswami, Peter Schmelcher, Rick Mukherjee

Comments: 20 pages, 7 figures

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Optimization and Control (math.OC); Atomic Physics (physics.atom-ph)

[88] arXiv:2402.16777 (cross-list from cs.CG) [pdf, html, other]

Title: Approximating Simplet Frequency Distribution for Simplicial Complexes

Hamid Beigy, Mohammad Mahini, Salman Qadami, Morteza Saghafian

Comments: EuroCG2024

Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC); Geometric Topology (math.GT)

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

Title: The Art of Staying Ahead of Deadlines: Improved Algorithms for the Minimum Tardy Processing Time

Mihail Stoian

Comments: The runtime analysis is incorrect: the contribution of the processing times in [d_j - p_j, d_{j - 1}] is not taken into account. We thank N. Fischer for pointing this out

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

[90] arXiv:2402.17805 (cross-list from cs.LG) [pdf, html, other]

Title: Graph Neural Networks and Arithmetic Circuits

Timon Barlag, Vivian Holzapfel, Laura Strieker, Jonni Virtema, Heribert Vollmer

Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)

[91] arXiv:2402.18193 (cross-list from math.AG) [pdf, other]

Title: Counting points with Riemann-Roch formulas

Jorge Martín-Morales

Comments: 35 pages

Journal-ref: Revista de la Real Academia de Ciencias de Zaragoza 2024

Subjects: Algebraic Geometry (math.AG); Computational Complexity (cs.CC)

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

Title: Max-Cut with $\epsilon$-Accurate Predictions

Vincent Cohen-Addad, Tommaso d'Orsi, Anupam Gupta, Euiwoong Lee, Debmalya Panigrahi

Comments: 18 pages

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

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

Title: The Power of Unentangled Quantum Proofs with Non-negative Amplitudes

Fernando Granha Jeronimo, Pei Wu

Comments: 64 pages

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)