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.

40 questions
a famous special case of the boolean satisfiability problem (SAT).
122 questions
13 questions
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…
Questions related to general, high level, techniques for the design of algorithms.
76 questions
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.
9267 questions
Questions about ambiguity in context-free grammars.
97 questions
A method in analysis of algorithms that considers the overall cost of a sequence of operations.
119 questions
a form of declarative programming oriented towards NP-hard search problems
6 questions
Theoretical results and techniques applied in practical settings.
54 questions
Questions about algorithms that solve problems up to some bounded error.
450 questions
Questions about implementing elementary arithmetic operations on a computer with hardware or algorithms. The numbers are often assumed to be in a binary representation, add the [floating-point] tag fo…
255 questions
A sequential random-access data structure whose size can typically not be changed after creation.
457 questions
Questions about design and properties of agents that act in a dynamic environment and make decisions towards some goal without user control.
off-topic here. Do not ask questions about how to write code in assembly. However, conceptual questions about how coding in assembly is different may be appropriate. See our …
27 questions
For questions about the assignment problem in combinatorial optimization, NOT for problems that you've been set as a homework assignment.
92 questions
0 questions
Questions about asymptotic notations and analysis
15 questions
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.
Machine-checked, machine-generated or machine-verified proofs
59 questions
2 3 4 5