Computational Complexity

Authors and titles for cs.CC in Sep 2022

[1]  arXiv:2209.00453 [pdf, other]

Title: On the Complexity of the Storyplan Problem

Authors: Carla Binucci, Emilio Di Giacomo, William J. Lenhart, Giuseppe Liotta, Fabrizio Montecchiani, Martin Nöllenburg, Antonios Symvonis

Comments: Appears in the Proceedings of the 30th International Symposium on Graph Drawing and Network Visualization (GD 2022)

Subjects: Computational Complexity (cs.CC)

[2]  arXiv:2209.01584 [pdf, ps, other]

Title: The Approximate Degree of DNF and CNF Formulas

Authors: Alexander A. Sherstov

Comments: This manuscript is a much-expanded version of the STOC 2022 paper, with several new results. Abstract shortened per arXiv requirements

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

[3]  arXiv:2209.01873 [pdf, other]

Title: Induced Cycles and Paths Are Harder Than You Think

Authors: Mina Dalirrooyfard, Virginia Vassilevska Williams

Comments: To appear in FOCS 2022

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

[4]  arXiv:2209.02655 [pdf, other]

Title: Concentration of polynomial random matrices via Efron-Stein inequalities

Authors: Goutham Rajendran, Madhur Tulsiani

Comments: To appear at SODA 2023. 41 pages, 6 figures

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Machine Learning (cs.LG); Probability (math.PR); Statistics Theory (math.ST)

[5]  arXiv:2209.03402 [pdf, ps, other]

Title: Counting Subgraphs in Somewhere Dense Graphs

Authors: Marco Bressan, Leslie Ann Goldberg, Kitty Meeks, Marc Roth

Comments: 35 pages, 3 figures, 4 tables, abstract shortened due to ArXiv requirements

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

[6]  arXiv:2209.04177 [pdf, ps, other]

Title: Tensor Reconstruction Beyond Constant Rank

Authors: Shir Peleg, Amir Shpilka, Ben Lee Volk

Comments: Abstract shortened to meet arXiv requirements; 59 pages

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

[7]  arXiv:2209.04797 [pdf, ps, other]

Title: On Identity Testing and Noncommutative Rank Computation over the Free Skew Field

Authors: V. Arvind, Abhranil Chatterjee, Utsab Ghosal, Partha Mukhopadhyay, C. Ramya

Subjects: Computational Complexity (cs.CC)

[8]  arXiv:2209.04812 [pdf, ps, other]

Title: Structured $(\min,+)$-Convolution And Its Applications For The Shortest Vector, Closest Vector, and Separable Nonlinear Knapsack Problems

Authors: D. V. Gribanov, I. A. Shumilov, D. S. Malyshev

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

[9]  arXiv:2209.04827 [pdf, ps, other]

Title: PPP-Completeness and Extremal Combinatorics

Authors: Romain Bourneuf, Lukáš Folwarczný, Pavel Hubáček, Alon Rosen, Nikolaj Ignatieff Schwartzbach

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

[10]  arXiv:2209.05145 [pdf, other]

Title: On finding short reconfiguration sequences between independent sets

Authors: Akanksha Agrawal, Soumita Hait, Amer E. Mouawad

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

[11]  arXiv:2209.05839 [pdf, ps, other]

Title: On bounded depth proofs for Tseitin formulas on the grid; revisited

Authors: Johan Håstad, Kilian Risse

Comments: 43 pages, to appear in FOCS 2022

Subjects: Computational Complexity (cs.CC)

[12]  arXiv:2209.06939 [pdf, other]

Title: The Complexity Classes of Hamming Distance Recoverable Robust Problems

Authors: Christoph Grüne

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

[13]  arXiv:2209.07625 [pdf, other]

Title: Extremal combinatorics, iterated pigeonhole arguments, and generalizations of PPP

Authors: Amol Pasarkar, Mihalis Yannakakis, Christos Papadimitriou

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

[14]  arXiv:2209.07772 [pdf, other]

Title: $b$-Coloring Parameterized by Pathwidth is XNLP-complete

Authors: Lars Jaffke, Paloma T. Lima, Roohani Sharma

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

[15]  arXiv:2209.08009 [pdf, ps, other]

Title: Approximate traces on groups and the quantum complexity class $\operatorname{MIP}^{co,s}$

Authors: Isaac Goldbring, Bradd Hart

Comments: 8 pages; first draft; comments welcome!

Subjects: Computational Complexity (cs.CC); Operator Algebras (math.OA); Quantum Physics (quant-ph)

[16]  arXiv:2209.08042 [pdf, other]

Title: Decision Tree Complexity versus Block Sensitivity and Degree

Authors: Rahul Chugh, Supartha Podder, Swagato Sanyal

Subjects: Computational Complexity (cs.CC)

[17]  arXiv:2209.08219 [pdf, other]

Title: Better Hardness Results for the Minimum Spanning Tree Congestion Problem

Authors: Huong Luu, Marek Chrobak

Subjects: Computational Complexity (cs.CC)

[18]  arXiv:2209.08731 [pdf, other]

Title: Translationally Invariant Constraint Optimization Problems

Authors: Dorit Aharonov, Sandy Irani

Comments: 75 pages, 13 figures

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

[19]  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)

[20]  arXiv:2209.09527 [pdf, ps, other]

Title: Intrinsic Simulations and Universality in Automata Networks

Authors: Martín Ríos-Wilson, Guillaume Theyssier (I2M, I2M)

Comments: arXiv admin note: substantial text overlap with arXiv:2105.08356

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Dynamical Systems (math.DS)

[21]  arXiv:2209.09788 [pdf, other]

Title: VEST is W[2]-hard

Authors: Michael Skotnica

Comments: 5 pages, 2 figures

Subjects: Computational Complexity (cs.CC)

[22]  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)

[23]  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)

[24]  arXiv:2209.10509 [pdf, ps, other]

Title: Downward Self-Reducibility in TFNP

Authors: Prahladh Harsha, Daniel Mitropolsky, Alon Rosen

Comments: 16 pages, 2 figures

Journal-ref: In Proc. 14th ITCS, volume 251 of LIPIcs, pages 67:1-67:17, 2023

Subjects: Computational Complexity (cs.CC)

[25]  arXiv:2209.11202 [pdf, ps, other]

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)