Computational Complexity

Authors and titles for February 2020

[1] arXiv:2002.00009 [pdf, other]

Title: Probabilistic Complexity Classes through Semantics

Thomas Seiller (LIPN, CNRS)

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

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

[2] arXiv:2002.00629 [pdf, other]

Title: Graphs cannot be indexed in polynomial time for sub-quadratic time string matching, unless SETH fails

Massimo Equi, Veli Mäkinen, Alexandru I. Tomescu

Subjects: Computational Complexity (cs.CC)

[3] arXiv:2002.00788 [pdf, other]

Title: The Computational Complexity of Plethysm Coefficients

Nick Fischer, Christian Ikenmeyer

Subjects: Computational Complexity (cs.CC); Representation Theory (math.RT)

[4] arXiv:2002.01293 [pdf, other]

Title: A Double Exponential Lower Bound for the Distinct Vectors Problem

Marcin Pilipczuk, Manuel Sorge

Journal-ref: Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Discrete Algorithms (September 18, 2020) dmtcs:6072

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

[5] arXiv:2002.01307 [pdf, other]

Title: On $Δ$-Modular Integer Linear Problems In The Canonical Form And Equivalent Problems

D.V. Gribanov, I.A. Shumilov, D.S. Malyshev, P.M. Pardalos

Comments: J Glob Optim (2022)

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

[6] arXiv:2002.01509 [pdf, other]

Title: Complexity limitations on one-turn quantum refereed games

Soumik Ghosh, John Watrous

Comments: 31 pages

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

[7] arXiv:2002.02021 [pdf, other]

Title: A dichotomy for bounded degree graph homomorphisms with nonnegative weights

Artem Govorov, Jin-Yi Cai, Martin Dyer

Subjects: Computational Complexity (cs.CC)

[8] arXiv:2002.02729 [pdf, other]

Title: On List k-Coloring Convex Bipartite Graphs

Josep Díaz, Öznur Yaşar Diner, Maria Serna, Oriol Serra

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

[9] arXiv:2002.03293 [pdf, other]

Title: On Unbalanced Optimal Transport: An Analysis of Sinkhorn Algorithm

Khiem Pham, Khang Le, Nhat Ho, Tung Pham, Hung Bui

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

[10] arXiv:2002.03443 [pdf, other]

Title: Optimal polynomial-time compression for Boolean Max CSP

Bart M.P. Jansen, Michał Włodarczyk

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

[11] arXiv:2002.03887 [pdf, other]

Title: Edge Matching with Inequalities, Triangles, Unknown Shape, and Two Players

Jeffrey Bosboom, Charlotte Chen, Lily Chung, Spencer Compton, Michael Coulombe, Erik D. Demaine, Martin L. Demaine, Ivan Tadeu Ferreira Antunes Filho, Dylan Hendrickson, Adam Hesterberg, Calvin Hsu, William Hu, Oliver Korten, Zhezheng Luo, Lillian Zhang

Comments: 29 pages, 18 figures. Thorough revisions of Sections 4, 5, and 6/7 (merged)

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

[12] arXiv:2002.04012 [pdf, other]

Title: The program-size complexity of self-assembled paths

Pierre-Étienne Meunier, Damien Regnault, Damien Woods

Comments: Accepted to STOC2020 - the 52nd Annual ACM Symposium on Theory of Computing

Subjects: Computational Complexity (cs.CC); Computational Geometry (cs.CG); Formal Languages and Automata Theory (cs.FL); Adaptation and Self-Organizing Systems (nlin.AO); Cellular Automata and Lattice Gases (nlin.CG)

[13] arXiv:2002.04590 [pdf, other]

Title: Local WL Invariance and Hidden Shades of Regularity

Frank Fuhlbrück, Johannes Köbler, Oleg Verbitsky

Comments: 12 pages, 2 figures, 1 table. Section 5 of the preceding version is moved to arXiv:2005.08887

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

[14] arXiv:2002.04783 [pdf, other]

Title: Fixed-Support Wasserstein Barycenters: Computational Hardness and Fast Algorithm

Tianyi Lin, Nhat Ho, Xi Chen, Marco Cuturi, Michael I. Jordan

Comments: Accepted by NeurIPS 2020; fix some confusing parts in the proof and improve the empirical evaluation

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

[15] arXiv:2002.04841 [pdf, other]

Title: Optimal Label Splitting for Embedding an LTS into an arbitrary Petri Net Reachability Graph is NP-complete

Uli Schlachter, Harro Wimmel

Comments: 18 pages

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

[16] arXiv:2002.05239 [pdf, other]

Title: Complexity Analysis of Generalized and Fractional Hypertree Decompositions

Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon

Comments: This is a significantly extended and enhanced version of arXiv:1611.01090

Subjects: Computational Complexity (cs.CC)

[17] arXiv:2002.06451 [pdf, html, other]

Title: Symmetric Arithmetic Circuits

Anuj Dawar, Gregory Wilsenach

Comments: 30 pages. Final version, to appear in Theory of Computing. A preliminary version of this work was presented at the International Colloquium on Automata, Languages and Programming (ICALP) 2020

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

[18] arXiv:2002.07208 [pdf, other]

Title: Optimal Error Pseudodistributions for Read-Once Branching Programs

Eshan Chattopadhyay, Jyun-Jie Liao

Subjects: Computational Complexity (cs.CC)

[19] arXiv:2002.07235 [pdf, other]

Title: Time-Space Tradeoffs for Distinguishing Distributions and Applications to Security of Goldreich's PRG

Sumegha Garg, Pravesh K. Kothari, Ran Raz

Comments: 35 pages

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

[20] arXiv:2002.07444 [pdf, other]

Title: Multiparty Karchmer-Wigderson Games and Threshold Circuits

Alexander Kozachinskiy, Vladimir Podolskii

Subjects: Computational Complexity (cs.CC)

[21] arXiv:2002.07569 [pdf, other]

Title: Multistage s-t Path: Confronting Similarity with Dissimilarity

Till Fluschnik, Rolf Niedermeier, Carsten Schubert, Philipp Zschoche

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

[22] arXiv:2002.07745 [pdf, other]

Title: Block-Structured Integer and Linear Programming in Strongly Polynomial and Near Linear Time

Jana Cslovjecsek, Friedrich Eisenbrand, Christoph Hunkenschröder, Lars Rohwedder, Robert Weismantel

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

[23] arXiv:2002.08231 [pdf, other]

Title: A note on the explicit constructions of tree codes over polylogarithmic-sized alphabet

Siddharth Bhandari, Prahladh Harsha

Subjects: Computational Complexity (cs.CC)

[24] arXiv:2002.08533 [pdf, other]

Title: Algorithms and Lower Bounds for de Morgan Formulas of Low-Communication Leaf Gates

Valentine Kabanets, Sajin Koroth, Zhenjian Lu, Dimitrios Myrisiotis, Igor Oliveira

Subjects: Computational Complexity (cs.CC)

[25] arXiv:2002.08580 [pdf, other]

Title: The (Generalized) Orthogonality Dimension of (Generalized) Kneser Graphs: Bounds and Applications

Alexander Golovnev, Ishay Haviv

Comments: 19 pages

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