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.

× 314
Questions about relationships between complexity classes.
× 3549
Questions related to the (computational) complexity of solving problems
× 1459
Questions related to computability theory, a.k.a. recursion theory
× 11
computability and complexity in real or complex analysis
× 556
Questions about algorithmic solutions of geometric problems, or other algorithms making usage of geometry.
× 344
The definition of the set of allowable operations used for computation and their respective costs. Some examples of models include Turing machines, recursive functions, lambda calculus, and production…
× 777
Questions about the organization and design of computer hardware.
× 236
Questions about problems that arise when you connect multiple computers to form a network.
× 222
Questions about algorithms for processing and analyzing images and videos.
× 235
Questiont about issues of concurrency such as synchronization and deadlocks.
× 34
a complement of NP, i.e. decision problems where the "no" instances can be accepted by a nondeterministic Turing machine that runs in time polynomial in the…
× 43
A fundamental problem in distributed computing and multi-agent systems is to achieve overall system reliability in the presence of a number of faulty processes. use this tag for consensus kind of prob…
× 1133
Questions about the set of languages (equivalently) described by context-free grammars or accepted by (non-deterministic) pushdown automata.
× 1
× 44
an interactive theorem prover based on the Calculus of Inductive Constructions.
× 257
Questions that ask for or about correctness proofs of algorithms.
× 128
usually used to refer counting objects in certain arrangements or with certain properties.
× 192
A fast memory limited in space close to the CPU. A cache is designed to reduce the average time to access memory.