Computational Complexity

Authors and titles for October 2021

[1] arXiv:2110.00692 [pdf, other]

Title: Decomposing a graph into subgraphs with small components

Rain Jiang, Kai Jiang, Minghui Jiang

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

[2] arXiv:2110.01173 [pdf, other]

Title: Bipartite 3-Regular Counting Problems with Mixed Signs

Jin-Yi Cai, Austen Z. Fan, Yin Liu

Comments: Accepted by FCT 2021

Journal-ref: LNCS, volume 12867 (2021) 135-148

Subjects: Computational Complexity (cs.CC)

[3] arXiv:2110.01415 [pdf, other]

Title: Compiling Turing Machines into Storage Modification Machines

J.-M. Chauvet

Comments: 6 pages, 1 figure

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

[4] arXiv:2110.01684 [pdf, other]

Title: Irreversibility of Structure Tensors of Modules

Maciej Wojtala

Comments: Suggestions applied

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

[5] arXiv:2110.01732 [pdf, other]

Title: A faster algorithm for counting the integer points number in $Δ$-modular polyhedra (corrected version)

D. V. Gribanov, D. S. Malyshev

Comments: This version of the paper contains corrections to the published version of the paper this http URL

Journal-ref: Siberian Electronic Mathematical Reports, 19(2), pp. 613-626 (2022)

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

[6] arXiv:2110.02300 [pdf, other]

Title: Complexity of Traveling Tournament Problem with Trip Length More Than Three

Diptendu Chatterjee

Comments: 11 pages, 2 figures

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

[7] arXiv:2110.02809 [pdf, other]

Title: Partial order alignment by adjacencies and breakpoints

Rain Jiang, Kai Jiang, Minghui Jiang

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

[8] arXiv:2110.03279 [pdf, other]

Title: Polynomial Turing Kernels for Clique with an Optimal Number of Queries

Till Fluschnik, Klaus Heeger, Danny Hermelin

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

[9] arXiv:2110.03624 [pdf, other]

Title: On the Complexity of Inductively Learning Guarded Rules

Andrei Draghici, Georg Gottlob, Matthias Lanzinger

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

[10] arXiv:2110.04657 [pdf, other]

Title: On sets of linear forms of maximal complexity

Michael Kaminski, Igor E. Shparlinski, Michel Waldschmidt

Journal-ref: Computational Complexity, Vol.32, (2023), Article 1

Subjects: Computational Complexity (cs.CC); Number Theory (math.NT)

[11] arXiv:2110.05305 [pdf, other]

Title: Black Box Absolute Reconstruction for Sums of Powers of Linear Forms

Pascal Koiran, Subhayan Saha

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

[12] arXiv:2110.05917 [pdf, other]

Title: On complexity of structure and substructure connectivity, component connectivity and restricted connectivity of graphs

Huazhong Lü, Tingzeng Wu

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

[13] arXiv:2110.05942 [pdf, html, other]

Title: Resolution of The Linear-Bounded Automata Question

Tianrong Lin

Comments: [v20] some typos fixed; 1 figure, 23 pages

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

[14] arXiv:2110.06211 [pdf, other]

Title: Diagonalization of Polynomial-Time Deterministic Turing Machines via Nondeterministic Turing Machines

Tianrong Lin

Comments: [v32] final version (not publication version); 49 pages, 2 figures; using latex template with clear layout; arXiv admin note: text overlap with arXiv:2110.05942, arXiv:2112.03677

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

[15] arXiv:2110.08677 [pdf, other]

Title: Algorithmic Thresholds for Refuting Random Polynomial Systems

Jun-Ting Hsieh, Pravesh K. Kothari

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

[16] arXiv:2110.09369 [pdf, other]

Title: Anti-Factor is FPT Parameterized by Treewidth and List Size (but Counting is Hard)

Dániel Marx, Govind S. Sankar, Philipp Schepper

Comments: v2: Proof of Lemma 7.1 in Section 7.1 revised by adding more intermediate steps, minor corrections

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

[17] arXiv:2110.09504 [pdf, other]

Title: The complexity of the Quantified CSP having the polynomially generated powers property

Dmitriy Zhuk

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

[18] arXiv:2110.10725 [pdf, other]

Title: An Invariance Principle for the Multi-slice, with Applications

Mark Braverman, Subhash Khot, Noam Lifshitz, Dor Minzer

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

