Computational Complexity

Authors and titles for cs.CC in Dec 2021

[1]  arXiv:2112.00006 [pdf, ps, other]

Title: Towards algorithm-free physical equilibrium model of computing

Authors: Seyed Mousavi

Subjects: Computational Complexity (cs.CC); Computation and Language (cs.CL)

[2]  arXiv:2112.00386 [pdf, other]

Title: Spurious Valleys, NP-hardness, and Tractability of Sparse Matrix Factorization With Fixed Support

Authors: Quoc-Tung Le (DANTE), Elisa Riccietti (DANTE), Rémi Gribonval (DANTE)

Subjects: Computational Complexity (cs.CC)

[3]  arXiv:2112.00673 [pdf, other]

Title: Robustly Self-Ordered Graphs: Constructions and Applications to Property Testing

Authors: Oded Goldreich, Avi Wigderson

Comments: Slightly modified and revised version of a CCC 2021 paper that also appeared on ECCC 27: 149 (2020). TheoretiCS 1 (2022), Article 1, 92 pages

Journal-ref: TheoretiCS, Volume 1 (December 21, 2022) theoretics:8788

Subjects: Computational Complexity (cs.CC)

[4]  arXiv:2112.00792 [pdf, other]

Title: Ideals, Determinants, and Straightening: Proving and Using Lower Bounds for Polynomial Ideals

Authors: Robert Andrews, Michael A. Forbes

Comments: Abstract shortened to meet arXiv length requirement. v2: Improvements to hitting set generator construction and lower bound for the Ideal Proof System

Subjects: Computational Complexity (cs.CC)

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

Title: The Mirage of Universality in Cellular Automata

Authors: Guillaume Theyssier (I2M)

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Dynamical Systems (math.DS)

[6]  arXiv:2112.01710 [pdf, ps, other]

Title: Strong Hardness of Approximation for Tree Transversals

Authors: Euiwoong Lee, Pengxiang Wang

Subjects: Computational Complexity (cs.CC)

[7]  arXiv:2112.01781 [pdf, ps, other]

Title: On the Complexity of the K-way Vertex Cut Problem

Authors: Mohammed Lalou

Comments: 3 figures, 5 pages (double column), conference

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

[8]  arXiv:2112.02152 [pdf, ps, other]

Title: A reliable Turing machine

Authors: Ilir Çapuni, Peter Gács

Comments: 82 pages

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

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

Title: The Complexity of Data-Driven Norm Synthesis and Revision

Authors: Davide Dell'Anna, Natasha Alechina, Brian Logan, Maarten Löffler, Fabiano Dalpiaz, Mehdi Dastani

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

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

Title: On Complexity of 1-Center in Various Metrics

Authors: Amir Abboud, Mohammad Hossein Bateni, Vincent Cohen-Addad, Karthik C. S., Saeed Seddighin

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

[11]  arXiv:2112.03255 [pdf, other]

Title: NP-completeness of the Active Time Scheduling Problem

Authors: Sagnik Saha, Manish Purohit

Subjects: Computational Complexity (cs.CC)

[12]  arXiv:2112.03329 [pdf, other]

Title: Inconsistent Planning: When in doubt, toss a coin!

Authors: Yuriy Dementiev, Fedor V. Fomin, Artur Ignatiev

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

[13]  arXiv:2112.03484 [pdf, other]

Title: Computational complexity of problems for deterministic presentations of sofic shifts

Authors: Justin Cai, Rafael Frongillo

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

[14]  arXiv:2112.03677 [pdf, ps, other]

Title: On Baker-Gill-Solovay Oracle Turing Machines and Relativization Barrier

Authors: Tianrong Lin

Comments: 10 pages

Subjects: Computational Complexity (cs.CC)

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

Title: Almost Polynomial Factor Inapproximability for Parameterized k-Clique

Authors: Karthik C. S., Subhash Khot

Subjects: Computational Complexity (cs.CC)

[16]  arXiv:2112.04669 [pdf, ps, other]

Title: A Survey on Parameterized Inapproximability: $k$-Clique, $k$-SetCover, and More

Authors: Xuandi Ren

Subjects: Computational Complexity (cs.CC)

[17]  arXiv:2112.06062 [pdf, other]

Title: A Critique of Kumar's "Necessary and Sufficient Condition for Satisfiability of a Boolean Formula in CNF and Its Implications on P versus NP problem."

