Can you answer this? Is this a known problem, and is it NP-complete? cstheory.stackexchange.com/q… #nphardness

Is this problem involving the computation of the permanent of a matrix $NP$-hard? cstheory.stackexchange.com/q… #cccomplexitytheory

Can you answer this? Complexity of the unique homomorphism problem up to automorphisms cstheory.stackexchange.com/q… #cccomplexitytheory

Can you answer this? Error analysis of Estrin's method cstheory.stackexchange.com/q… #referencerequest

Can you answer this? Dynamic transitive closure with immediate new reachability facts cstheory.stackexchange.com/q… #graphalgorithms

Can you answer this? Relationship between the transition monoid of an automaton and its adj... cstheory.stackexchange.com/q… #referencerequest

Free type variables in Hindley-Milner type inference cstheory.stackexchange.com/q… #typetheory

Can you answer this? Fixpoint of a functor in the category of embeddings cstheory.stackexchange.com/q… #ctcategorytheory

Can you answer this? Advances in complexity by studying particular problems cstheory.stackexchange.com/q… #cccomplexitytheory

Hardness of Maximum Independent Set in 3-Colorable Graphs cstheory.stackexchange.com/q… #graphtheory

Can you answer this? Relativized world in which P ≠ NP = coNP cstheory.stackexchange.com/q… #complexityclasses

$\mathsf{NL}$ vs. $\mathsf{AC}^1$ cstheory.stackexchange.com/q… #cccomplexitytheory

Can you answer this? Arithmetization of finite automata cstheory.stackexchange.com/q… #lologic

Can you answer this? Can we do integer addition in linear time? cstheory.stackexchange.com/q… #referencerequest

Encoding of finite automata in Intersection Non-Emptiness problem cstheory.stackexchange.com/q… #cccomplexitytheory

Can you answer this? List Functions That Don't Depend on Length cstheory.stackexchange.com/q… #typetheory

Can the ellipsoid method be used with a randomized separation oracle? cstheory.stackexchange.com/q… #optimization

Algebraic equivalent of SAT? cstheory.stackexchange.com/q… #sat

Formula complexity of arithmetic multiplication cstheory.stackexchange.com/q… #circuitcomplexity

Intersection non-emptiness problem over regular expressions and NFA cstheory.stackexchange.com/q… #cccomplexitytheory