Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange


A tag is a keyword or label that categorizes your question with other, similar questions. Using the right tags makes it easier for others to find and answer your question.

× 70
a mathematical structure composed of a set of points or vertices and a set of connectors or edges. The edges connect the vertices and those vertices are directed. Also no cycles or in other wo…
× 70
Problems known to be open in the literature and any problem that, after being posed, is decided to be open by the community.
× 70
The history behind the topics: where their name comes from, who discovered them, when they were first proved, how they evolved during the years.
× 69
Used for questions about existing or possible proofs of a specific theorem or conjecture
× 67
Questions arising from applications of theoretical computer science in other areas of computer science research/practice or other subjects.
× 65
Questions relating to the *practice* of research in theoryCS
× 65
a subset of the edges of a graph, such that no edge in the subset shares a vertex with another.
× 63
An overlapping feature of type theory and type systems.
× 62
× 59
Questions regarding the treewidth of graphs. Graphs of low treewidth admit fast divide-and-conquer algorithms for many graph problems that are NP-hard on general graphs.
× 57
practical questions about doing research in theoretical computer science
× 57
Theoretical questions about Artificial Intelligence
× 55
not known to be either true or false.
× 55
propositional proof systems and corresponding bounded arithmetic theories
× 53
algorithms for parameterized problems where the run-time is polynomial in the input size, but depends arbitrarily on the parameter
× 50
Theoretical questions in Databases
× 50
Theoretical questions in Neural and Evolutionary Computing