Authors: Michael C. Chavrimootoo, Henry B. Welles

Comments: 8 pages, 1 figure, 1 algorithm

Subjects: Computational Complexity (cs.CC)

[18]  arXiv:2112.07914 [pdf, other]

Title: ZHED is NP-complete

Authors: Sagnik Saha, Erik D. Demaine

Subjects: Computational Complexity (cs.CC)

[19]  arXiv:2112.08501 [pdf, other]

Title: Optimal Grain Mixing is NP-Complete

Authors: Md Asaduzzaman Noor, Sean Yaw, Binhai Zhu, John W. Sheppard

Subjects: Computational Complexity (cs.CC)

[20]  arXiv:2112.08953 [pdf, other]

Title: Deciding twin-width at most 4 is NP-complete

Authors: Pierre Bergé, Édouard Bonnet, Hugues Déprés

Comments: 30 pages, 17 figures

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

[21]  arXiv:2112.10562 [pdf, ps, other]

Title: Hardness of the Generalized Coloring Numbers

Authors: Michael Breen-McKay, Brian Lavallee, Blair D. Sullivan

Comments: 17 pages, 4 figures

Subjects: Computational Complexity (cs.CC)

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

Title: Extending Merge Resolution to a Family of Proof Systems

Authors: Sravanthi Chede, Anil Shukla

Comments: 27 pages, 4 figures

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

[23]  arXiv:2112.11607 [pdf, other]

Title: The Complexity of Iterated Reversible Computation

Authors: David Eppstein

Comments: 35 pages, 8 figures

Journal-ref: TheoretiCS, Volume 2 (December 26, 2023) theoretics:9072

Subjects: Computational Complexity (cs.CC); Cellular Automata and Lattice Gases (nlin.CG)

[24]  arXiv:2112.11769 [pdf, other]

Title: On Theoretical Complexity and Boolean Satisfiability

Authors: Mohamed Ghanem, Dauod Siniora

Comments: Undergraduate Math Survey Thesis

Subjects: Computational Complexity (cs.CC); Computation and Language (cs.CL)

[25]  arXiv:2112.12430 [pdf, ps, other]

Title: Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation

Authors: Alexis de Colnet, Stefan Mengel

Comments: 14 pages including references and appendices

Subjects: Computational Complexity (cs.CC)

[26]  arXiv:2112.13045 [pdf, ps, other]

Title: The probabilistic Weisfeiler-Leman algorithm

Authors: Saveliy V. Skresanov

Comments: 7 pages

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

[27]  arXiv:2112.13205 [pdf, other]

Title: New Computing Model of $GN_eTM$ Turing Machine On Solving Even Goldbach Conjecture

Authors: Bogang Lin

Subjects: Computational Complexity (cs.CC)

[28]  arXiv:2112.00519 (cross-list from cs.CG) [pdf, ps, other]

Title: On the Complexity of the Geometric Median Problem with Outliers

Authors: Vladimir Shenmaier

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

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

Title: A Constant-Factor Approximation Algorithm for Point Guarding an Art Gallery

Authors: Arash Vaezi, Mohammad Ghodsi

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

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

Title: A short note on the counting complexity of conjunctive queries

Authors: Stefan Mengel

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

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

Title: On Complexity of Computing Bottleneck and Lexicographic Optimal Cycles in a Homology Class

Authors: Erin Wolf Chambers, Salman Parsa, Hannah Schreiber

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

[32]  arXiv:2112.03543 (cross-list from cs.DC) [pdf, ps, other]

Title: Phase Transition of the 3-Majority Dynamics with Uniform Communication Noise

Authors: Francesco d'Amore (COATI), Isabella Ziccardi (UNIVAQ)

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC); Social and Information Networks (cs.SI); Probability (math.PR)

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

Title: Lattice-Based Methods Surpass Sum-of-Squares in Clustering

Authors: Ilias Zadik, Min Jae Song, Alexander S. Wein, Joan Bruna

Comments: Added a new tight information-theoretic lower bound for label recovery

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Statistics Theory (math.ST); Machine Learning (stat.ML)

[34]  arXiv:2112.04118 (cross-list from cs.IT) [pdf, ps, other]

Title: Convolutional codes with a maximum distance profile based on skew polynomials

Authors: Zitan Chen

Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Rings and Algebras (math.RA)

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

Title: The Complexity of the Hausdorff Distance

