Computational Complexity

Authors and titles for cs.CC in Jun 2022

[1]  arXiv:2206.00134 [pdf, ps, other]

Title: A Formula for the Determinant

Authors: Nicholas Pippenger

Comments: i+13 pages

Subjects: Computational Complexity (cs.CC); Commutative Algebra (math.AC)

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

Title: A Normal Form for Matrix Multiplication Schemes

Authors: Manuel Kauers, Jakob Moosbauer

Comments: 11 pages

Subjects: Computational Complexity (cs.CC)

[3]  arXiv:2206.00968 [pdf, ps, other]

Title: Real-Time, Constant-Space, Constant-Randomness Verifiers

Authors: Özdeniz Dolu, Nevzat Ersoy, M. Utkan Gezer, A. C. Cem Say

Comments: 12 pages, 1 figure, accepted for presentation in the conference CIAA 2022, and published in its proceedings

Journal-ref: Lecture Notes in Computer Science vol. 13266 (2022) pp. 212-224

Subjects: Computational Complexity (cs.CC)

[4]  arXiv:2206.01280 [pdf, other]

Title: On the Parallel Parameterized Complexity of MaxSAT Variants

Authors: Max Bannach, Malte Skambath, Till Tantau

Comments: SAT 2022

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

[5]  arXiv:2206.06419 [pdf, other]

Title: A Relative Church-Turing-Deutsch Thesis from Special Relativity and Undecidability

Authors: Blake Wilson, Ethan Dickey, Vaishnavi Iyer, Sabre Kais

Comments: All feedback and comments will be greatly appreciated

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

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

Title: Parameterized Complexity Results for Bayesian Inference

Authors: Hans Bodlaender, Nils Donselaar, Johan Kwisthout

Comments: 12 pages; submitted to PGM2022 (this https URL)

Subjects: Computational Complexity (cs.CC)

[7]  arXiv:2206.07358 [pdf, other]

Title: The Complexity of Contracting Bipartite Graphs into Small Cycles

Authors: R. Krithika, Roohani Sharma, Prafullkumar Tale

Subjects: Computational Complexity (cs.CC)

[8]  arXiv:2206.08805 [pdf, other]

Title: Complexity of the Multiobjective Spanner Problem

Authors: Fritz Bökler, Henning Jasper

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

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

Title: The Game of Tumbleweed is PSPACE-complete

Authors: Lear Bahack

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

[10]  arXiv:2206.10389 [pdf, other]

Title: Parameterized-NL Completeness of Combinatorial Problems by Short Logarithmic-Space Reductions and Immediate Consequences of the Linear Space Hypothesis

Authors: Tomoyuki Yamakami

Comments: (A4, 10pt, 3 figures) A conference version will appear in the Proceedings of the Future Technologies Conference (FTC 2022), October 2022

Subjects: Computational Complexity (cs.CC)

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

Title: Approximating observables is as hard as counting

Authors: Andreas Galanis, Daniel Stefankovic, Eric Vigoda

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

[12]  arXiv:2206.11828 [pdf, other]

Title: On the Complexity of Problems on Tree-structured Graphs

Authors: Hans L. Bodlaender, Carla Groenland, Hugo Jacob, Marcin Pilipczuk, Michał Pilipczuk

Subjects: Computational Complexity (cs.CC)

[13]  arXiv:2206.12490 [pdf, other]

Title: Arithmetic Circuits, Structured Matrices and (not so) Deep Learning

Authors: Atri Rudra

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

[14]  arXiv:2206.12825 [pdf, other]

Title: Hardness of Interval Scheduling on Unrelated Machines

Authors: Danny Hermelin, Yuval Itzhaki, Hendrik Molter, Dvir Shabtay

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

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

Title: Which arithmetic operations can be performed in constant time in the RAM model with addition?

Authors: Étienne Grandjean, Louis Jachiet

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

[16]  arXiv:2206.13896 [pdf, other]

Title: Subsequences With Gap Constraints: Complexity Bounds for Matching and Analysis Problems

Authors: Joel D. Day, Maria Kosche, Florin Manea, Markus L. Schmid

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Formal Languages and Automata Theory (cs.FL)

[17]  arXiv:2206.13942 [pdf, ps, other]

Title: A Theoretical Computer Science Perspective on Free Will

Authors: Lenore Blum, Manuel Blum

Comments: arXiv admin note: text overlap with arXiv:2107.13704

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

[18]  arXiv:2206.15091 [pdf, other]

Title: Slim Tree-Cut Width

Authors: Robert Ganian, Viktoriia Korchemna

Comments: 18 pages, 5 figures, 1 table

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

[19]  arXiv:2206.00371 (cross-list from cs.LO) [src]

Title: Dynamic Complexity of Group Problems

Authors: Samir Datta, Asif Khan, Shivdutt Sharma, Yadu Vasudev, Shankar Ram Vasudevan

Comments: The paper has been withdrawn since some crucial lemmas are wrong (Theorem 1, Lemma 10) related to cube bases. Please refer to arXiv:2308.10073 for the follow up with updated results

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

[20]  arXiv:2206.00921 (cross-list from cs.CR) [pdf, other]

Title: A Scalable Shannon Entropy Estimator

Authors: Priyanka Golia, Brendan Juba, Kuldeep S. Meel

Comments: 24 pages, 1 figure, A preliminary version of this work appears at CAV, 2022

Subjects: Cryptography and Security (cs.CR); Computational Complexity (cs.CC); Information Theory (cs.IT)

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

Title: Uniqueness and Complexity of Inverse MDP Models

Authors: Marcus Hutter, Steven Hansen

Comments: 34 pages, 4 fgures

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

[22]  arXiv:2206.02383 (cross-list from cs.LG) [pdf, ps, other]

Title: Efficient Minimax Optimal Global Optimization of Lipschitz Continuous Multivariate Functions

Authors: Kaan Gokcesu, Hakan Gokcesu

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Optimization and Control (math.OC); Machine Learning (stat.ML)

[23]  arXiv:2206.02472 (cross-list from cs.LO) [pdf, ps, other]

Title: Imperative process algebra and models of computation

Authors: C.A. Middelburg

Comments: 47 pages; revision of v2, presentation improved at many places and section on probabilistic computation added

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

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

Title: Finite Model Theory and Proof Complexity revisited: Distinguishing graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus

Authors: Benedikt Pago

Comments: Full version of a paper to appear at CSL 2023

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

[25]  arXiv:2206.05256 (cross-list from cs.IT) [pdf, ps, other]

Title: Generic Reed-Solomon codes achieve list-decoding capacity

Authors: Joshua Brakensiek, Sivakanth Gopi, Visu Makam

Comments: 37 pages

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