22 relations: Association for Computing Machinery, ♯P, BPP (complexity), BQP, Co-NP, Complexity class, Computational complexity theory, Descriptive complexity theory, Larry Stockmeyer, NP (complexity), Oracle machine, P (complexity), Polynomial hierarchy, PP (complexity), PSPACE, Quantum computing, RP (complexity), Second-order logic, Springer Science+Business Media, Symposium on Theory of Computing, Toda's theorem, Turing machine.
Association for Computing Machinery
The Association for Computing Machinery (ACM) is an international learned society for computing.
New!!: PH (complexity) and Association for Computing Machinery · See more »
♯P
In computational complexity theory, the complexity class ♯P (pronounced "number P" or, sometimes "sharp P" or "hash P") is the set of the counting problems associated with the decision problems in the set NP.
New!!: PH (complexity) and ♯P · See more »
BPP (complexity)
In computational complexity theory, BPP, which stands for bounded-error probabilistic polynomial time is the class of decision problems solvable by a probabilistic Turing machine in polynomial time with an error probability bounded away from 1/2 for all instances.
New!!: PH (complexity) and BPP (complexity) · See more »
BQP
In computational complexity theory, BQP (bounded-error quantum polynomial time) is the class of decision problems solvable by a quantum computer in polynomial time, with an error probability of at most 1/3 for all instances.
New!!: PH (complexity) and BQP · See more »
Co-NP
In computational complexity theory, co-NP is a complexity class.
New!!: PH (complexity) and Co-NP · See more »
Complexity class
In computational complexity theory, a complexity class is a set of problems of related resource-based complexity.
New!!: PH (complexity) and Complexity class · See more »
Computational complexity theory
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.
New!!: PH (complexity) and Computational complexity theory · See more »
Descriptive complexity theory
Descriptive complexity is a branch of computational complexity theory and of finite model theory that characterizes complexity classes by the type of logic needed to express the languages in them.
New!!: PH (complexity) and Descriptive complexity theory · See more »
Larry Stockmeyer
Larry Joseph Stockmeyer (1948 – 31 July 2004) was an American computer scientist.
New!!: PH (complexity) and Larry Stockmeyer · See more »
NP (complexity)
In computational complexity theory, NP (for nondeterministic polynomial time) is a complexity class used to describe certain types of decision problems.
New!!: PH (complexity) and NP (complexity) · See more »
Oracle machine
In complexity theory and computability theory, an oracle machine is an abstract machine used to study decision problems.
New!!: PH (complexity) and Oracle machine · See more »
P (complexity)
In computational complexity theory, P, also known as PTIME or DTIME(nO(1)), is a fundamental complexity class.
New!!: PH (complexity) and P (complexity) · See more »
Polynomial hierarchy
In computational complexity theory, the polynomial hierarchy (sometimes called the polynomial-time hierarchy) is a hierarchy of complexity classes that generalize the classes P, NP and co-NP to oracle machines.
New!!: PH (complexity) and Polynomial hierarchy · See more »
PP (complexity)
In complexity theory, PP is the class of decision problems solvable by a probabilistic Turing machine in polynomial time, with an error probability of less than 1/2 for all instances.
New!!: PH (complexity) and PP (complexity) · See more »
PSPACE
In computational complexity theory, PSPACE is the set of all decision problems that can be solved by a Turing machine using a polynomial amount of space.
New!!: PH (complexity) and PSPACE · See more »
Quantum computing
Quantum computing is computing using quantum-mechanical phenomena, such as superposition and entanglement.
New!!: PH (complexity) and Quantum computing · See more »
RP (complexity)
In computational complexity theory, randomized polynomial time (RP) is the complexity class of problems for which a probabilistic Turing machine exists with these properties.
New!!: PH (complexity) and RP (complexity) · See more »
Second-order logic
In logic and mathematics second-order logic is an extension of first-order logic, which itself is an extension of propositional logic.
New!!: PH (complexity) and Second-order logic · See more »
Springer Science+Business Media
Springer Science+Business Media or Springer, part of Springer Nature since 2015, is a global publishing company that publishes books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.
New!!: PH (complexity) and Springer Science+Business Media · See more »
Symposium on Theory of Computing
The Annual ACM Symposium on Theory of Computing (STOC) is an academic conference in the field of theoretical computer science.
New!!: PH (complexity) and Symposium on Theory of Computing · See more »
Toda's theorem
Toda's theorem is a result in computational complexity theory that was proven by Seinosuke Toda in his paper "PP is as Hard as the Polynomial-Time Hierarchy" (1991) and was given the 1998 Gödel Prize.
New!!: PH (complexity) and Toda's theorem · See more »
Turing machine
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.
New!!: PH (complexity) and Turing machine · See more »
References
[1] https://en.wikipedia.org/wiki/PH_(complexity)