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.

× 325
Questions about relationships between complexity classes.
× 3635
Questions related to the (computational) complexity of solving problems
× 1477
Questions related to computability theory, a.k.a. recursion theory
× 11
computability and complexity in real or complex analysis
× 576
Questions about algorithmic solutions of geometric problems, or other algorithms making usage of geometry.
× 348
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…
× 795
Questions about the organization and design of computer hardware.
× 242
Questions about problems that arise when you connect multiple computers to form a network.
× 228
Questions about algorithms for processing and analyzing images and videos.
× 235
Questiont about issues of concurrency such as synchronization and deadlocks.
× 35
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…
× 46
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…
× 1146
Questions about the set of languages (equivalently) described by context-free grammars or accepted by (non-deterministic) pushdown automata.
× 1
× 48
an interactive theorem prover based on the Calculus of Inductive Constructions.
× 266
Questions that ask for or about correctness proofs of algorithms.
× 132
usually used to refer counting objects in certain arrangements or with certain properties.
× 196
A fast memory limited in space close to the CPU. A cache is designed to reduce the average time to access memory.