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 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.
Questions about methods and techniques to prove correctness of programs.
Using a computer to implement mathematics. For questions about (mathematical) optimization, (also) use the optimization tag.
Questions about algorithms that deterministically generate sequences of numbers that have stochastic properties of random sequences.
Questions about techniques for enforcing an agreed order of events between several concurrently executing threads. Specific synchronization mechanisms include mutexes (locks), condition variables, se…
A method in analysis of algorithms that considers the overall cost of a sequence of operations.
a famous special case of the boolean satisfiability problem (SAT).
equal to the length of the shortest program computing s and halting. Measures the lack of structure in a string.
Questions about the relation of (subfields of) computer science to the relevant mathematical foundations and their application.
Model checking refers to the following problem: given a model of a system, test automatically whether this model meets a given specification.
Questions about algorithms related to substrings, or about properties of substrings.
Creating samples from a well-specified population using a probabilistic method and/or producing random numbers from a specified distribution.
Questions on how to represent real-world or non computer science problems with computer science tools.
Research on methods and techniques to ensure the utility and quality of software systems through design and development processes.
Questions about the binary search algorithm, which can be used to find elements of an ordered list in O(log n) time.
Questions about normal forms in various contexts, for example normal forms of context-free grammars (Chomsky normal form, Greibach normal form), of formulas (conjunctive normal form, disjunctive norma…
Questions about memory-management techniques where the computer manages and transfers data between main memory and secondary storage in pages -- discrete chunks of a fixed size. Operating systems oft…