Computer Science

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.

Show all tag synonyms
Popular Name New
43 questions
5 asked this year
3SAT is a famous special case of the boolean satisfiability problem (SAT).
132 questions
18 asked this year
1 question
40 questions
6 asked this year
10 questions
34 questions
3 asked this year
6 questions
4 asked this year
18 questions
6 asked this year
18 questions
1 asked this year
35 questions
11 asked this year
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…
1848 questions
21 asked this month, 155 this year
Questions related to general, high level, techniques for the design of algorithms.
83 questions
11 asked this year
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.
9999 questions
6 asked today, 33 this week
Questions about ambiguity in context-free grammars.
105 questions
11 asked this year
A method in analysis of algorithms that considers the overall cost of a sequence of operations.
126 questions
15 asked this year
ASP (Answer Set Programming) is a form of declarative programming oriented towards NP-hard search problems
7 questions
1 asked this year
14 questions
2 asked this year
18 questions
6 asked this year
Theoretical results and techniques applied in practical settings.
56 questions
4 asked this year
Questions about algorithms that solve problems up to some bounded error.
498 questions
5 asked this month, 67 this year
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…
270 questions
23 asked this year
A sequential random-access data structure whose size can typically not be changed after creation.
495 questions
7 asked this month, 58 this year
Questions about design and properties of agents that act in a dynamic environment and make decisions towards some goal without user control.
520 questions
50 asked this year
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 …
36 questions
14 asked this year
For questions about the assignment problem in combinatorial optimization, NOT for problems that you've been set as a homework assignment.
100 questions
15 asked this year
18 questions
6 asked this year
0 questions
Questions about asymptotic notations and analysis
1299 questions
10 asked this month, 160 this year
22 questions
7 asked this year
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.
1535 questions
13 asked this month, 143 this year
Machine-checked, machine-generated or machine-verified proofs
63 questions
5 asked this year
73 questions
10 asked this year
39 questions
10 asked this year
74 questions
13 asked this year
1
2 3 4 5
…
19

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.