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.

× 75
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…
× 73
the problem of finding groups of data points (often modelled as nodes in a graph) that are closer to each other than to other points.
× 73
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
Questions regarding solver programs for the boolean satisfiability problem.
× 72
For questions about the [assignment problem](https://en.wikipedia.org/wiki/Assignment_problem) in combinatorial optimization, **not** for problems that you've been set as a homework assignment.
× 71
Questions about algorithms related to subsequences, or about properties of subsequences.
× 71
the study of relations (i.e., database tables) and relational operators (join, selection, projection, etc.) as a kind of algebraic structure.
× 71
Questions related to mathematical analysis (often called analysis by mathematicians)
× 70
Questions about matters of computer, software and communication security, that is how to protect systems against attacks.
× 70
For questions about method for storing and manipulating numbers on computer systems, such as floating point or binary representations.
× 69
a subset of the vertices of a graph such that every pair of vertices in the subset is connected by an edge.
× 66
a Last In First Out (LIFO) data structure. A common use of stacks is to store subroutine arguments and return addresses.
× 65
off-topic here. Do not ask questions about how to write code in Java. However, conceptual questions about computer science are more appropriate. See our help center for the s…
× 64
Questions about the principles of the object-oriented programming paradigm.
× 64
Questions about how to optimise a program's performance, both manually and automatically, e.g. in compilers.
× 63
Questions about Hoare's logical framework for program correctness proofs and variants.
× 63
Questions related to general, high level, techniques for the design of algorithms.
× 63
used to formalize mathematics and its concepts as a collection of objects and arrows (also called morphisms). Category theory can be used to formalize concepts of other high-level a…
× 62
Scientific analysis of board games, playing strategies and their complexity
× 62
Properties that hold before and after every execution of a loop. Used to prove correctness of algorithms.
× 62
Requests for books covering a subject. Questions need to admit objective answers and identify a clear set of requirements or criteria for evaluating answers.
× 62
LTL (linear temporal logic or linear-time temporal logic) is a temporal logic that can encode assertions about the future of traces.