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.

0 questions
Rice's Theorem states that any (non-trivial) property of Turing machines is undecidable.
50 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.
89 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.
80 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…
217 questions
38 questions
Algorithms for finding an element in some specified data-structure (most commonly, in a tree).
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.
120 questions
Questions about search trees, a class of data structures used for storing sorted data for efficient access.
284 questions
Questions about matters of computer, software and communication security, that is how to protect systems against attacks.
89 questions
Semantics formally describe the meaning of some syntax.
166 questions
6 questions
semi-decidable, also known as recognizable or recursively enumerable.
169 questions
13 questions
Questions about finite and infinite sets and multisets, related data structures and concepts.
Questions about the algorithmic problems of finding shortest paths between nodes in a graph.
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 …
24 questions
1 question
Questions about simulating one model in another. This includes simulating reality in any model, or simulating a machine model with Turing machines.
151 questions
7 questions
Solver programs for the Satisfiability Modulo Theories (SMT). The SMT problem is a decision problem for logical formulas with combinations of background theories expressed in classical first-order log…
25 questions