Computational Complexity

Authors and titles for October 2020

[1] arXiv:2010.00087 [pdf, other]

Title: On Approximability of Clustering Problems Without Candidate Centers

Vincent Cohen-Addad, Karthik C. S., Euiwoong Lee

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

[2] arXiv:2010.01385 [pdf, other]

Title: Limitations of Sums of Bounded-Read Formulas

Purnata Ghosal, B. V. Raghavendra Rao

Comments: 20 pages, 3 figures

Subjects: Computational Complexity (cs.CC)

[3] arXiv:2010.02922 [pdf, other]

Title: Balanced incomplete block designs and exact satisfiability

Bernd. R. Schuh

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

[4] arXiv:2010.03393 [pdf, other]

Title: Complexity of the list homomorphism problem in hereditary graph classes

Karolina Okrasa, Paweł Rzążewski

Subjects: Computational Complexity (cs.CC)

[5] arXiv:2010.04618 [pdf, other]

Title: Finitely Tractable Promise Constraint Satisfaction Problems

Kristina Asimi, Libor Barto

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

[6] arXiv:2010.04623 [pdf, other]

Title: Symmetric Promise Constraint Satisfaction Problems: Beyond the Boolean Case

Libor Barto, Diego Battistelli, Kevin M. Berg

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

[7] arXiv:2010.04910 [pdf, other]

Title: The Complexity of Counting Edge Colorings for Simple Graphs

Jin-Yi Cai, Artem Govorov

Subjects: Computational Complexity (cs.CC)

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

Title: A Structural Theorem for Local Algorithms with Applications to Coding, Testing, and Verification

Marcel Dall'Agnol, Tom Gur, Oded Lachish

Journal-ref: SIAM J. Comput., 52 (2023), pp. 1413-1463

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

[9] arXiv:2010.05425 [pdf, other]

Title: FPRAS via MCMC where it mixes torpidly (and very little effort)

Jin-Yi Cai, Tianyu Liu

Subjects: Computational Complexity (cs.CC)

[10] arXiv:2010.05660 [pdf, other]

Title: A Lower Bound for Polynomial Calculus with Extension Rule

Yaroslav Alekseev

Subjects: Computational Complexity (cs.CC)

[11] arXiv:2010.05768 [pdf, other]

Title: On lattice point counting in $Δ$-modular polyhedra

D.V. Gribanov, N.Yu. Zolotykh

Journal-ref: Optim Lett 16, 1991-2018 (2022)

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

[12] arXiv:2010.05822 [pdf, other]

Title: Nearly Optimal Average-Case Complexity of Counting Bicliques Under SETH

Shuichi Hirahara, Nobutaka Shimizu

Subjects: Computational Complexity (cs.CC)

[13] arXiv:2010.05998 [pdf, other]

Title: Counting Subgraphs in Degenerate Graphs

Suman K. Bera, Lior Gishboliner, Yevgeny Levanzov, C. Seshadhri, Asaf Shapira

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

[14] arXiv:2010.06083 [pdf, other]

Title: Trace Reconstruction Problems in Computational Biology

Vinnu Bhardwaj, Pavel A. Pevzner, Cyrus Rashtchian, Yana Safonova

Comments: 20 pages, 8 figures. Accepted to the Special Issue of IEEE Transactions on Information Theory Dedicated to the Memory of Vladimir I. Levenshtein (copyright of journal version transferred to IEEE)

Subjects: Computational Complexity (cs.CC); Information Theory (cs.IT); Machine Learning (cs.LG); Genomics (q-bio.GN)

[15] arXiv:2010.06317 [pdf, other]

Title: Digraph Coloring and Distance to Acyclicity

Ararat Harutyunyan, Michael Lampis, Nikolaos Melissinos

Subjects: Computational Complexity (cs.CC)

[16] arXiv:2010.06401 [pdf, other]

Title: On the Complexity of Some Facet-Defining Inequalities of the QAP-polytope

Pawan Aurora, Hans Raj Tiwary

