Skip to main content
Share Your Experience: Take the 2024 Developer Survey


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).
188 questions
11 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…
2019 questions
Questions related to general, high level, techniques for the design of algorithms.
100 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.
11528 questions
Questions about ambiguity in context-free grammars.
114 questions
A method in analysis of algorithms that considers the overall cost of a sequence of operations.
147 questions
ASP (Answer Set Programming) is a form of declarative programming oriented towards NP-hard search problems
8 questions
Theoretical results and techniques applied in practical settings.
60 questions
Questions about algorithms that solve problems up to some bounded error.
595 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…
298 questions
A sequential random-access data structure whose size can typically not be changed after creation.
567 questions
Questions about design and properties of agents that act in a dynamic environment and make decisions towards some goal without user control.
573 questions
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 …
62 questions
For questions about the assignment problem in combinatorial optimization, NOT for problems that you've been set as a homework assignment.
118 questions
0 questions
Questions about asymptotic notations and analysis
1454 questions
22 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
73 questions
140 questions
2 3 4 5