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.

× 50
Theoretical questions in Neural and Evolutionary Computing
× 49
an NP-hard problem in combinatorial optimization studied in operations research and theoretical computer science. Given a list of cities and their pairwise dis…
× 48
the study of systems that operate simultaneously. For example given a set of elevators and a pool of people who want to go to various floors. An example of a concurrent system would be …
× 48
Probabilistically checkable proofs
× 48
Questions about deterministic finite automata
× 47
Questions about the theory of regular expressions, both in the sense of Kleene's original definition and of POSIX regular expressions.
× 47
a procedure that can apply generically to many problems (for example gradient descent, alternating optimization, simulated annealing) but will typically not have formal guarantees assoc…
× 45
Descriptive complexity classifies problems based on how hard it is to express the problem in some logical formalism.
× 43
an interactive theorem prover.
× 42
questions about attaining and maintaining a career in fields related to theoretical computer science
× 41
the proving of mathematical theorems by a computer program.
× 41
a sparse (low degree) graph with high "expansion," measured in one of several ways; typically akin to the minimum ratio of the size of a subgraph boundary to the subgraph's volume.
× 41
a binary relation over a set which is reflexive, antisymmetric, and transitive.
× 40
VC-dimension (after Vapnik and Chervonenkis) is a measure of the power of a set of shapes (ranges) to realize subsets of points. VC-dimension is a vital analysis tool in the fields of machine learning…
× 39
Questions about analysis of proofs in theories