Comments: 20 pages. To be published in COCOA 2020 proceedings

Subjects: Computational Complexity (cs.CC)

[17] arXiv:2010.06563 [pdf, other]

Title: Optimal Low-Degree Hardness of Maximum Independent Set

Alexander S. Wein

Comments: 19 pages

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Probability (math.PR); Machine Learning (stat.ML)

[18] arXiv:2010.07405 [pdf, other]

Title: Complexity Measures on the Symmetric Group and Beyond

Neta Dafni, Yuval Filmus, Noam Lifshitz, Nathan Lindzey, Marc Vinyals

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

[19] arXiv:2010.08445 [pdf, other]

Title: Barrington Plays Cards: The Complexity of Card-based Protocols

Pavel Dvořák, Michal Koucký

Subjects: Computational Complexity (cs.CC)

[20] arXiv:2010.08821 [pdf, other]

Title: On the Hardness of Average-case k-SUM

Zvika Brakerski, Noah Stephens-Davidowitz, Vinod Vaikuntanathan

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

[21] arXiv:2010.08862 [pdf, other]

Title: Mad Science is Provably Hard: Puzzles in Hearthstone's Boomsday Lab are NP-hard

Michael Hoffmann, Jayson Lynch, Andrew Winslow

Comments: 17 pages, 4 appendix, 1 figure

Subjects: Computational Complexity (cs.CC)

[22] arXiv:2010.08994 [pdf, other]

Title: Log-rank and lifting for AND-functions

Alexander Knop, Shachar Lovett, Sam McGuire, Weiqiang Yuan

Comments: 20 pages; comments welcome!

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

[23] arXiv:2010.09255 [pdf, other]

Title: Tightness of Sensitivity and Proximity Bounds for Integer Linear Programs

Sebastian Berndt, Klaus Jansen, Alexandra Lassota

Subjects: Computational Complexity (cs.CC)

[24] arXiv:2010.09271 [pdf, other]

Title: Complexity of Retrograde and Helpmate Chess Problems: Even Cooperative Chess is Hard

Josh Brunner, Erik D. Demaine, Dylan Hendrickson, Julian Wellman

Comments: 14 pages, 12 figures

Subjects: Computational Complexity (cs.CC)

[25] arXiv:2010.10189 [pdf, other]

Title: Primitive Recursive Ordered Fields and Some Applications

Victor Selivanov, Svetlana Selivanova

Subjects: Computational Complexity (cs.CC)

[26] arXiv:2010.11754 [pdf, other]

Title: Separation Results for Boolean Function Classes

Aniruddha Biswas, Palash Sarkar

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

[27] arXiv:2010.11788 [pdf, other]

Title: Equation satisfiability in solvable groups

Paweł Idziak, Piotr Kawałek, Jacek Krzaczkowski, Armin Weiß

Subjects: Computational Complexity (cs.CC); Group Theory (math.GR)

[28] arXiv:2010.12081 [pdf, other]

Title: Singularity of random integer matrices with large entries

Sankeerth Rao Karingula, Shachar Lovett

Comments: 19 pages

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Information Theory (cs.IT); Probability (math.PR)

[29] arXiv:2010.13717 [pdf, other]

Title: Expressive power of linear algebra query languages

Floris Geerts, Thomas Muñoz, Cristian Riveros, Domagoj Vrgoč

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

[30] arXiv:2010.14181 [pdf, other]

Title: Impossibility Results for Grammar-Compressed Linear Algebra

Amir Abboud, Arturs Backurs, Karl Bringmann, Marvin Künnemann

Comments: NeurIPS'20, 20 pages

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

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

Title: Approximation of the Double Travelling Salesman Problem with Multiple Stacks

Laurent Alfandari, Sophie Toulouse

Journal-ref: "On the Complexity of the Multiple Stack TSP, kSTSP" (TAMC 2009), "Approximability of the Multiple Stack TSP" (ISCO 2010), "Differential Approximation of the Multiple Stacks TSP" in (ISCO 2012)

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

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

