Computational Complexity

Authors and titles for cs.CC in Aug 2022

[1]  arXiv:2208.00029 [pdf, other]

Title: Communication Complexity of Collision

Authors: Mika Göös, Siddhartha Jain

Subjects: Computational Complexity (cs.CC)

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

Title: A point to set principle for finite-state dimension

Authors: Elvira Mayordomo

Subjects: Computational Complexity (cs.CC)

[3]  arXiv:2208.01078 [pdf, other]

Title: On Matrix Multiplication and Polynomial Identity Testing

Authors: Robert Andrews

Subjects: Computational Complexity (cs.CC)

[4]  arXiv:2208.01796 [pdf, ps, other]

Title: On the Computational Complexity of the Strong Geodetic Recognition Problem

Authors: Carlos V.G.C. Lima, Vinicius F. dos Santos, João H.G. Sousa, Sebastián A. Urrutia

Subjects: Computational Complexity (cs.CC)

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

Title: Local time of Martin-Lof Brownian motion

Authors: Willem Fouche, Safari Mukeru

Subjects: Computational Complexity (cs.CC); Probability (math.PR)

[6]  arXiv:2208.03088 [pdf, other]

Title: Jumping Evaluation of Nested Regular Path Queries

Authors: Joachim Niehren (Inria Lille), Sylvain Salvati (Université de Lille), Rustam Azimov (Saint Petersburg State University)

Comments: In Proceedings ICLP 2022, arXiv:2208.02685

Journal-ref: EPTCS 364, 2022, pp. 79-92

Subjects: Computational Complexity (cs.CC); Databases (cs.DB); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

[7]  arXiv:2208.03450 [pdf, other]

Title: An Optimal "It Ain't Over Till It's Over" Theorem

Authors: Ronen Eldan, Avi Wigderson, Pei Wu

Comments: 31 pages

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

[8]  arXiv:2208.04016 [pdf, other]

Title: Solving the Online Assignment Problem with Machine Learned Advice

Authors: Clarence Gabriel R. Kasilag, Pollux M. Rey, Jhoirene B. Clemente

Comments: 7 pages, published in the Proceedings of the Philippine Computing Science Congress 2021

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

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

Title: Combinatorial Optimization via the Sum of Squares Hierarchy

Authors: Goutham Rajendran

Comments: Master's thesis, University of Chicago

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

[10]  arXiv:2208.05261 [pdf, ps, other]

Title: Roman Census: Enumerating and Counting Roman Dominating Functions on Graph Classes

Authors: Faisal N. Abu-Khzam, Henning Fernau, Kevin Mann

Subjects: Computational Complexity (cs.CC)

[11]  arXiv:2208.05376 [pdf, other]

Title: A Note on the Computational Complexity of Selfmate and Reflexmate Chess Problems

Authors: Zhujun Zhang

Comments: 12 pages, 7 figures

Subjects: Computational Complexity (cs.CC)

[12]  arXiv:2208.06687 [pdf, other]

Title: Avoider-Enforcer Game is NP-hard

Authors: Tillmann Miltzow, Miloš Stojaković

Comments: 8 pages, 3 figures

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

[13]  arXiv:2208.07730 [pdf, ps, other]

Title: Direct Sum Theorems From Fortification

Authors: Hao Wu

Comments: fix some typos; remove a section of agree problem with a gap in the proof pointed by an anonymous reviewer, the author has tried to fix it but could not fix it for now

Subjects: Computational Complexity (cs.CC)

[14]  arXiv:2208.08257 [pdf, other]

Title: Partitioning Hypergraphs is Hard: Models, Inapproximability, and Applications

Authors: Pál András Papp, Georg Anegg, A. N. Yzelman

Comments: Published in the 35th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2023)

Subjects: Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC)

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

Title: The proper conflict-free $k$-coloring problem and the odd $k$-coloring problem are NP-complete on bipartite graphs

Authors: Jungho Ahn, Seonghyuk Im, Sang-il Oum

Comments: 13 pages, 2 figures

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

[16]  arXiv:2208.08394 [pdf, other]

Title: Constant-Depth Sorting Networks

Authors: Natalia Dobrokhotova-Maikova, Alexander Kozachinskiy, Vladimir Podolskii

Comments: 17 pages, 3 figures

Subjects: Computational Complexity (cs.CC)

[17]  arXiv:2208.08779 [pdf, other]

Title: Embedding arbitrary Boolean circuits into fungal automata

Authors: Augusto Modanese, Thomas Worsch

Comments: 19 pages, 17 figures. To appear in LATIN 2022

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

