CSTheory SE

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

[CSTheory SE @StackCSTheory]

Can you answer this? Is this a known problem, and is it NP-complete? https://t.co/NJmxcwTcfI #nphardness

[CSTheory SE @StackCSTheory]

Is this problem involving the computation of the permanent of a matrix $NP$-hard? https://t.co/oP3bjbTdES #cccomplexitytheory

[CSTheory SE @StackCSTheory]

Can you answer this? Complexity of the unique homomorphism problem up to automorphisms https://t.co/3E7sKvtoVp #cccomplexitytheory

[CSTheory SE @StackCSTheory]

Can you answer this? Error analysis of Estrin's method https://t.co/TH9fnCWIu3 #referencerequest

[CSTheory SE @StackCSTheory]

Can you answer this? Dynamic transitive closure with immediate new reachability facts https://t.co/88E2uvIjIA #graphalgorithms

[CSTheory SE @StackCSTheory]

Can you answer this? Relationship between the transition monoid of an automaton and its adj... https://t.co/EB0KAKI1Wn #referencerequest

[CSTheory SE @StackCSTheory]

Free type variables in Hindley-Milner type inference https://t.co/ZxKAhGJuBl #typetheory

[CSTheory SE @StackCSTheory]

Can you answer this? Fixpoint of a functor in the category of embeddings https://t.co/6WAsMFPk39 #ctcategorytheory

[CSTheory SE @StackCSTheory]

Can you answer this? Advances in complexity by studying particular problems https://t.co/Q4ZbmzH8qi #cccomplexitytheory

[CSTheory SE @StackCSTheory]

Hardness of Maximum Independent Set in 3-Colorable Graphs https://t.co/wgqBvArKbj #graphtheory

[CSTheory SE @StackCSTheory]

Can you answer this? Relativized world in which P ≠ NP = coNP https://t.co/3oOFMJg5bu #complexityclasses

[CSTheory SE @StackCSTheory]

$\mathsf{NL}$ vs. $\mathsf{AC}^1$ https://t.co/ilVCx8vjVF #cccomplexitytheory

[CSTheory SE @StackCSTheory]

Can you answer this? Arithmetization of finite automata https://t.co/OfHhEFkF8K #lologic

[CSTheory SE @StackCSTheory]

Can you answer this? Can we do integer addition in linear time? https://t.co/IBJQyv2kFu #referencerequest

[CSTheory SE @StackCSTheory]

Encoding of finite automata in Intersection Non-Emptiness problem https://t.co/mpUUCvzcVk #cccomplexitytheory

[CSTheory SE @StackCSTheory]

Can you answer this? List Functions That Don't Depend on Length https://t.co/wSIkZnrU9U #typetheory

[CSTheory SE @StackCSTheory]

Can the ellipsoid method be used with a randomized separation oracle? https://t.co/EJF9XGky2L #optimization

[CSTheory SE @StackCSTheory]

Algebraic equivalent of SAT? https://t.co/lBX4Aaas3M #sat

[CSTheory SE @StackCSTheory]

Formula complexity of arithmetic multiplication https://t.co/XMNqGntNL5 #circuitcomplexity

[CSTheory SE @StackCSTheory]

Intersection non-emptiness problem over regular expressions and NFA https://t.co/Q29ivVdTrs #cccomplexitytheory