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.

× 104
A class of computational problems. Where decision problems call for a yes-or-no answer, search problems are looking for an object satisfying a certain property.
× 102
Using a computer to implement mathematics. For questions about (mathematical) optimization, (also) use the optimization tag.
× 102
Theory of dynamic processes with several competing actors that try to achieve some goal in a strategic way.
× 98
a famous special case of the boolean satisfiability problem (SAT).
× 97
A method in analysis of algorithms that considers the overall cost of a sequence of operations.
× 96
Questions about methods and techniques to prove correctness of programs.
× 96
Questions about techniques for enforcing an agreed order of events between several concurrently executing threads. Specific synchronization mechanisms include mutexes (locks), condition variables, se…
× 95
Questions about algorithms that deterministically generate sequences of numbers that have stochastic properties of random sequences.
× 92
a collection of disjoint sets whose union yields A.
× 91
Questions about algorithms related to substrings, or about properties of substrings.
× 89
equal to the length of the shortest program computing s and halting. Measures the lack of structure in a string.
× 86
Questions about the relation of (subfields of) computer science to the relevant mathematical foundations and their application.
× 84
An overlapping feature of type theory and type systems.
× 83
Questions about the binary search algorithm, which can be used to find elements of an ordered list in O(log n) time.
× 83
Creating samples from a well-specified population using a probabilistic method and/or producing random numbers from a specified distribution.
× 83
Research on methods and techniques to ensure the utility and quality of software systems through design and development processes.
× 82
Questions on how to represent real-world or non computer science problems with computer science tools.
× 81
Model checking refers to the following problem: given a model of a system, test automatically whether this model meets a given specification.
× 77
verifying that a variable, expression or value has the declared type
× 76
Questions on graph coloring, an assignment of colors to elements of a graph subject to specific constraints.