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

Computational Complexity

Authors and titles for cs.CC in May 2022

[ total of 75 entries: 1-25 | 26-50 | 51-75 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2205.00086 [pdf, ps, other]
Title: Enumerating Connected Dominating Sets
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)
[2]  arXiv:2205.00127 [pdf, other]
Title: Baba is You is Undecidable
Authors: Jonathan Geller
Subjects: Computational Complexity (cs.CC)
[3]  arXiv:2205.00539 [pdf, other]
Title: Enumeration Classes Defined by Circuits
Comments: 20 pages, 1 figure
Subjects: Computational Complexity (cs.CC); Computation and Language (cs.CL); Data Structures and Algorithms (cs.DS)
[4]  arXiv:2205.00611 [pdf, ps, other]
Title: Improved Low-Depth Set-Multilinear Circuit Lower Bounds
Comments: 14 pages, To appear in Computational Complexity Conference (CCC) 2022
Subjects: Computational Complexity (cs.CC)
[5]  arXiv:2205.00762 [pdf, ps, other]
Title: Superredundancy: A tool for Boolean formula minimization complexity analysis
Authors: Paolo Liberatore
Comments: arXiv admin note: substantial text overlap with arXiv:2005.04123
Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI); Hardware Architecture (cs.AR); Logic in Computer Science (cs.LO)
[6]  arXiv:2205.00851 [pdf, other]
Title: Weighted Counting of Matchings in Unbounded-Treewidth Graph Families
Comments: 34 pages, including 12 pages of main text
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
[7]  arXiv:2205.01009 [pdf, other]
Title: Token sliding on graphs of girth five
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS); Combinatorics (math.CO)
[8]  arXiv:2205.01189 [pdf, other]
Title: A Critique of Uribe's "P vs. NP"
Authors: Henry B. Welles
Comments: 7 pages, 2 figures
Subjects: Computational Complexity (cs.CC)
[9]  arXiv:2205.01302 [pdf, ps, other]
Title: Capacity Variation in the Many-to-one Stable Matching
Subjects: Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT)
[10]  arXiv:2205.01482 [pdf, other]
Title: Hardness Results for Weaver's Discrepancy Problem
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[11]  arXiv:2205.02149 [pdf, other]
Title: Degree-restricted strength decompositions and algebraic branching programs
Comments: 14 pages
Subjects: Computational Complexity (cs.CC); Algebraic Geometry (math.AG)
[12]  arXiv:2205.02161 [pdf, ps, other]
Title: Is the Algorithmic Kadison-Singer Problem Hard?
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[13]  arXiv:2205.02168 [pdf, other]
Title: Separations in Proof Complexity and TFNP
Subjects: Computational Complexity (cs.CC)
[14]  arXiv:2205.02345 [pdf, ps, other]
Title: Sketching Approximability of (Weak) Monarchy Predicates
Subjects: Computational Complexity (cs.CC)
[15]  arXiv:2205.02374 [pdf, other]
Title: The composition complexity of majority
Comments: to appear in CCC 2022. Fixed typos, updated references
Subjects: Computational Complexity (cs.CC)
[16]  arXiv:2205.02744 [pdf, ps, other]
Title: Streaming and Sketching Complexity of CSPs: A survey
Authors: Madhu Sudan
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[17]  arXiv:2205.03372 [pdf, ps, other]
Title: Constrained Backward Time Travel Planning is in P
Authors: Quentin Bramas (UNISTRA, ICube, ICUBE-Réseaux), Jean-Romain Luttringer (UNISTRA, ICube, ICUBE-Réseaux), Sébastien Tixeuil (NPA)
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[18]  arXiv:2205.03400 [pdf, other]
Title: Defying Gravity: The Complexity of the Hanano Puzzle
Subjects: Computational Complexity (cs.CC)
[19]  arXiv:2205.03577 [pdf, ps, other]
Title: Bounds on the Total Coefficient Size of Nullstellensatz Proofs of the Pigeonhole Principle and the Ordering Principle
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[20]  arXiv:2205.04103 [pdf, ps, other]
Title: On Turedo Hierarchies and Intrinsic Universality
Authors: Samuel Nalin (LIFO), Guillaume Theyssier (I2M)
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Dynamical Systems (math.DS)
[21]  arXiv:2205.04787 [pdf, other]
Title: Fixed-Template Promise Model Checking Problems
Comments: in Proceedings of the 28th International Conference on Principles and Practice of Constraint Programming, CP 2022
Subjects: Computational Complexity (cs.CC); Logic (math.LO)
[22]  arXiv:2205.05782 [pdf, ps, other]
Title: On the Complexity of Determining Whether there is a Unique Hamiltonian Cycle or Path
Subjects: Computational Complexity (cs.CC)
[23]  arXiv:2205.06249 [pdf, ps, other]
Title: Optimal-Degree Polynomial Approximations for Exponentials and Gaussian Kernel Density Estimation
Comments: 27 pages, to appear in the 37th Computational Complexity Conference (CCC 2022)
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Classical Analysis and ODEs (math.CA)
[24]  arXiv:2205.06429 [pdf, ps, other]
Title: Skew-sparse matrix multiplication
Subjects: Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Numerical Analysis (math.NA)
[25]  arXiv:2205.06738 [pdf, ps, other]
Title: Sparsity and $\ell_p$-Restricted Isometry
Subjects: Computational Complexity (cs.CC); Information Theory (cs.IT)
[ total of 75 entries: 1-25 | 26-50 | 51-75 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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