[18]  arXiv:2208.09803 [pdf, other]

Title: Turing Machines with Two-level Memory: A Deep Look into the Input/Output Complexity

Authors: Hengzhao Ma, Jianzhong Li, Xiangyu Gao, Tianpeng Gao

Subjects: Computational Complexity (cs.CC)

[19]  arXiv:2208.11152 [pdf, ps, other]

Title: Strong XOR Lemma for Communication with Bounded Rounds

Authors: Huacheng Yu

Comments: To appear in FOCS 2022

Subjects: Computational Complexity (cs.CC)

[20]  arXiv:2208.11237 [pdf, other]

Title: The Kolmogorov Birthday Paradox

Authors: Samuel Epstein

Subjects: Computational Complexity (cs.CC)

[21]  arXiv:2208.11562 [pdf, other]

Title: 22 Examples of Solution Compression via Derandomization

Authors: Samuel Epstein

Subjects: Computational Complexity (cs.CC)

[22]  arXiv:2208.11642 [pdf, ps, other]

Title: On the existence of strong proof complexity generators

Authors: Jan Krajicek

Comments: preliminary version August 2022, revised July 2023 and November 2023

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

[23]  arXiv:2208.12896 [pdf, other]

Title: Randomised Composition and Small-Bias Minimax

Authors: Shalev Ben-David, Eric Blais, Mika Göös, Gilbert Maystre

Comments: 41 pages. To appear in FOCS 2022

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

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

Title: An invitation to the promise constraint satisfaction problem

Authors: Andrei Krokhin, Jakub Opršal

Comments: This survey appeared in ACM SIGLOG News, Volume 9, Issue 3, July 2022, pp 30-59, this https URL

Journal-ref: Andrei Krokhin and Jakub Opr\v{s}al. 2022. An invitation to the promise constraint satisfaction problem. ACM SIGLOG News 9, 3 (July 2022), 30-59

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

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

Title: Low-complexity Approximate Convolutional Neural Networks

Authors: R. J. Cintra, S. Duffner, C. Garcia, A. Leite

Comments: 13 pages, 4 figures, 8 tables

Journal-ref: IEEE Transactions on Neural Networks and Learning Systems, v. 29, n. 12, Dec. 2018

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Computer Vision and Pattern Recognition (cs.CV); Signal Processing (eess.SP); Methodology (stat.ME)

[26]  arXiv:2208.00122 (cross-list from cs.DS) [pdf, ps, other]

Title: Polynomial-Time Power-Sum Decomposition of Polynomials

Authors: Mitali Bafna, Jun-Ting Hsieh, Pravesh K. Kothari, Jeff Xu

Comments: To appear in FOCS 2022

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

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

Title: Bias Reduction for Sum Estimation

Authors: Talya Eden, Jakob Bæk Tejs Houen, Shyam Narayanan, Will Rosenbaum, Jakub Tětek

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Statistics Theory (math.ST)

[28]  arXiv:2208.01239 (cross-list from math.NA) [pdf, other]

Title: Complex matrix inversion via real matrix inversions

Authors: Zhen Dai, Lek-Heng Lim, Ke Ye

Comments: 29 pages, 8 figures

Subjects: Numerical Analysis (math.NA); Computational Complexity (cs.CC)

[29]  arXiv:2208.02526 (cross-list from cs.DS) [pdf, ps, other]

Title: Nearly Optimal Communication and Query Complexity of Bipartite Matching

Authors: Joakim Blikstad, Jan van den Brand, Yuval Efron, Sagnik Mukhopadhyay, Danupon Nanongkai

Comments: Accepted in FOCS 2022

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

[30]  arXiv:2208.02850 (cross-list from cs.DS) [pdf, ps, other]

Title: Domination and Cut Problems on Chordal Graphs with Bounded Leafage

Authors: Esther Galby, Daniel Marx, Philipp Schepper, Roohani Sharma, Prafullkumar Tale

Comments: 48 pages, 3 figures, 1 table

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

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

Title: A note on independent sets in sparse-dense graphs

Authors: Uéverton S. Souza

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

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

Title: Subexponential Parameterized Directed Steiner Network Problems on Planar Graphs: a Complete Classification

Authors: Esther Galby, Sandor Kisfaludi-Bak, Daniel Marx, Roohani Sharma

Comments: 87 pages, 18 figures

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

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

Title: On The Complexity of Distance-$d$ Independent Set Reconfiguration

Authors: Duc A. Hoang

Comments: 14 pages, 8 figures, minor revision, to appear in WALCOM 2023

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

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

