Computational Complexity

Authors and titles for February 2022

[26] arXiv:2202.10970 [pdf, other]

Title: $\mathbf{VDF} \subsetneq \mathbf{PSPACE}$

Souvik Sur

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

Subjects: Computational Complexity (cs.CC)

[27] arXiv:2202.11250 [pdf, other]

Title: Tight Dynamic Problem Lower Bounds from Generalized BMM and OMv

Ce Jin, Yinzhan Xu

Comments: To appear at STOC'22. Abstract shortened to fit arXiv requirements

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

[28] arXiv:2202.11582 [pdf, html, other]

Title: On the complexity of Chow and Hurwitz forms

Mahmut Levent Doğan, Alperen Ali Ergür, Elias Tsigaridas

Journal-ref: ACM Communications in Computer Algebra (2023) Vol. 57, No. 4

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

[29] arXiv:2202.11955 [pdf, other]

Title: NP$^{\#P}$ = $\exists$PP and other remarks about maximized counting

David Monniaux (VERIMAG - IMAG)

Subjects: Computational Complexity (cs.CC)

[30] arXiv:2202.13103 [pdf, other]

Title: Monotone Classes Beyond VNP

Prerona Chatterjee, Kshitij Gajjar, Anamay Tengse

Comments: 30 pages; made changes suggested by reviewers

Subjects: Computational Complexity (cs.CC)

[31] arXiv:2202.13810 [pdf, other]

Title: A Note on the Hardness of Problems from Cryptographic Group Actions

Giuseppe D'Alconzo

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

[32] arXiv:2202.13955 [pdf, other]

Title: MaxCut on Permutation Graphs is NP-complete

Celina M. H. de Figueiredo, Alexsander A. de Melo, Fabiano S. Oliveira, Ana Silva

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

[33] arXiv:2202.01103 (cross-list from cs.DM) [pdf, html, other]

Title: A New Temporal Interpretation of Cluster Editing

Cristiano Bocci, Chiara Capresi, Kitty Meeks, John Sylvester

Comments: 27 pages, 2 figures. Extended abstract appeared at IWOCA 2022

Journal-ref: Journal of Computer and System Sciences, Vol. 144, 2024, 103551

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

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

Title: Lossy Planarization: A Constant-Factor Approximate Kernelization for Planar Vertex Deletion

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

Comments: To appear at STOC'22

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

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

Title: Causal Inference Using Tractable Circuits

Adnan Darwiche

Comments: Appeared in Why-21 workshop of NeurIPS 2021 (Causal Inference & Machine Learning: Why now?)

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Machine Learning (cs.LG); Logic in Computer Science (cs.LO); Methodology (stat.ME)

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

Title: Tractable Boolean and Arithmetic Circuits

Adnan Darwiche

Comments: An earlier version of this article appeared in the following edited book. Pascal Hitzler and Md Kamruzzaman Sarker, editors. Neuro-Symbolic Artificial Intelligence: The State of the Art, volume 342 of Frontiers in Artificial Intelligence and Applications. IOS Press, 2021

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Machine Learning (cs.LG); Logic in Computer Science (cs.LO)

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

Title: Beyond Windability: An FPRAS for The Six-Vertex Model

Zhiguo Fu, Junda Li, Xiongxin Yang

Comments: 15 pages, 2 figures

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

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

Title: Reducing the Vertex Cover Number via Edge Contractions

Paloma T. Lima, Vinicius F. dos Santos, Ignasi Sau, Uéverton S. Souza, Prafullkumar Tale

Comments: 35 pages, 5 figures

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

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

Title: Two-closure of rank 3 groups in polynomial time

Saveliy V. Skresanov

Comments: 29 pages

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

[40] arXiv:2202.04047 (cross-list from quant-ph) [pdf, other]

Title: An exact quantum hidden subgroup algorithm and applications to solvable groups

Muhammad Imran, Gabor Ivanyos

Comments: Further minor changes and corrections, further new references

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

[41] arXiv:2202.04246 (cross-list from math.CO) [pdf, html, other]

Title: On the Keevash-Knox-Mycroft Conjecture

Luyining Gan, Jie Han

Comments: v1 is the conference version; v2, v3 are the journal versions; v4 is the final (full) version

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

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

Title: Constant Approximating Parameterized $k$-SetCover is W[2]-hard

Bingkai Lin, Xuandi Ren, Yican Sun, Xiuhan Wang

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

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

Title: Robust Sylvester-Gallai type theorem for quadratic polynomials

Shir Peleg, Amir Shpilka

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

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

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

Title: Hardness of Noise-Free Learning for Two-Hidden-Layer Neural Networks

Sitan Chen, Aravind Gollakota, Adam R. Klivans, Raghu Meka

Comments: 35 pages, v3: refined exposition

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

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

Title: Computational-Statistical Gaps in Reinforcement Learning

Daniel Kane, Sihan Liu, Shachar Lovett, Gaurav Mahajan

Comments: Updated references. Added discussion on linear Q* and V* only over reachable states

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

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

Title: Improved Upper Bounds for Finding Tarski Fixed Points

Xi Chen, Yuhao Li

Comments: To appear in EC 2022

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

[47] arXiv:2202.06115 (cross-list from math.AG) [pdf, html, other]

Title: Trinomials and Deterministic Complexity Limits for Real Solving

Emma Boniface, Weixun Deng, J. Maurice Rojas

Comments: 17 pages

Subjects: Algebraic Geometry (math.AG); Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Numerical Analysis (math.NA)

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

Title: Local inversion of maps: A new attack on Symmetric encryption, RSA and ECDLP

Virendra Sule

Comments: 31 pages

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

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

Title: Problems hard for treewidth but easy for stable gonality

Hans L. Bodlaender, Gunther Cornelissen, Marieke van der Wegen

Comments: 43 pages, 6 figures

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

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

Title: The Complexity of Matching Games: A Survey

Márton Benedek, Péter Biró, Matthew Johnson, Daniël Paulusma, Xin Ye

Journal-ref: Journal Of Artificial Intelligence Research, Volume 77, pages 459-485, 2023

Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)