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.

Type to find tags:
× 1500
Questions related to design and analysis of algorithms
× 775
Questions related to the (computational) complexity of solving problems
× 555
Questions related to formal languages, grammars, and automata theory
× 414
Questions about properties of and problems on graphs, discrete data structures that have the form of nodes connected by edges, that is networks.
× 374
Questions about how specific notions have to be understood as well as conventions of notation.
× 314
Questions related to computability theory, a.k.a. recursion theory
× 311
Questions about the science and art of determining properties of algorithms, often including correctness, runtime and space usage.
× 303
Questions about graphs, discrete structures of nodes which are connected by edges. Popular flavors are trees and networks with edge capacity.
× 291
Questions about Turing machines, a theoretical model of mechanical computation capable of simulating any computer program.
× 289
Questions requesting papers in the literature on specific, narrow issues.
× 281
Questions about properties of the class of regular languages and individual languages.
× 278
Questions about the set of languages (equivalently) described by context-free grammars or accepted by (non-deterministic) pushdown automata.
× 276
Questions about ways of storing data so that it can be used advantageously by algorithms.
× 269
the amount of time resources (number of atomic operations or machine steps) required to solve a problem or run an algorithm with respect to the input size.
× 253
Questions about mathematical devices that read an input stream symbol by symbol and use a state transition map to produce an output stream, maybe using secondary storage.
× 232
Questions about the hardest problems in NP, i.e. of those that can be solved in polynomial time by nondeterministic Turing machines.
× 221
Questions about formal grammars, generative descriptions of formal languages.
× 213
Questions about asymptotic notations and analysis
× 207
Questions about finite automata, an elementary automaton model with finite memory. It is equivalent to regular languages and the basis for many more complex models.
× 207
Questions about finding mappings between problems that allow solving one problem using a solution of another one.
× 188
Questions about computer algorithms that automatically discover patterns in data and make good decisions based on them.
× 184
Questions related to design, implementation, and analysis of programming languages
× 179
Questions about problems that entail selecting the best element from some set of available alternatives, and methods to solve them.
× 164
Questions related to logic and its use in computer science
× 139
Questions about methods for estimating the increase in runtime of an algorithm as the input size increases.
× 132
Questions algorithmic solutions of geometric problems.
× 129
Questions about methods and techniques for proving theorems.
× 128
Questions about problems which cannot be solved by any Turing machine.
× 128
Questions related to combinatorics and discrete mathematical structures
× 116
Questions about design and properties of agents that act in a dynamic environment and make decisions towards some goal without user control.
× 113
Organization and design of computer hardware.
× 106
Questions about the principles of software that interfaces between hardware and applications.
× 105
a definition of a sequence where later elements are expressed as a function of earlier elements.
× 94
Algorithms for finding an element in some specified data-structure (most commonly, in a tree).
× 91
at least as hard as NP-complete problems
× 89
Questions about programs that read code in one language (source language) and translate it into an equivalent program in another language (target language).