Tags
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.
55 questions
55 questions
55 questions
54 questions
Descriptive complexity classifies problems based on how
hard it is to express the problem in some logical formalism.
53 questions
Questions about the theory of regular expressions, both in the sense of
Kleene's original definition and of POSIX regular expressions.
53 questions
53 questions
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 …
52 questions
52 questions
51 questions
50 questions
50 questions
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 questions
an NP-hard problem in combinatorial optimization studied in operations research and theoretical computer science. Given a list of cities and their pairwise dis…
49 questions
47 questions
47 questions
a binary relation over a set which is reflexive, antisymmetric, and transitive.
47 questions
47 questions
46 questions
the proving of mathematical theorems by a computer program.
46 questions
46 questions
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…
45 questions
questions about attaining and maintaining a career in fields related to theoretical computer science
45 questions
45 questions
44 questions
43 questions
43 questions
43 questions
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.
43 questions