[19] arXiv:2110.12421 [pdf, other]

Title: Refuting Tianrong Lin's arXiv:2110.05942 "Resolution of The Linear-Bounded Automata Question"

Thomas Preu

Comments: 7 pages, refers to arXiv:2110.05942 by Tianrong Lin

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

[20] arXiv:2110.12652 [pdf, other]

Title: Extractors for Sum of Two Sources

Eshan Chattopadhyay, Jyun-Jie Liao

Subjects: Computational Complexity (cs.CC)

[21] arXiv:2110.13014 [pdf, other]

Title: A Compilation of Succinctness Results for Arithmetic Circuits

Alexis de Colnet, Stefan Mengel

Comments: 11 pages

Subjects: Computational Complexity (cs.CC)

[22] arXiv:2110.14045 [pdf, other]

Title: The Computational Complexity of Finding Arithmetic Expressions With and Without Parentheses

Jayson Lynch, Yan (Roger)Weng

Comments: 15 pages, 1 figure, writing and presentation edited

Subjects: Computational Complexity (cs.CC)

[23] arXiv:2110.14607 [pdf, other]

Title: Average-Case Subset Balancing Problems

Xi Chen, Yaonan Jin, Tim Randolph, Rocco A. Servedio

Comments: 44 pages, 5 figures

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

[24] arXiv:2110.15757 [pdf, other]

Title: On Structural Parameterizations of the Offensive Alliance Problem

Ajinkya Gaikwad, Soumen Maity

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

[25] arXiv:2110.00254 (cross-list from cs.GT) [pdf, other]

Title: The Complexity of Learning Approval-Based Multiwinner Voting Rules

Ioannis Caragiannis, Karl Fehrs

Comments: 28 pages, 1 figure

Journal-ref: Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), pages 4235-4932, 2022

Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC); Machine Learning (cs.LG)

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

Title: Computational Complexity of Deciding Provability in Linear Logic and its Fragments

Florian Chudigiewitsch

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

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

Title: On the complexity of the optimal transport problem with graph-structured cost

Jiaojiao Fan, Isabel Haasler, Johan Karlsson, Yongxin Chen

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

[28] arXiv:2110.00734 (cross-list from cs.GT) [pdf, html, other]

Title: Capacity Planning in Stable Matching

Federico Bobbio, Margarida Carvalho, Andrea Lodi, Ignacio Rios, Alfredo Torrico

Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC); Optimization and Control (math.OC)

[29] arXiv:2110.00776 (cross-list from cs.CL) [pdf, other]

Title: Minimizing LR(1) State Machines is NP-Hard

Wuu Yang

Comments: 15 pages, 4 appendices, 14 figures. A preliminary version of this paper appeared in Proc. 14th International Conf. Autonomic and Autonomous Systems (ICAS 2018) May 20-24, 2018, Nice, France

Subjects: Computation and Language (cs.CL); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)

[30] arXiv:2110.00900 (cross-list from math.GR) [pdf, other]

Title: The isomorphism problem for plain groups is in $Σ_3^{\mathsf{P}}$

Heiko Dietrich, Murray Elder, Adam Piggott, Youming Qiao, Armin Weiß

Comments: 11 pages, 0 figures. Accepted in STACS2022

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

[31] arXiv:2110.01096 (cross-list from q-bio.MN) [pdf, other]

Title: Fast algorithm to identify cluster synchrony through fibration symmetries in large information-processing networks

Higor S. Monteiro, Ian Leifer, Saulo D. S. Reis, José S. Andrade Jr., Hernan A. Makse

Comments: 13 pages, 7 figures

Subjects: Molecular Networks (q-bio.MN); Computational Complexity (cs.CC)

[32] arXiv:2110.01913 (cross-list from math.AG) [pdf, other]

Title: Segre-Driven Radicality Testing

Martin Helmer, Elias Tsigaridas

Subjects: Algebraic Geometry (math.AG); Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Commutative Algebra (math.AC)

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

Title: Subquadratic-time algorithm for the diameter and all eccentricities on median graphs

Pierre Bergé, Guillaume Ducoffe, Michel Habib

Comments: 43 pages, extended abstract in STACS 2022

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

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

Title: Tight bounds for counting colorings and connected edge sets parameterized by cutwidth

Carla Groenland, Jesper Nederlof, Isja Mannens, Krisztina Szilágyi

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

[35] arXiv:2110.04191 (cross-list from quant-ph) [pdf, other]

