Computational Complexity

Authors and titles for April 2023

[11] arXiv:2304.03965 [pdf, html, other]

Title: The n-vehicle exploration problem is NP-complete

Jinchuan Cui, Xiaoya Li

Comments: 5 pages, no figure

Subjects: Computational Complexity (cs.CC)

[12] arXiv:2304.04837 [pdf, other]

Title: Geometry of Rounding: Near Optimal Bounds and a New Neighborhood Sperner's Lemma

Jason Vander Woude, Peter Dixon, A. Pavan, Jamie Radcliffe, N. V. Vinodchandran

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

[13] arXiv:2304.05598 [pdf, other]

Title: Optimal Testing of Generalized Reed-Muller Codes in Fewer Queries

Dor Minzer, Kai Zheng

Comments: 42 pages, 8 page appendix

Subjects: Computational Complexity (cs.CC); Information Theory (cs.IT)

[14] arXiv:2304.06523 [pdf, other]

Title: The 2-Attractor Problem is NP-Complete

Janosch Fuchs, Philip Whittington

Subjects: Computational Complexity (cs.CC)

[15] arXiv:2304.07284 [pdf, other]

Title: Solving Unique Games over Globally Hypercontractive Graphs

Mitali Bafna, Dor Minzer

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

[16] arXiv:2304.07516 [pdf, html, other]

Title: Simple Combinatorial Construction of the $k^{o(1)}$-Lower Bound for Approximating the Parameterized $k$-Clique

Yijia Chen, Yi Feng, Bundit Laekhanukit, Yanlin Liu

Comments: 22 pages, 1 figure

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

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

Title: On modeling NP-Complete problems as polynomial-sized linear programs: Escaping/Side-stepping the "barriers"

Moustapha Diaby, Mark Karwan, Lei Sun

Comments: 24 pages; 4 figures; 2 tables; Version 2: Minor typos corrected; Version 3: Discussion/editorial clarification in section 2.2.1 (last paragraph); This version (4): Further clarification in last paragraph of section 2.2.1

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

[18] arXiv:2304.07825 [pdf, other]

Title: Regression and Algorithmic Information Theory

Samuel Epstein

Subjects: Computational Complexity (cs.CC)

[19] arXiv:2304.09422 [pdf, other]

Title: Limits of CDCL Learning via Merge Resolution

Marc Vinyals, Chunxiao Li, Noah Fleming, Antonina Kolokolova, Vijay Ganesh

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

[20] arXiv:2304.10594 [pdf, other]

Title: Comparative Analysis of Deterministic and Nondeterministic Decision Trees for Decision Tables from Closed Classes

Azimkhon Ostonov, Mikhail Moshkov

Subjects: Computational Complexity (cs.CC)

[21] arXiv:2304.10661 [pdf, other]

Title: A Conjecture Related to the Traveling Salesman Problem

Jian Yang

Subjects: Computational Complexity (cs.CC)

[22] arXiv:2304.11017 [pdf, other]

Title: Black-box Acceleration of Las Vegas Algorithms and Algorithmic Reverse Jensen's Inequalities

Kevin Scaman

Comments: 13 pages, 0 figures

Subjects: Computational Complexity (cs.CC)

[23] arXiv:2304.11325 [pdf, other]

Title: Deterministic identity testing paradigms for bounded top-fanin depth-4 circuits

Pranjal Dutta, Prateek Dwivedi, Nitin Saxena

Comments: A preliminary version appeared in 36th Computational Complexity Conference (CCC), 2021

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

[24] arXiv:2304.11495 [pdf, other]

Title: Explicit Directional Affine Extractors and Improved Hardness for Linear Branching Programs

Xin Li, Yan Zhong

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

[25] arXiv:2304.12517 [pdf, html, other]

Title: The 2-MAXSAT Problem Can Be Solved in Polynomial Time

Yangjun Chen

Comments: The paper contains errors

Subjects: Computational Complexity (cs.CC)

[26] arXiv:2304.13605 [pdf, other]

Title: On the Order of Power Series and the Sum of Square Roots Problem

Louis Gaillard, Gorav Jindal

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

[27] arXiv:2304.14058 [pdf, other]

Title: A Parameterized Theory of PAC Learning

Cornelius Brand, Robert Ganian, Kirill Simonov

Comments: Accepted at AAAI 2023

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

[28] arXiv:2304.14295 [pdf, other]

Title: On Solution Discovery via Reconfiguration

Michael R. Fellows, Mario Grobler, Nicole Megow, Amer E. Mouawad, Vijayaragunathan Ramamoorthi, Frances A. Rosamond, Daniel Schmand, Sebastian Siebertz

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

[29] arXiv:2304.14575 [pdf, other]

Title: A Critique of Czerwinski's "Separation of ${\rm PSPACE}$ and ${\rm EXP}$"

Ian Clingerman, Quan Luu

Subjects: Computational Complexity (cs.CC)

[30] arXiv:2304.14700 [pdf, other]

Title: Stretching Demi-Bits and Nondeterministic-Secure Pseudorandomness

Iddo Tzameret, Lu-Ming Zhang

Subjects: Computational Complexity (cs.CC)

[31] arXiv:2304.14702 [pdf, other]

Title: Upward Translation of Optimal and P-Optimal Proof Systems in the Boolean Hierarchy over NP

Fabian Egidy, Christian Glaßer, Martin Herold

Comments: Published in 48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)

Subjects: Computational Complexity (cs.CC)

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

Title: Gallai-like characterization of strong cocomparability graphs

Jing Huang

Comments: 9 pages

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

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

Title: Guaranteeing the \~O(AGM/OUT) Runtime for Uniform Sampling and OUT Size Estimation over Joins

Kyoungmin Kim, Jaehyun Ha, George Fletcher, Wook-Shin Han

Comments: 19 pages

Subjects: Databases (cs.DB); Computational Complexity (cs.CC)

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

Title: Variety of mutual-visibility problems in graphs

Serafino Cicerone, Gabriele Di Stefano, Lara Drozek, Jaka Hedzet, Sandi Klavzar, Ismael G. Yero

Comments: 23 pages, 4 figures, original paper

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

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

Title: Dichotomies for Maximum Matching Cut: $H$-Freeness, Bounded Diameter, Bounded Radius

Felicia Lucke, Daniël Paulusma, Bernard Ries

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