21 relations: Boole's inequality, BQP, Chernoff bound, Circuit complexity, Complexity class, Computational complexity theory, Computational problem, Hadamard transform, Intersection (set theory), Logical conjunction, Majority, NP (complexity), Postselection, PP (complexity), Proceedings of the Royal Society, Quantum circuit, Quantum Turing machine, Scott Aaronson, SIAM Journal on Computing, Time complexity, Without loss of generality.
Boole's inequality
In probability theory, Boole's inequality, also known as the union bound, says that for any finite or countable set of events, the probability that at least one of the events happens is no greater than the sum of the probabilities of the individual events.
New!!: PostBQP and Boole's inequality · 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!!: PostBQP and BQP · See more »
Chernoff bound
In probability theory, the Chernoff bound, named after Herman Chernoff but due to Herman Rubin, gives exponentially decreasing bounds on tail distributions of sums of independent random variables.
New!!: PostBQP and Chernoff bound · See more »
Circuit complexity
In theoretical computer science, circuit complexity is a branch of computational complexity theory in which Boolean functions are classified according to the size or depth of Boolean circuits that compute them.
New!!: PostBQP and Circuit complexity · See more »
Complexity class
In computational complexity theory, a complexity class is a set of problems of related resource-based complexity.
New!!: PostBQP 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!!: PostBQP and Computational complexity theory · See more »
Computational problem
In theoretical computer science, a computational problem is a mathematical object representing a collection of questions that computers might be able to solve.
New!!: PostBQP and Computational problem · See more »
Hadamard transform
The Hadamard transform (also known as the Walsh–Hadamard transform, Hadamard–Rademacher–Walsh transform, Walsh transform, or Walsh–Fourier transform) is an example of a generalized class of Fourier transforms.
New!!: PostBQP and Hadamard transform · See more »
Intersection (set theory)
In mathematics, the intersection A ∩ B of two sets A and B is the set that contains all elements of A that also belong to B (or equivalently, all elements of B that also belong to A), but no other elements.
New!!: PostBQP and Intersection (set theory) · See more »
Logical conjunction
In logic, mathematics and linguistics, And (∧) is the truth-functional operator of logical conjunction; the and of a set of operands is true if and only if all of its operands are true.
New!!: PostBQP and Logical conjunction · See more »
Majority
A majority is the greater part, or more than half, of the total.
New!!: PostBQP and Majority · 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!!: PostBQP and NP (complexity) · See more »
Postselection
In probability theory, to postselect is to condition a probability space upon the occurrence of a given event.
New!!: PostBQP and Postselection · 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!!: PostBQP and PP (complexity) · See more »
Proceedings of the Royal Society
Proceedings of the Royal Society is the parent title of two scientific journals published by the Royal Society.
New!!: PostBQP and Proceedings of the Royal Society · See more »
Quantum circuit
In quantum information theory, a quantum circuit is a model for quantum computation in which a computation is a sequence of quantum gates, which are reversible transformations on a quantum mechanical analog of an n-bit register.
New!!: PostBQP and Quantum circuit · See more »
Quantum Turing machine
A quantum Turing machine (QTM), also a universal quantum computer, is an abstract machine used to model the effect of a quantum computer.
New!!: PostBQP and Quantum Turing machine · See more »
Scott Aaronson
Scott Joel Aaronson (born May 21, 1981) is an American theoretical computer scientist and David J. Bruton Jr.
New!!: PostBQP and Scott Aaronson · See more »
SIAM Journal on Computing
The SIAM Journal on Computing is a scientific journal focusing on the mathematical and formal aspects of computer science.
New!!: PostBQP and SIAM Journal on Computing · See more »
Time complexity
In computer science, the time complexity is the computational complexity that describes the amount of time it takes to run an algorithm.
New!!: PostBQP and Time complexity · See more »
Without loss of generality
Without loss of generality (often abbreviated to WOLOG, WLOG or w.l.o.g.; less commonly stated as without any loss of generality or with no loss of generality) is a frequently used expression in mathematics.
New!!: PostBQP and Without loss of generality · See more »
Redirects here:
References
[1] https://en.wikipedia.org/wiki/PostBQP