Stack Exchange Network

Stack Exchange network consists of 174 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.

× 85
a famous special case of the boolean satisfiability problem (SAT).
× 2
× 1432
Questions about the science and art of determining properties of algorithms, often including correctness, runtime and space usage. Use the [runtime-analysis] tag for questions about the runtime of al…
× 56
Questions related to general, high level, techniques for the design of algorithms.
× 6761
a sequence of well-defined steps that defines an abstract solution to a problem. Use this tag when your issue is related to design and analysis of algorithms.
× 83
A method in analysis of algorithms that considers the overall cost of a sequence of operations.
× 5
a form of declarative programming oriented towards NP-hard search problems
× 47
Theoretical results and techniques applied in practical settings.
× 355
Questions about algorithms that solve problems up to some bounded error.
× 322
A sequential random-access data structure whose size can typically not be changed after creation.
× 414
Questions about design and properties of agents that act in a dynamic environment and make decisions towards some goal without user control.
× 63
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.
× 885
Questions about asymptotic notations and analysis
× 1079
Questions about mathematical devices that read an input stream symbol by symbol and use a state transition map to produce an output stream, maybe using secondary storage.
× 47
Machine-checked, machine-generated or machine-verified proofs