Title: The Complexity of Boolean State Separation (Technical Report)

Ronny Tredup, Evgeny Erofeev

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

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

Title: Tight Approximation Guarantees for Concave Coverage Problems

Siddharth Barman, Omar Fawzi, Paul Fermé

Comments: 33 pages. v3 minor corrections and added FPT hardness

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

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

Title: On the monophonic rank of a graph

Mitre C. Dourado, Vitor S. Ponciano, Rômulo L. O. da Silva

Comments: 14 pages, 2 figures

Journal-ref: Discrete Mathematics & Theoretical Computer Science, vol. 24, no 2, Graph Theory (September 15, 2022) dmtcs:6835

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

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

Title: Burning Geometric Graphs

Arya Tanmay Gupta

Comments: Masters' dissertation

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

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

Title: Inapproximability for Local Correlation Clustering and Dissimilarity Hierarchical Clustering

Vaggos Chatziafratis, Neha Gupta, Euiwoong Lee

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

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

Title: InstaHide: Instance-hiding Schemes for Private Distributed Learning

Yangsibo Huang, Zhao Song, Kai Li, Sanjeev Arora

Comments: ICML 2020

Subjects: Cryptography and Security (cs.CR); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Machine Learning (cs.LG); Machine Learning (stat.ML)

[38] arXiv:2010.02835 (cross-list from quant-ph) [pdf, other]

Title: StoqMA vs. MA: the power of error reduction

Dorit Aharonov, Alex B. Grilo, Yupan Liu

Comments: Version 2 has punctual minor improvements

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

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

Title: Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity

Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang

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

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

Title: Succinct Navigational Oracles for Families of Intersection Graphs on a Circle

Hüseyin Acan, Sankardeep Chakraborty, Seungbum Jo, Kei Nakashima, Kunihiko Sadakane, Srinivasa Rao Satti

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

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

Title: Constant-time connectivity tests

Philipp Klaus Krause

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

[42] arXiv:2010.04662 (cross-list from cs.SC) [pdf, other]

Title: Deterministic computation of the characteristic polynomial in the time of matrix multiplication

Vincent Neiger, Clément Pernet

Comments: 38 pages, 5 algorithms

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

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

Title: The Complexity of Mixed-Connectivity

Édouard Bonnet, Sergio Cabello

Comments: 11 pages, 6 figures

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

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

Title: Constraint Satisfaction Problems over Finite Structures

Libor Barto, William DeMeo, Antoine Mottet

Journal-ref: LICS 2021 pages 1--13

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

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

Title: Datalog-Expressibility for Monadic and Guarded Second-Order Logic

Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph

Comments: Some of the results of this article until Section 5 have been announced in a conference paper with the same title in the proceedings of ICALP'21; the results in Section 6 about nested monadic and nested guarded queries were not yet present in the conference version

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

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

Title: A Refined Laser Method and Faster Matrix Multiplication

Josh Alman, Virginia Vassilevska Williams

Comments: 32 pages; TheoretiCS journal version

Journal-ref: TheoretiCS, Volume 3 (September 4, 2024) theoretics:11261

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

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

Title: Large Very Dense Subgraphs in a Stream of Edges

Claire Mathieu, Michel de Rougemont

Comments: 32 pages

Journal-ref: Net Sci 9 (2021) 403-424

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

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

Title: Near-Linear Time Homomorphism Counting in Bounded Degeneracy Graphs: The Barrier of Long Induced Cycles

Suman K. Bera, Noujan Pashanasangi, C. Seshadhri

Comments: To be published in Symposium on Discrete Algorithms (SODA) 2021 Added conclusion section in the new version

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

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

Title: Improving Schroeppel and Shamir's Algorithm for Subset Sum via Orthogonal Vectors

Jesper Nederlof, Karol Węgrzycki

Comments: STOC 2021, 38 pages, 3 figures

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

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

Title: Solving Shisen-Sho boards

Michiel de Bondt

Comments: 14 pages

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