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.
A reduction is the transformation of one problem into another problem. A example of using a reduction would be to be to show if a problem P is undecidable. This would be achieved by transforming or pe…
The big picture tag is for a "broad, overall view or perspective of an issue or problem."
Hardness of approximation, aka inapproximability.
Questions whose answers are a big list of items (books, theorems, software, ...)
Randomness is a key component of probabilistic algorithms, many combinatorial aarguments, the analysis of hashing functions, and in cryptography, among other applications.
Questions regarding the amount of communication needed to accomplish a computational task, when the information about the task is spread across several agents
Two graphs G, H are isomorphic if there is a relabeling of the vertices of G that produces H, and vice-versa. The graph isomorphism problem (GI) is to decide whether two given are isomorphic. In addit…
Questions about the formal languages that can be described by regular expressions (in the sense of Kleene), or, equivalently, the languages that can be accepted by finite automata.
NP stands for Nondeterministic Polynomial time.
An overlapping feature of type theory and type systems.
Theoretical issues related to the quantum treatment of information
The mathematical theory of codes, as used in communication, data compression, and cryptography.
Questions in category theory
Given a sequence of elements, find a permutation such that the elements are in a certain order.
Context-free languages and grammars.
The study of the computational complexity of problems with respect to more than one parameter.
Theoretical question related to Computer Science and Game Theory
A tree is a special type of graph which only allows for a hierarchical set of edges similar to a tree . Mathematically it is actually an arborescence. Trees have a root node and children nodes. In for…
Theoretical questions in Distributed Computing
Theoretical questions in Parallel Computing
Every randomized algorithm can be simulated by a deterministic algorithm, at the expense of an exponential increase in running time. Derandomization is about converting randomized algorithms into …
Questions regarding oracle machines in computational complexity theory. Oracles can serve as an indicator that a separation between complexity classes is beyond the scope of certain proof techniqu…
Questions in number theory
This is a mathematical structure composed of a set of points or vertices and a set of connectors or edges. The edges connect the vertices and those vertices are directed. Also no cycles or in other wo…
questions about definitions, terms, and common names in theoretical computer science.