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)