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.

× 52
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
× 50
an NP-hard problem in combinatorial optimization studied in operations research and theoretical computer science. Given a list of cities and their pairwise dis…
× 50
Theoretical questions in Neural and Evolutionary Computing
× 49
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…
× 49
an interactive theorem prover.
× 49
Questions about deterministic finite automata
× 49
Descriptive complexity classifies problems based on how hard it is to express the problem in some logical formalism.
× 49
Probabilistically checkable proofs
× 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 …
× 47
Questions about the theory of regular expressions, both in the sense of Kleene's original definition and of POSIX regular expressions.
× 44
a binary relation over a set which is reflexive, antisymmetric, and transitive.
× 43
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.
× 42
questions about attaining and maintaining a career in fields related to theoretical computer science
× 42
Questions about analysis of proofs in theories
× 42
the proving of mathematical theorems by a computer program.
× 41
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…