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

Computational Complexity

Authors and titles for cs.CC in Jan 2021

[ total of 54 entries: 1-10 | 11-20 | 21-30 | 31-40 | ... | 51-54 ]
[ showing 10 entries per page: fewer | more | all ]
[1]  arXiv:2101.00003 [pdf, ps, other]
Title: Yet another argument in favour of NP=CoNP
Comments: This article puts together the results shown in arXiv:2009.09802v1 and in arXiv:2012.07833v1 to show a proof of NP=CoNP. It is need to read these article to get the details on the proof presented here
Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)
[2]  arXiv:2101.00717 [pdf, ps, other]
Title: Algorithmic Complexities in Backpropagation and Tropical Neural Networks
Authors: Ozgur Ceyhan
Comments: This note is a summary of the lecture given at S\'eminaire "Fables G\'eom\'etriques" in University of Geneva on December 9, 2016
Subjects: Computational Complexity (cs.CC); Machine Learning (cs.LG); Algebraic Geometry (math.AG)
[3]  arXiv:2101.01151 [pdf, ps, other]
Title: A polynomial time construction of a hitting set for read-once branching programs of width 3
Comments: 46 pages, 8 figures
Subjects: Computational Complexity (cs.CC)
[4]  arXiv:2101.05142 [pdf, ps, other]
Title: Resolution with Symmetry Rule applied to Linear Equations
Authors: Pascal Schweitzer, Constantin Seebach (TU Kaiserslautern)
Comments: 18 pages, to be published in STACS 2021
Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)
[5]  arXiv:2101.05235 [pdf, other]
Title: Space-Efficient Algorithms for Reachability in Geometric Graphs
Subjects: Computational Complexity (cs.CC); Computational Geometry (cs.CG)
[6]  arXiv:2101.05597 [pdf, 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: Second Revision: 17 Pages, Affiliation and email address of author added, elaborated Optimisations section, refined theorem 10.8, references updated, typing errors corrected Third Revision: 22 pages, complexity calculated on instance size, results changed, algorithm and related sections added
Subjects: Computational Complexity (cs.CC)
[7]  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)
[8]  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)
[9]  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)
[10]  arXiv:2101.08141 [pdf, ps, other]
Title: Positive spectrahedra: Invariance principles and Pseudorandom generators
Comments: 63 pages. v2: Minor revisions and Improvements in presentation
Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO)
[ total of 54 entries: 1-10 | 11-20 | 21-30 | 31-40 | ... | 51-54 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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