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.

× 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…
× 45
Questions about algorithms and data structures for storing, organizing, and naming data in durable storage systems.
× 44
Questions asking for real-life or benchmarking data sets.
× 43
× 41
closest to the query point.
× 40
Rice's Theorem states that any (non-trivial) property of Turing machines is undecidable.
× 39
For questions about logical systems defined via the application and term-rewriting of combinators. These systems often have a close connection to the lambda calculus.
× 38
off-topic here. Do not ask questions about how to write code in C. However, conceptual questions about computer science are more appropriate. See our help center for the s…
× 38
Questions that ask for help building intuition for formal or complex concepts.
× 37
Questions about combinatorics on languages of words, that is how many sequences of symbols with certain properties there are.
× 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…
× 33
Questions about techniques for making multiple independent tasks (processes or threads) appear to execute concurrently, either by quickly context switching from one task to the next on a single proces…
× 33
easy to compute, but hard to invert. They exists only if P$\ne$NP. Many cryptographic primitives are based on (or are implied by) the existence of one-way functions.