Skip to main content
Share Your Experience: Take the 2024 Developer Survey


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.

Algorithms for finding an element in some specified data-structure (most commonly, in a tree).
699 questions
Questions about general methods and techniques for proving multiple theorems. When asking about the proof of a single statement, use tags relating to what the proof is about instead.
697 questions
Satisfiability (SAT) is the problem of determining whether there is a variable assignment that fulfills a given Boolean formula.
682 questions
Questions about programs that read code in one language (source language) and translate it into an equivalent program in another language (target language).
662 questions
Questions about the algorithmic problems of finding shortest paths between nodes in a graph.
658 questions
Questions about objects such as functions, algorithms or data structures that are expressed using "smaller" instances of themselves.
599 questions
Questions about algorithms that solve problems up to some bounded error.
595 questions
Questions about design and properties of agents that act in a dynamic environment and make decisions towards some goal without user control.
573 questions
A sequential random-access data structure whose size can typically not be changed after creation.
567 questions
λ-calculus is a formal system for function definition, function application and recursion which forms the mathematical basis of functional programming.
563 questions
a rooted tree in which each node has no more than two children
555 questions
Questions about state machines with a single stack for memory. They characterize the class of context-free languages.
Necessary properties of formal langagues in certain classes that rely on closure against repetition of certain subwords. Make sure your question isn't covered by applying the techniques in https://cs…
551 questions
A question in some formal system with a yes-or-no answer.
542 questions
formal systems to specify properties of objects
539 questions
Questions about discrete mathematics, the study of mathematical structures that are fundamentally discrete rather than continuous.
515 questions
Questions about sequences of symbols, sets thereof and their properties as well as uses.
507 questions
Asymptotic analyses of the space needed to run algorithms.
507 questions
Questions about relationships between complexity classes.
505 questions
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…
Network structure inspired by simplified models of biological neurons (brain cells). Neural networks are trained to "learn" by supervised and unsupervised techniques, and can be used to solve optimiz…
497 questions
Questions about graph traversal algorithms such as BFS and DFS.
Questions about the branch of mathematics concerned with modelling and analysing random phenomena.
480 questions
Questions concerning the Halting problem which is to decide whether a given a program halts on a given input.
446 questions
Questions about algorithms that make at each step the locally optimal choice.
443 questions
Questions about finite and infinite sets and multisets, related data structures and concepts.
437 questions
Questions about algorithms that decide whether a given string belongs to a fixed formal language.
Questions about algorithms whose behaviour is determined not only by its input but also by a source of random numbers.
430 questions
Optimization with a linear objective function, subject to linear equality and linear inequality constraints.
423 questions
Use for algorithms, algorithm-analysis and complexity-theory questions that aim for polynomial running time resp. time complexity. Such questions often are are reference-requests or about runtime-anal…
422 questions
Questions about the challenges of solving problems with multiple cooperating but separate agents.
412 questions
Questions about automata, formal grammars or other computation-models that specifically relate to the use of nondeterminism. Not to be confused with randomness or ambiguity!
Functional programming is a programming paradigm which primarily uses functions as means for building abstractions and expressing computations that comprise a computer program.
387 questions
Questions that ask for or about correctness proofs of algorithms.
377 questions
Questions about graphs in which every edge is associated with a weight.
375 questions
Questions about operations on objects of some kind that result in objects of the same kind.
364 questions
3 4 5