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

Computational Complexity

Authors and titles for recent submissions

[ total of 15 entries: 1-15 ]
[ showing up to 25 entries per page: fewer | more ]

Fri, 22 Jan 2021

[1]  arXiv:2101.08600 [pdf, ps, other]
Title: On Separation between the Degree of a Boolean Function and the Block Sensitivity
Comments: 16 pages in total (12 for article + 4 for references and appendix)
Subjects: Computational Complexity (cs.CC)
[2]  arXiv:2101.08735 (cross-list from cs.LO) [pdf, ps, other]
Title: Work-sensitive Dynamic Complexity of Formal Languages
Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)
[3]  arXiv:2101.08381 (cross-list from quant-ph) [pdf, ps, other]
Title: Quantum Constraint Problems can be complete for $\mathsf{BQP}$, $\mathsf{QCMA}$, and more
Authors: Alex Meiburg
Comments: 19 pages
Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)
[4]  arXiv:2101.08377 (cross-list from cs.LO) [pdf, other]
Title: Finite Model Theory of the Triguarded Fragment and Related Logics
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Logic (math.LO)

Thu, 21 Jan 2021

[5]  arXiv:2101.08141 [pdf, ps, other]
Title: Positive spectrahedrons: Geometric properties, Invariance principles and Pseudorandom generators
Comments: 63 pages
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[6]  arXiv:2101.07856 (cross-list from math.CO) [pdf, ps, other]
Title: Colouring Graphs of Bounded Diameter in the Absence of Small Cycles
Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

Wed, 20 Jan 2021

[7]  arXiv:2101.07495 [pdf, ps, other]
Title: Tameness and the power of programs over monoids in DA
Authors: Nathan Grosshans, Pierre Mckenzie (DIRO), Luc Segoufin (VALDA, DI-ENS)
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[8]  arXiv:2101.07696 (cross-list from cs.CG) [pdf, other]
Title: Translating Hausdorff is Hard: Fine-Grained Lower Bounds for Hausdorff Distance Under Translation
Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC)
[9]  arXiv:2101.07550 (cross-list from cs.DS) [pdf, ps, other]
Title: Upper Dominating Set: Tight Algorithms for Pathwidth and Sub-Exponential Approximation
Comments: This paper has been accepted to CIAC 2021
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)
[10]  arXiv:2101.07546 (cross-list from cs.DS) [pdf, other]
Title: Subspace exploration: Bounds on Projected Frequency Estimation
Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)

Tue, 19 Jan 2021

[11]  arXiv:2101.07237 [pdf, ps, other]
Title: Transverse Wave: an impartial color-propagation game inspired by Social Influence and Quantum Nim
Comments: 29 Pages
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[12]  arXiv:2101.06361 [pdf, ps, other]
Title: Strings-and-Coins and Nimstring are PSPACE-complete
Comments: 9 pages, 7 figures
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[13]  arXiv:2101.07000 (cross-list from q-bio.PE) [pdf, other]
Title: Least resolved trees for two-colored best match graphs
Subjects: Populations and Evolution (q-bio.PE); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Combinatorics (math.CO)
[14]  arXiv:1903.01964 (cross-list from cs.AI) [pdf, other]
Title: Complexity Results and Algorithms for Bipolar Argumentation
Comments: Paper accepted for publication at AAMAS 2019
Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)

Fri, 15 Jan 2021

[15]  arXiv:2101.05597 [pdf, ps, other]
Title: Necessary and Sufficient Condition for Satisfiability of a Boolean Formula in CNF and its Implications on P versus NP problem
Authors: Manoj Kumar
Comments: 17 Pages, Affiliation and email address of author added, elaborated Optimisations section, refined theorem 10.8, references updated, typing errors corrected
Subjects: Computational Complexity (cs.CC)
[ total of 15 entries: 1-15 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

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