Skip to main content

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.

Questions about the NP-complete problem Subset Sum.
120 questions
For questions about the assignment problem in combinatorial optimization, NOT for problems that you've been set as a homework assignment.
118 questions
117 questions
Research on methods and techniques to ensure the utility and quality of software systems through design and development processes.
117 questions
Questions about matters of computer, software and communication security, that is how to protect systems against attacks.
116 questions
A stack is a Last In First Out (LIFO) data structure. A common use of stacks is to store subroutine arguments and return addresses.
116 questions
Creating samples from a well-specified population using a probabilistic method and/or producing random numbers from a specified distribution.
115 questions
Questions about ambiguity in context-free grammars.
115 questions
Questions regarding solver programs for the boolean satisfiability problem.
115 questions
Programming questions are off-topic here. Do not ask questions about how to write code in Java. However, conceptual questions about computer science are more appropriate. See our help center for the s…
114 questions
The Kolmogorov complexity of a string s is equal to the length of the shortest program computing s and halting. Measures the lack of structure in a string.
113 questions
112 questions
Computational complexity with respect to one or more parameters of the input (apart from its plain length as a string), which capture intrinsically difficult instances
112 questions
Model checking refers to the following problem: given a model of a system, test automatically whether this model meets a given specification.
111 questions
Questions about normal forms in various contexts, for example normal forms of context-free grammars (Chomsky normal form, Greibach normal form), of formulas (conjunctive normal form, disjunctive norma…
107 questions
verifying that a variable, expression or value has the declared type
106 questions
Programming questions are off-topic here. Do not ask questions about how to write code in C. However, conceptual questions about computer science are more appropriate. See our help center for the s…
104 questions
Questions asking us to check whether your solution is correct only are considered off-topic (per http://meta.cs.stackexchange.com/questions/597/). Please pinpoint your doubt and provide *a specific q…
103 questions
Questions about algorithms related to subsequences, or about properties of subsequences.
103 questions
Questions about memory-management techniques where the computer manages and transfers data between main memory and secondary storage in pages -- discrete chunks of a fixed size. Operating systems oft…
102 questions
Digital circuits use logic gates as the basic building block. A logic gate performs a logical operation on binary inputs and produces a single binary output. The Primary Logical operations are AND (co…
102 questions
Questions related to general, high level, techniques for the design of algorithms.
100 questions
Questions on how to represent real-world or non computer science problems with computer science tools.
97 questions
Requests for books covering a subject. Questions need to admit objective answers and identify a clear set of requirements or criteria for evaluating answers.
96 questions
LTL (linear temporal logic or linear-time temporal logic) is a temporal logic that can encode assertions about the future of traces.
96 questions
Questions on Hamiltonian paths, that is, paths that visit each vertex exactly once in a graph.
95 questions
Applications that allow to create formal proofs. They assist the user by finding partial and checking complete proofs. General questions about proof assistants can also be asked on the Proof Assistant…
93 questions
Questions about the design and analysis of machine learning algorithms.
91 questions
1
4 5
6
7 8
20