Search results for #complexityclasses
Can you answer this? Relativized world in which P ≠ NP = coNP cstheory.stackexchange.com/q/52408?atw=1 #complexityclasses
DET is $VQP-complete$ and also $DET\in VP$ Does that mean $VP=VQP$ cstheory.stackexchange.com/q/52263?atw=1 #complexityclasses
Can you answer this? Computation with cellular automata in practice cstheory.stackexchange.com/q/51999?atw=1 #complexityclasses
Are there any problems whose best known algorithms have running time $n^{\log \log n}$? cstheory.stackexchange.com/q/51606?atw=1 #complexityclasses
Bounty offered: Complexity of type inference in the simply typed lambda calculus cstheory.stackexchange.com/q/47639?atw=1 #complexityclasses
Complexity of reachability in directed rooted forests cstheory.stackexchange.com/q/50734?atw=1 #complexityclasses
Can you answer this? Is it to solid to conclude APX-complete after showing a problem canno... cstheory.stackexchange.com/q/47983?atw=1 #complexityclasses
What is the complexity class of higher-order primitive recursion? cstheory.stackexchange.com/q/50377?atw=1 #complexityclasses
Do we have class of O(1) (time) problems? #ComplexityClasses #computerScience
Are all RegExp solvable in O(n)? cstheory.stackexchange.com/q/47058?atw=1 #complexityclasses
Can you answer this? Why can MIP be restricted to just two provers? cstheory.stackexchange.com/q/46824?atw=1 #complexityclasses
Can you answer this? The computer-go - The state of the art cstheory.stackexchange.com/q/46526?atw=1 #complexityclasses
Containment problem of an acyclic NFA in an NFA cstheory.stackexchange.com/q/46273?atw=1 #complexityclasses
Can you answer this? BPP fragment of a PSPACE complete problem cstheory.stackexchange.com/q/46084?atw=1 #complexityclasses
And if you ever thought that "complexity theory" should be made "categorical" -- then please take a look. Comments most welcome. Revised version of paper with Umut Isik. arxiv.org/pdf/1610.07737… #categorytheory #complexityclasses
Term for a set that is not immune cstheory.stackexchange.com/q/45905?atw=1 #complexityclasses
Co-NP definition cstheory.stackexchange.com/q/45754?atw=1 #complexityclasses
Is there a relation between BBH (black box hypothesis) and SETH (strong exponential time ... cstheory.stackexchange.com/q/42752?atw=1 #complexityclasses
Can you answer this? "Berman-Hartmanis Conjecture Separates NP From All Super-Poly. DTIME ... cstheory.stackexchange.com/q/41815?atw=1 #complexityclasses