We gratefully acknowledge support from
the Simons Foundation and member institutions.

Computational Complexity

Authors and titles for cs.CC in Dec 2021

[ total of 55 entries: 1-25 | 26-50 | 51-55 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2112.00006 [pdf]
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, Spurious Minima and NP-hardness 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
Comments: Slightly modified version of a CCC 2021 paper that also appeared on ECCC 27: 149 (2020)
Subjects: Computational Complexity (cs.CC)
[4]  arXiv:2112.00792 [pdf, other]
Title: Ideals, Determinants, and Straightening: Proving and Using Lower Bounds for Polynomial Ideals
Comments: Abstract shortened to meet arXiv length requirement
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
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
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
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
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
Subjects: Computational Complexity (cs.CC)
[12]  arXiv:2112.03329 [pdf, other]
Title: Inconsistent Planning: When in doubt, toss a coin!
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
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: V4 further made some proofs more accurate, feedbacks are welcome. arXiv admin note: text overlap with arXiv:2110.06211, arXiv:2110.05942, arXiv:2106.11886
Subjects: Computational Complexity (cs.CC)
[15]  arXiv:2112.03983 [pdf, ps, other]
Title: Almost Polynomial Factor Inapproximability for Parameterized k-Clique
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."
Comments: 8 pages, 1 figure, 1 algorithm
Subjects: Computational Complexity (cs.CC)
[18]  arXiv:2112.07914 [pdf, other]
Title: ZHED is NP-complete
Subjects: Computational Complexity (cs.CC)
[19]  arXiv:2112.08501 [pdf, other]
Title: Optimal Grain Mixing is NP-Complete
Subjects: Computational Complexity (cs.CC)
[20]  arXiv:2112.08953 [pdf, other]
Title: Deciding twin-width at most 4 is NP-complete
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
Comments: 16 pages, 5 figures
Subjects: Computational Complexity (cs.CC)
[22]  arXiv:2112.11044 [pdf, ps, other]
Title: Extending Merge Resolution to a Family of Proof Systems
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: 33 pages, 7 figures. This version adds a polynomial-time solution to the iterated integer interval exchange problem, listed as open in the previous version
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
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
Comments: 14 pages including references and appendices
Subjects: Computational Complexity (cs.CC)
[ total of 55 entries: 1-25 | 26-50 | 51-55 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2205, contact, help  (Access key information)