10 relations: Big O notation, Complexity class, Computational complexity theory, Decision problem, DTIME, EXPTIME, Polynomial-time reduction, SIAM Journal on Computing, Symposium on Foundations of Computer Science, Turing machine.
Big O notation is a mathematical notation that describes the limiting behaviour of a function when the argument tends towards a particular value or infinity.
In computational complexity theory, a complexity class is a set of problems of related resource-based complexity.
Computational complexity theory is a branch of the theory of computation in theoretical computer science that focuses on classifying computational problems according to their inherent difficulty, and relating those classes to each other.
In computability theory and computational complexity theory, a decision problem is a problem that can be posed as a yes-no question of the input values.
In computational complexity theory, DTIME (or TIME) is the computational resource of computation time for a deterministic Turing machine.
In computational complexity theory, the complexity class EXPTIME (sometimes called EXP or DEXPTIME) is the set of all decision problems that have exponential runtime, i.e., that are solvable by a deterministic Turing machine in O(2p(n)) time, where p(n) is a polynomial function of n. In terms of DTIME, We know and also, by the time hierarchy theorem and the space hierarchy theorem, that so at least one of the first three inclusions and at least one of the last three inclusions must be proper, but it is not known which ones are.
In computational complexity theory, a polynomial-time reduction is a method of solving one problem by means of a hypothetical subroutine for solving a different problem (that is, a reduction), that uses polynomial time excluding the time within the subroutine.
The SIAM Journal on Computing is a scientific journal focusing on the mathematical and formal aspects of computer science.
The IEEE Annual Symposium on Foundations of Computer Science (FOCS) is an academic conference in the field of theoretical computer science.
A Turing machine is a mathematical model of computation that defines an abstract machine, which manipulates symbols on a strip of tape according to a table of rules.