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.
57 questions
3SAT is a famous special case of the boolean satisfiability problem (SAT).
180 questions
45 questions
11 questions
34 questions
8 questions
20 questions
19 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…
1994 questions
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.
11344 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
15 questions
19 questions
Theoretical results and techniques applied in practical settings.
58 questions
Questions about algorithms that solve problems up to some bounded error.
584 questions
9 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.
565 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 …
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
24 questions
0 questions
1 question
23 questions
19 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.
1773 questions
Machine-checked, machine-generated or machine-verified proofs
72 questions
80 questions
50 questions
88 questions