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.

× 78
Questions on graph coloring, an assignment of colors to elements of a graph subject to specific constraints.
× 78
For questions about the assignment problem in combinatorial optimization, NOT for problems that you've been set as a homework assignment.
× 77
Questions about matters of computer, software and communication security, that is how to protect systems against attacks.
× 76
Questions related to mathematical analysis (often called analysis by mathematicians)
× 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…
× 76
Questions regarding solver programs for the boolean satisfiability problem.
× 75
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…
× 75
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…
× 74
Questions about algorithms related to subsequences, or about properties of subsequences.
× 73
For questions about method for storing and manipulating numbers on computer systems, such as floating point or binary representations.
× 73
the study of relations (i.e., database tables) and relational operators (join, selection, projection, etc.) as a kind of algebraic structure.
× 71
a subset of the vertices of a graph such that every pair of vertices in the subset is connected by an edge.
× 71
a Last In First Out (LIFO) data structure. A common use of stacks is to store subroutine arguments and return addresses.
× 71
off-topic here. Do not ask questions about how to write code in Python. However, conceptual questions about computer science are more appropriate. See our help center for the…
× 71
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…
× 68
Properties that hold before and after every execution of a loop. Used to prove correctness of algorithms.
× 68
For questions about the usage and manipulation of Directed Acyclic Graphs (DAG).
× 67
Questions on Hamiltonian paths, that is, paths that visit each vertex exactly once in a graph.
× 67
Questions about Hoare's logical framework for program correctness proofs and variants.
× 67
Questions about how to optimise a program's performance, both manually and automatically, e.g. in compilers.
× 67
Scientific analysis of board games, playing strategies and their complexity
× 66
LTL (linear temporal logic or linear-time temporal logic) is a temporal logic that can encode assertions about the future of traces.
× 66
Questions about the principles of the object-oriented programming paradigm.
× 65
Applications that allow to create formal proofs. They assist the user by finding partial and checking complete proofs.
× 64
Questions related to general, high level, techniques for the design of algorithms.