Title: On computing Discretized Ricci curvatures of graphs: local algorithms and (localized) fine-grained reductions

Authors: Bhaskar DasGupta, Elena Grigorescu, Tamalika Mukherjee

Comments: To appear in the journal "Theoretical Computer Science"

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

[35]  arXiv:2208.11286 (cross-list from cs.DS) [pdf, ps, other]

Title: Resolving Matrix Spencer Conjecture Up to Poly-logarithmic Rank

Authors: Nikhil Bansal, Haotian Jiang, Raghu Meka

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

[36]  arXiv:2208.11340 (cross-list from cs.AI) [pdf, ps, other]

Title: Advanced Tools and Methods for Treewidth-Based Problem Solving -- Extended Abstract

Authors: Markus Hecher

Comments: This is an extended abstract of a binational PhD thesis that has been awarded with the EurAI Dissertation Award 2021, see this https URL

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Databases (cs.DB); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO)

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

Title: Instance generation tool for on-demand transportation problems

Authors: Michell Queiroz, Flavien Lucas, Kenneth Sorensen

Subjects: Social and Information Networks (cs.SI); Computational Complexity (cs.CC)

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

Title: Parameterized Complexity of Binary CSP: Vertex Cover, Treedepth, and Related Parameters

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

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

[39]  arXiv:2208.13809 (cross-list from cs.DS) [pdf, ps, other]

Title: Randomized Approximation Schemes for the Tutte Polynomial and Random Clustering in Subdense and Superdense Graphs

Authors: Mathias Hauptmann, Ronja Tiling

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

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

Title: On Sparse Hitting Sets: from Fair Vertex Cover to Highway Dimension

Authors: Johannes Blum, Yann Disser, Andreas Emil Feldmann, Siddharth Gupta, Anna Zych-Pawlewicz

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

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

Title: Fine-Grained Distribution-Dependent Learning Curves

Authors: Olivier Bousquet, Steve Hanneke, Shay Moran, Jonathan Shafer, Ilya Tolstikhin

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

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

Title: Complete and tractable machine-independent characterizations of second-order polytime

Authors: Emmanuel Hainry, Bruce M. Kapron, Jean-Yves Marion, Romain Péchoux

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

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

Title: On weighted graph separation problems and flow-augmentation

Authors: Eun Jung Kim, Tomáš Masařík, Marcin Pilipczuk, Roohani Sharma, Magnus Wahlström

Comments: 17 pages, 1 figure

Journal-ref: SIAM Journal on Discrete Mathematics 38(1), 170-189, 2024

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

[44]  arXiv:2208.00484 (cross-list from math.GR) [pdf, ps, other]

Title: Identities in twisted Brauer monoids

Authors: N. V. Kitov, M. V. Volkov

Comments: 20 pages, 5 figures. In v2, several typos and inaccuracies are corrected, and a few suggestions by the anonymous referee are implemented

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

[45]  arXiv:2208.00685 (cross-list from math.GR) [pdf, ps, other]

Title: Distortion element in the automorphism group of a full shift

Authors: Antonin Callard, Ville Salo

Comments: 64 pages, 6 figures; improved exposition

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

[46]  arXiv:2208.01776 (cross-list from math.CO) [pdf, other]

Title: The Cheeger Inequality and Coboundary Expansion: Beyond Constant Coefficients

Authors: Uriya A. First, Tali Kaufman

Comments: 30 pages. Comments are welcome

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

[47]  arXiv:2208.01778 (cross-list from math.CO) [pdf, other]

Title: On Good $2$-Query Locally Testable Codes from Sheaves on High Dimensional Expanders

Authors: Uriya A. First, Tali Kaufman

Comments: Comments are welcome. This is a preliminary version. The first two sections include a detailed overview of the main results. We are working on splitting the paper in two with the first part superseding Sections 1--12. Change from last version: Added Example 4.2 about getting sheaves from representations

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

[48]  arXiv:2208.03241 (cross-list from math.CO) [pdf, ps, other]

Title: Fine Grained Analysis of High Dimensional Random Walks

Authors: Roy Gotlib, Tali Kaufman

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

[49]  arXiv:2208.04281 (cross-list from math.AG) [pdf, ps, other]

Title: Maximal Border Subrank Tensors

Authors: Chia-Yu Chang

Comments: 10 pages

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

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

Title: Computing Brascamp-Lieb Constants through the lens of Thompson Geometry

Authors: Melanie Weber, Suvrit Sra

Comments: Under Review

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Functional Analysis (math.FA)