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.

× 72
Problems known to be open in the literature and any problem that, after being posed, is decided to be open by the community.
× 71
The history behind the topics: where their name comes from, who discovered them, when they were first proved, how they evolved during the years.
× 71
equal to the length of the shortest program computing s and halting. Measures the lack of structure in a string.
× 71
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…
× 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.
× 66
a subset of the edges of a graph, such that no edge in the subset shares a vertex with another.
× 65
An overlapping feature of type theory and type systems.
× 65
Questions relating to the *practice* of research in theoryCS
× 62
× 60
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.
× 58
practical questions about doing research in theoretical computer science
× 58
Theoretical questions about Artificial Intelligence
× 56
propositional proof systems and corresponding bounded arithmetic theories
× 55
not known to be either true or false.
× 53
algorithms for parameterized problems where the run-time is polynomial in the input size, but depends arbitrarily on the parameter
× 51
an unsupervised learning problem. It deals with finding "clusters" or groups in a collection of unlabeled data. A cluster is therefore a collection of objects which are “similar” and ar…
× 51
Theoretical questions in Databases