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

Computational Complexity

Authors and titles for cs.CC in Apr 2021

[ total of 58 entries: 1-25 | 26-50 | 51-58 ]
[ showing 25 entries per page: fewer | more | all ]
[1]  arXiv:2104.00406 [pdf, ps, other]
Title: The complete classification for quantified equality constraints
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Logic (math.LO)
[2]  arXiv:2104.01130 [pdf, other]
Title: Symmetric Subrank of Tensors and Applications
Comments: We have split up the previous version at arXiv:2104.01130v1 into two: (1) the paper at arXiv:2111.08262 on combinatorial degeneration and (2) this paper on symmetric subrank
Subjects: Computational Complexity (cs.CC); Commutative Algebra (math.AC); Combinatorics (math.CO)
[3]  arXiv:2104.01736 [pdf, other]
Title: A Critique of Keum-Bae Cho's Proof that $\mathrm{P} \subsetneq \mathrm{NP}$
Subjects: Computational Complexity (cs.CC)
[4]  arXiv:2104.02563 [pdf, ps, other]
Title: Proof Complexity of Symbolic QBF Reasoning
Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[5]  arXiv:2104.02886 [pdf, ps, other]
Title: On Salum's Algorithm for $\mathrm{X3SAT}$
Comments: 7 pages
Subjects: Computational Complexity (cs.CC)
[6]  arXiv:2104.04711 [pdf, ps, other]
Title: Information in propositional proofs and algorithmic proof search
Authors: Jan Krajicek
Comments: Preliminary version February 2021
Journal-ref: J. of Symbolic Logic, vol.87, nb.2, (June 2022), pp.852-869
Subjects: Computational Complexity (cs.CC); Logic (math.LO)
[7]  arXiv:2104.05065 [pdf, other]
Title: The algebraic structure of the densification and the sparsification tasks for CSPs
Authors: Rustem Takhanov
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[8]  arXiv:2104.05322 [pdf, ps, other]
Title: Feedback Vertex Set on Hamiltonian Graphs
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
[9]  arXiv:2104.05323 [pdf, ps, other]
Title: Characterization of Decomposition of Matrix Multiplication Tensors
Authors: Petr Tichavsky
Subjects: Computational Complexity (cs.CC)
[10]  arXiv:2104.07166 [pdf, ps, other]
Title: On Lev Gordeev's "On P Versus NP"
Comments: This article has 6 pages and 1 figure. This work as supported in part by NSF grant CCF-2030859 to the Computing Research Association for the CIFellows Project and by NSF grant CCF-2006496
Subjects: Computational Complexity (cs.CC)
[11]  arXiv:2104.07293 [pdf, other]
Title: Sized Types with Usages for Parallel Complexity of Pi-Calculus Processes
Authors: Patrick Baillot (LIP), Alexis Ghyselen (LIP), Naoki Kobayashi (UTokyo)
Subjects: Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC)
[12]  arXiv:2104.08470 [pdf, ps, other]
Title: 3-Coloring on Regular, Planar, and Ordered Hamiltonian Graphs
Comments: arXiv admin note: text overlap with arXiv:2104.05322
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
[13]  arXiv:2104.08616 [pdf, ps, other]
Title: A Timecop's Chase Around the Table
Subjects: Computational Complexity (cs.CC)
[14]  arXiv:2104.09002 [pdf, other]
Title: On the Complexity of Inverse Mixed Integer Linear Optimization
Subjects: Computational Complexity (cs.CC); Optimization and Control (math.OC)
[15]  arXiv:2104.10570 [pdf, other]
Title: QCSP on Reflexive Tournaments
Comments: arXiv admin note: text overlap with arXiv:1709.09486
Journal-ref: ACM Trans. Comput. Log. 23(3): 14:1-14:22 (2022)
Subjects: Computational Complexity (cs.CC)
[16]  arXiv:2104.11808 [pdf, ps, other]
Title: Minimal Taylor Algebras as a Common Framework for the Three Algebraic Approaches to the CSP
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[17]  arXiv:2104.12800 [pdf, ps, other]
Title: Beyond PCSP (1-in-3,NAE)
Comments: Full version of an ICALP 2021 paper
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
[18]  arXiv:2104.13097 [pdf, other]
Title: Minimum Stable Cut and Treewidth
Authors: Michael Lampis
Comments: Full version of ICALP 2021 paper
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[19]  arXiv:2104.13681 [pdf, ps, other]
Title: Kernelization, Proof Complexity and Social Choice
Comments: Revised version will appear in the Proceedings of ICALP 2021
Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO); Logic (math.LO)
[20]  arXiv:2104.14171 [pdf, other]
Title: Parameterized String Equations
Subjects: Computational Complexity (cs.CC)
[21]  arXiv:2104.14316 [pdf, ps, other]
Title: Separation of PSPACE and EXP
Subjects: Computational Complexity (cs.CC)
[22]  arXiv:2104.14395 [pdf, ps, other]
Title: Revising Johnson's table for the 21st century
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[23]  arXiv:2104.14415 [pdf, ps, other]
Title: Polytime reductions of AF-algebraic problems
Authors: Daniele Mundici
Subjects: Computational Complexity (cs.CC); Functional Analysis (math.FA); Operator Algebras (math.OA)
[24]  arXiv:2104.14596 [pdf, other]
Title: Parameterized (Modular) Counting and Cayley Graph Expanders
Comments: 49 pages, 4 figures
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
[25]  arXiv:2104.14647 [pdf, other]
Title: Turing Completeness and Sid Meier's Civilization
Authors: Adrian de Wynter
Comments: Preprint
Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI)
[ total of 58 entries: 1-25 | 26-50 | 51-58 ]
[ showing 25 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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