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.

P versus NP and other resource-bounded computation.
Questions regarding well-defined instructions for completing a task, and relevant analysis in terms of time/memory/etc.
used when the author needs to know about work related to the question.
the study of graphs, mathematical structures used to model pairwise relations between objects.
Algorithms on graphs, excluding heuristics.
Questions related to combinatorics and discrete mathematical structures
596 questions
Questions related to NP-hardness and NP-completeness.
575 questions
Computational complexity classes and their relations
Computational and mathematical logic.
467 questions
Questions about approximation algorithms.
404 questions
formal languages, grammars, automata theory
381 questions
a question (possibly subjective) about the field of theoretical computer science as opposed to being a question in theoretical computer science.
general questions about selecting a best element from some set of available alternatives.
357 questions
Quantum computation and computational issues related to quantum mechanics
343 questions
Automata Theory, including abstract machines, grammars, parsing, grammatical inference, transducers, and finite-state techniques
342 questions
Computability theory a.k.a. recursion theory.
338 questions
the study of resource-bounded circuits and the functions computed by such circuits.
330 questions
Programming languages, in particular, focussing on their semantics.
324 questions
Properties and applications of data structures, such as space lower bounds, or time complexity of insertion and deletion of objects.
313 questions
Time complexity of decision problems or relations among time-bounded complexity classes. (Use [tag:analysis-of-algorithms] for the time taken by particular algorithms.)
Theoretical questions about Machine learning, especially Computational Learning Theory, including Algorithmic Learning Theory, PAC learning, and Bayesian Inference
297 questions
a syntactic discipline for enforcing levels of abstraction.
282 questions
SAT stands for the Boolean satisfiability problem.
265 questions
the study of geometric problems from a computational perspective. Examples of problems include: computation of geometric objects such as convex hulls, dimensionality reductio…
255 questions
Theoretical aspects of cryptography and information security.
251 questions
questions about lowerbounds on functions, usually the complexity of an algorithm or a problem
234 questions
Church's formal system used in computatability, programming languages and proof theory to represent effective functions, programs and their computation, and proofs.
213 questions
counting the number of solutions?
213 questions
Questions in probability theory
197 questions
a fundamental model of computation, especially in theoretical work.
188 questions
Linear algebra deals with vector spaces and linear transformations.
187 questions
Questions about Boolean functions and their analysis
185 questions
for a "broad, overall view or perspective of an issue or problem."
178 questions
determined by its input and a generator producing uniformly random numbers.
173 questions
Mathematical and computational method for finding the best outcome in a given mathematical model where the list of requirements is represented as linear relationships.
172 questions
Machine learning and learning theory: PAC learning, algorithmic learning theory, and computational aspects of Bayesian inference and graphical models.
171 questions
1
2 3 4 5
15