CSTheory SE
@StackCSTheory
Followers
516
Following
0
Media
0
Statuses
8K
A Q&A site for theoretical computer scientists and researchers in related fields
The Stack Exchange network
Joined January 2011
Can you answer this? Is this a known problem, and is it NP-complete? https://t.co/NJmxcwTcfI
#nphardness
0
0
0
Is this problem involving the computation of the permanent of a matrix $NP$-hard? https://t.co/oP3bjbTdES
#cccomplexitytheory
0
0
2
Can you answer this? Complexity of the unique homomorphism problem up to automorphisms https://t.co/3E7sKvtoVp
#cccomplexitytheory
0
0
0
Can you answer this? Error analysis of Estrin's method https://t.co/TH9fnCWIu3
#referencerequest
0
0
0
Can you answer this? Dynamic transitive closure with immediate new reachability facts https://t.co/88E2uvIjIA
#graphalgorithms
0
0
0
Can you answer this? Relationship between the transition monoid of an automaton and its adj... https://t.co/EB0KAKI1Wn
#referencerequest
0
0
0
Free type variables in Hindley-Milner type inference https://t.co/ZxKAhGJuBl
#typetheory
0
0
0
Can you answer this? Fixpoint of a functor in the category of embeddings https://t.co/6WAsMFPk39
#ctcategorytheory
0
0
0
Can you answer this? Advances in complexity by studying particular problems https://t.co/Q4ZbmzH8qi
#cccomplexitytheory
0
0
0
Hardness of Maximum Independent Set in 3-Colorable Graphs https://t.co/wgqBvArKbj
#graphtheory
0
0
0
Can you answer this? Relativized world in which P ≠ NP = coNP https://t.co/3oOFMJg5bu
#complexityclasses
0
0
0
$\mathsf{NL}$ vs. $\mathsf{AC}^1$ https://t.co/ilVCx8vjVF
#cccomplexitytheory
0
0
1
Can you answer this? Arithmetization of finite automata https://t.co/OfHhEFkF8K
#lologic
0
0
0
Can you answer this? Can we do integer addition in linear time? https://t.co/IBJQyv2kFu
#referencerequest
0
0
0
Encoding of finite automata in Intersection Non-Emptiness problem https://t.co/mpUUCvzcVk
#cccomplexitytheory
0
0
0
Can you answer this? List Functions That Don't Depend on Length https://t.co/wSIkZnrU9U
#typetheory
0
0
0
Can the ellipsoid method be used with a randomized separation oracle? https://t.co/EJF9XGky2L
#optimization
0
1
1
Formula complexity of arithmetic multiplication https://t.co/XMNqGntNL5
#circuitcomplexity
0
0
0
Intersection non-emptiness problem over regular expressions and NFA https://t.co/Q29ivVdTrs
#cccomplexitytheory
0
0
0