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.

57 questions
3SAT is a famous special case of the boolean satisfiability problem (SAT).
180 questions
11 questions
34 questions
8 questions
20 questions
46 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.
96 questions
An algorithm is 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.
Questions about ambiguity in context-free grammars.
113 questions
A method in analysis of algorithms that considers the overall cost of a sequence of operations.
145 questions
ASP (Answer Set Programming) is a form of declarative programming oriented towards NP-hard search problems
7 questions
Theoretical results and techniques applied in practical settings.
58 questions
Questions about algorithms that solve problems up to some bounded error.
584 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…
291 questions
A sequential random-access data structure whose size can typically not be changed after creation.
565 questions
Questions about design and properties of agents that act in a dynamic environment and make decisions towards some goal without user control.
Programming questions are 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 …
57 questions
For questions about the assignment problem in combinatorial optimization, NOT for problems that you've been set as a homework assignment.
115 questions
0 questions
Questions about asymptotic notations and analysis
1430 questions
1 question
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
72 questions
2 3 4 5