@StackCSTheory profile picture
CSTheory SE @StackCSTheory

A Q&A site for theoretical computer scientists and researchers in related fields

Joined January 2011
  • Tweets 8,421
  • Following 0
  • Followers 513
Photos and videos
Can you answer this? Is this a known problem, and is it NP-complete? cstheory.stackexchange.com/q… #nphardness
263
Is this problem involving the computation of the permanent of a matrix $NP$-hard? cstheory.stackexchange.com/q… #cccomplexitytheory
2
256
Can you answer this? Complexity of the unique homomorphism problem up to automorphisms cstheory.stackexchange.com/q… #cccomplexitytheory
135
Can you answer this? Error analysis of Estrin's method cstheory.stackexchange.com/q… #referencerequest
85
Can you answer this? Dynamic transitive closure with immediate new reachability facts cstheory.stackexchange.com/q… #graphalgorithms
102
Can you answer this? Relationship between the transition monoid of an automaton and its adj... cstheory.stackexchange.com/q… #referencerequest
57
Free type variables in Hindley-Milner type inference cstheory.stackexchange.com/q… #typetheory
56
Can you answer this? Fixpoint of a functor in the category of embeddings cstheory.stackexchange.com/q… #ctcategorytheory
57
Can you answer this? Advances in complexity by studying particular problems cstheory.stackexchange.com/q… #cccomplexitytheory
96
Hardness of Maximum Independent Set in 3-Colorable Graphs cstheory.stackexchange.com/q… #graphtheory
59
Can you answer this? Relativized world in which P ≠ NP = coNP cstheory.stackexchange.com/q… #complexityclasses
55
$\mathsf{NL}$ vs. $\mathsf{AC}^1$ cstheory.stackexchange.com/q… #cccomplexitytheory
1
117
Can you answer this? Arithmetization of finite automata cstheory.stackexchange.com/q… #lologic
91
Can you answer this? Can we do integer addition in linear time? cstheory.stackexchange.com/q… #referencerequest
72
Encoding of finite automata in Intersection Non-Emptiness problem cstheory.stackexchange.com/q… #cccomplexitytheory
63
Can you answer this? List Functions That Don't Depend on Length cstheory.stackexchange.com/q… #typetheory
77
Can the ellipsoid method be used with a randomized separation oracle? cstheory.stackexchange.com/q… #optimization
1
1
181
Algebraic equivalent of SAT? cstheory.stackexchange.com/q… #sat
1
101
Formula complexity of arithmetic multiplication cstheory.stackexchange.com/q… #circuitcomplexity
97
Intersection non-emptiness problem over regular expressions and NFA cstheory.stackexchange.com/q… #cccomplexitytheory
120
Load more