Authors: Paul Jungeblut, Linda Kleist, Tillmann Miltzow

Comments: Preliminary version appeared at SoCG 2022

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

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

Title: Unique Assembly Verification in Two-Handed Self-Assembly

Authors: David Caballero, Timothy Gomez, Robert Schweller, Tim Wylie

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

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

Title: Beyond the Longest Letter-duplicated Subsequence Problem

Authors: Wenfeng Lai, Adiesha Liyanage, Binhai Zhu, Peng Zou

Comments: 18 pages

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

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

Title: The Price of Justified Representation

Authors: Edith Elkind, Piotr Faliszewski, Ayumi Igarashi, Pasin Manurangsi, Ulrike Schmidt-Kraepelin, Warut Suksompong

Comments: Appears in the 36th AAAI Conference on Artificial Intelligence (AAAI), 2022

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

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

Title: On sketching approximations for symmetric Boolean CSPs

Authors: Joanna Boyland, Michael Hwang, Tarun Prasad, Noah Singer, Santhoshini Velusamy

Comments: 27 pages; same results but significant changes in presentation

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

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

Title: Geometric Path Enumeration for Equivalence Verification of Neural Networks

Authors: Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz

Comments: Paper presented at The 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI)

Journal-ref: 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)

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

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

Title: Intersection and Union Hierarchies of Deterministic Context-Free Languages and Pumping Lemmas

Authors: Tomoyuki Yamakami

Comments: (A4, 10pt, p.23) This exposition completes and corrects a preliminary report that appeared in the Proceedings of the 14th International Conference on Language and Automata Theory and Applications (LATA 2020), Lecture Notes in Computer Science, vol. 12038, pp. 341-353, 2020. A conference talk was given online during October 20-24, 2021 due to the coronavirus pandemic

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

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

Title: On the parallel complexity of Group Isomorphism via Weisfeiler-Leman

Authors: Joshua A. Grochow, Michael Levet

Comments: Added some remarks in the intro. This is the full version of an extended abstract that will appear in FCT2023

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Group Theory (math.GR)

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

Title: Learning with distributional inverters

Authors: Eric Binnendyk, Marco Carmosino, Antonina Kolokolova, Ramyaa Ramyaa, Manuel Sabin

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

[44]  arXiv:2112.14102 (cross-list from cs.LO) [src]

Title: On the Complexity of Realizability for Safety LTL and Related Subfragments

Authors: Noel Arteche, Montserrat Hermo

Comments: The paper was withdrawn due to a mistake in the proof of Theorem 15, in Section 4. The proposed translation is not equirealizable (the cases for disjunction and Release fail)

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

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

Title: On the computational complexity of the Steiner $k$-eccentricity

Authors: Xingfu Li, Guihai Yu, Aleksandar Ilić, Sandi Klavžar

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

[46]  arXiv:2112.01657 (cross-list from quant-ph) [pdf, other]

Title: Limitations of Linear Cross-Entropy as a Measure for Quantum Advantage

Authors: Xun Gao, Marcin Kalinowski, Chi-Ning Chou, Mikhail D. Lukin, Boaz Barak, Soonwon Choi

Comments: 25+33 pages, 13+16 figures

Subjects: Quantum Physics (quant-ph); Statistical Mechanics (cond-mat.stat-mech); Computational Complexity (cs.CC)

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

Title: The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups

Authors: J.C. Birget, A.L. Talambutsa

Comments: 12 pages. Small corrections and clarifications were added in version 2

Journal-ref: International Journal of Algebra and Computation (2022)

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

[48]  arXiv:2112.03744 (cross-list from quant-ph) [pdf, ps, other]

Title: Spatial Search on Johnson Graphs by Discrete-Time Quantum Walk

Authors: Hajime Tanaka, Mohamed Sabri, Renato Portugal

Comments: 15 pages

Journal-ref: Journal of Physics A: Mathematical and Theoretical, Vol.55, 255304, 2022

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

[49]  arXiv:2112.05004 (cross-list from math.NT) [pdf, other]

Title: Explicit Bounds for Linear Forms in the Exponentials of Algebraic Numbers

Authors: Cheng-Chao Huang

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

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

Title: Quantum commitments and signatures without one-way functions

Authors: Tomoyuki Morimae, Takashi Yamakawa

Comments: 26 pages

Journal-ref: CRYPTO 2022

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