Title: The Parallel Reversible Pebbling Game: Analyzing the Post-Quantum Security of iMHFs

Jeremiah Blocki, Blake Holman, Seunghoon Lee

Comments: 42 pages, 5 figures

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Cryptography and Security (cs.CR)

[36] arXiv:2110.04651 (cross-list from quant-ph) [pdf, other]

Title: Nonlocal Games, Compression Theorems, and the Arithmetical Hierarchy

Hamoon Mousavi, Seyed Sajjad Nezhadi, Henry Yuen

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

[37] arXiv:2110.05517 (cross-list from quant-ph) [pdf, other]

Title: Learnability of the output distributions of local quantum circuits

Marcel Hinsche, Marios Ioannou, Alexander Nietner, Jonas Haferkamp, Yihui Quek, Dominik Hangleiter, Jean-Pierre Seifert, Jens Eisert, Ryan Sweke

Comments: 24+11 pages, 5 figures, comments welcome

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Machine Learning (cs.LG); Machine Learning (stat.ML)

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

Title: Global Optimality Beyond Two Layers: Training Deep ReLU Networks via Convex Programs

Tolga Ergen, Mert Pilanci

Comments: Accepted to ICML 2021

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

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

Title: Notes on kAExp(pol) problems for deterministic machines

Alessio Mansutti

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

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

Title: Complexity of optimizing over the integers

Amitabh Basu

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

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

Title: HEDP: A Method for Early Forecasting Software Defects based on Human Error Mechanisms

Fuqun Huang, Lorenzo Strigini

Comments: 30 pages, 5 figures, and 17 tables

Journal-ref: IEEE Access-2023

Subjects: Software Engineering (cs.SE); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Computers and Society (cs.CY)

[42] arXiv:2110.06840 (cross-list from quant-ph) [pdf, other]

Title: Straddling-gates problem in multipartite quantum systems

Yuxuan Zhang

Comments: 6 pages, 2 figures

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

[43] arXiv:2110.06964 (cross-list from quant-ph) [pdf, other]

Title: The Complexity of Bipartite Gaussian Boson Sampling

Daniel Grier, Daniel J. Brod, Juan Miguel Arrazola, Marcos Benicio de Andrade Alonso, Nicolás Quesada

Comments: 44 pages; v3 - journal version

Journal-ref: Quantum 6, 863 (2022)

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

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

Title: On the proper interval completion problem within some chordal subclasses

François Dross, Claire Hilaire, Ivo Koch, Valeria Leoni, Nina Pardal, María Inés Lopez Pujato, Vinicius Fernandes dos Santos

Comments: 15 pages, 4 figures

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

[45] arXiv:2110.07781 (cross-list from quant-ph) [pdf, other]

Title: New techniques for bounding stabilizer rank

Benjamin Lovitz, Vincent Steffan

Comments: 22 pages. Feedback welcome!

Journal-ref: Quantum 6, 692 (2022)

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

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

Title: Tight Lipschitz Hardness for Optimizing Mean Field Spin Glasses

Brice Huang, Mark Sellke

Comments: 84 pages, 2 figures, updated introduction

Subjects: Probability (math.PR); Disordered Systems and Neural Networks (cond-mat.dis-nn); Computational Complexity (cs.CC); Mathematical Physics (math-ph); Optimization and Control (math.OC)

[47] arXiv:2110.08325 (cross-list from quant-ph) [pdf, other]

Title: Minor Embedding in Broken Chimera and Pegasus Graphs is NP-complete

Elisabeth Lobe, Annette Lutz

Comments: 36 pages, 21 figures

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

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

Title: Faster Modular Composition

Vincent Neiger, Bruno Salvy, Éric Schost, Gilles Villard

Comments: 78 pages

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

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

Title: Algorithms, hardness and graph products on a pursuit-evasion game

Eurinardo Costa, Nicolas Martins, Rudini Sampaio

Comments: 15 pages, 9 figures

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

[50] arXiv:2110.08973 (cross-list from quant-ph) [pdf, html, other]

Title: Tight Bounds on the Spooky Pebble Game: Recycling Qubits with Measurements

Niels Kornerup, Jonathan Sadun, David Soloveichik

Comments: 25 pages, 5 figures, presented as a poster at QIP 2022, to appear in the Quantum Journal

Journal-ref: Quantum 9, 1636 (2025)

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