Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Tags

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.

× 97
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.
× 93
Questions about methods and techniques to prove correctness of programs.
× 93
Using a computer to implement mathematics. For questions about (mathematical) optimization, (also) use the optimization tag.
× 91
Questions about algorithms that deterministically generate sequences of numbers that have stochastic properties of random sequences.
× 91
Questions about techniques for enforcing an agreed order of events between several concurrently executing threads. Specific synchronization mechanisms include mutexes (locks), condition variables, se…
× 90
A method in analysis of algorithms that considers the overall cost of a sequence of operations.
× 89
a famous special case of the boolean satisfiability problem (SAT).
× 85
equal to the length of the shortest program computing s and halting. Measures the lack of structure in a string.
× 85
Questions about the relation of (subfields of) computer science to the relevant mathematical foundations and their application.
× 81
Model checking refers to the following problem: given a model of a system, test automatically whether this model meets a given specification.
× 81
Questions about algorithms related to substrings, or about properties of substrings.
× 79
Creating samples from a well-specified population using a probabilistic method and/or producing random numbers from a specified distribution.
× 79
Questions on how to represent real-world or non computer science problems with computer science tools.
× 79
Research on methods and techniques to ensure the utility and quality of software systems through design and development processes.
× 78
a collection of disjoint sets whose union yields A.
× 74
Questions about the binary search algorithm, which can be used to find elements of an ordered list in O(log n) time.
× 74
An overlapping feature of type theory and type systems.
× 74
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…
× 72
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…
× 72
verifying that a variable, expression or value has the declared type