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.

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