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.
Questions about matters of computer, software and communication security, that is how to protect systems against attacks.
Questions about finite and infinite sets and multisets, related data structures and concepts.
Questions about the algorithmic problems of finding shortest paths between nodes in a graph.
For questions about processing data from sensors (e.g., audio and video data), and *not* handling operating system signals. Note that there is also a dedicated [Signal Processing Stack Exchange](http:…
Questions about simulating one model in another. This includes simulating reality in any model, or simulating a machine model with Turing machines.
Solver programs for the Satisfiability Modulo Theories (SMT). The SMT problem is a decision problem for logical formulas with combinations of background theories expressed in classical first-order log…
Research on methods and techniques to ensure the utility and quality of software systems through design and development processes.
Questions about methods and techniques to prove correctness of programs.
the algorithmic problem of ordering a set of elements with respect to some ordering relation.
The spanning tree of a connected undirected graph G is a tree having all the vertices and some number of edges of G.
a Last In First Out (LIFO) data structure. A common use of stacks is to store subroutine arguments and return addresses.