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.

0 questions
Rice's Theorem states that any (non-trivial) property of Turing machines is undecidable.
58 questions
45 questions
Questions about methods for estimating the increase in runtime of an algorithm as the input size increases.
Creating samples from a well-specified population using a probabilistic method and/or producing random numbers from a specified distribution.
97 questions
2 questions
the problem of determining whether there is a variable assignment that fulfills a given Boolean formula.
Questions regarding solver programs for the boolean satisfiability problem.
85 questions
Questions about the optimisation problem of ordering a set of tasks so that some objective function (e.g. makespan) is minimised. The set of constraints is crucial; in particular, there is a large bod…
239 questions
39 questions
Algorithms for finding an element in some specified data-structure (most commonly, in a tree).
586 questions
A class of computational problems. Where decision problems call for a yes-or-no answer, search problems are looking for an object satisfying a certain property.
122 questions
Questions about search trees, a class of data structures used for storing sorted data for efficient access.
295 questions
Questions about matters of computer, software and communication security, that is how to protect systems against attacks.
98 questions
Semantics formally describe the meaning of some syntax.
166 questions
semi-decidable, also known as recognizable or recursively enumerable.
190 questions
a well-known NP-complete problem: given a collection of sets, find as small as possible a subcollection whose union is the same as the union of the entire collection.
102 questions
Questions about finite and infinite sets and multisets, related data structures and concepts.
341 questions
Questions about the algorithmic problems of finding shortest paths between nodes in a graph.
551 questions
1 question
For questions about processing data from sensors (e.g., audio and video data), and *not* handling operating system signals. Note that there is also a dedicated Signal Processing Stack Exchange, which …
25 questions
4 questions
Questions about simulating one model in another. This includes simulating reality in any model, or simulating a machine model with Turing machines.
163 questions