UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always...
Transcript of UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always...
![Page 1: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/1.jpg)
DefinitionsExamples
Theory
UCT Algorithm Circle: Probabilistic Algorithms
Gwylim Ashley
24 February 2011
Gwylim Ashley Probabilistic Algorithms
![Page 2: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/2.jpg)
DefinitionsExamples
Theory
Outline
1 Definitions
2 Examples
3 Theory
Gwylim Ashley Probabilistic Algorithms
![Page 3: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/3.jpg)
DefinitionsExamples
Theory
Probabilistic algorithm
A probabilistic algorithm is one which uses a source of randominformation
The randomness used may result in randomness in the output,or the output may not be affected by it
The running time may be good in the expected case, and badin the worst case
We can model such algorithms as probabilistic turing machines
Gwylim Ashley Probabilistic Algorithms
![Page 4: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/4.jpg)
DefinitionsExamples
Theory
Probabilistic algorithm
A probabilistic algorithm is one which uses a source of randominformation
The randomness used may result in randomness in the output,or the output may not be affected by it
The running time may be good in the expected case, and badin the worst case
We can model such algorithms as probabilistic turing machines
Gwylim Ashley Probabilistic Algorithms
![Page 5: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/5.jpg)
DefinitionsExamples
Theory
Probabilistic algorithm
A probabilistic algorithm is one which uses a source of randominformation
The randomness used may result in randomness in the output,or the output may not be affected by it
The running time may be good in the expected case, and badin the worst case
We can model such algorithms as probabilistic turing machines
Gwylim Ashley Probabilistic Algorithms
![Page 6: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/6.jpg)
DefinitionsExamples
Theory
Las Vegas algorithm
A Las Vegas algorithm is guaranteed to always return thecorrect result
The output may be different if the algorithm is run again (e.g.a non-stable sort may return different, but correct, results)
The worst-case running time may be significantly differentfrom the expected time
Example: quicksort
Gwylim Ashley Probabilistic Algorithms
![Page 7: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/7.jpg)
DefinitionsExamples
Theory
Las Vegas algorithm
A Las Vegas algorithm is guaranteed to always return thecorrect result
The output may be different if the algorithm is run again (e.g.a non-stable sort may return different, but correct, results)
The worst-case running time may be significantly differentfrom the expected time
Example: quicksort
Gwylim Ashley Probabilistic Algorithms
![Page 8: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/8.jpg)
DefinitionsExamples
Theory
Las Vegas algorithm
A Las Vegas algorithm is guaranteed to always return thecorrect result
The output may be different if the algorithm is run again (e.g.a non-stable sort may return different, but correct, results)
The worst-case running time may be significantly differentfrom the expected time
Example: quicksort
Gwylim Ashley Probabilistic Algorithms
![Page 9: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/9.jpg)
DefinitionsExamples
Theory
Las Vegas algorithm
A Las Vegas algorithm is guaranteed to always return thecorrect result
The output may be different if the algorithm is run again (e.g.a non-stable sort may return different, but correct, results)
The worst-case running time may be significantly differentfrom the expected time
Example: quicksort
Gwylim Ashley Probabilistic Algorithms
![Page 10: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/10.jpg)
DefinitionsExamples
Theory
Monte Carlo method
A Monte Carlo method is one in which the results are random;and not necessarily correct
The results may be correct some fraction of the time, or theymay be a numerical approximation to some quantity
Generally a better result can be obtained by running thealgorithm for longer, as Monte Carlo methods generally workby random sampling
The running time is usually not random
Example: Metropolis-Hastings algorithm
Gwylim Ashley Probabilistic Algorithms
![Page 11: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/11.jpg)
DefinitionsExamples
Theory
Monte Carlo method
A Monte Carlo method is one in which the results are random;and not necessarily correct
The results may be correct some fraction of the time, or theymay be a numerical approximation to some quantity
Generally a better result can be obtained by running thealgorithm for longer, as Monte Carlo methods generally workby random sampling
The running time is usually not random
Example: Metropolis-Hastings algorithm
Gwylim Ashley Probabilistic Algorithms
![Page 12: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/12.jpg)
DefinitionsExamples
Theory
Monte Carlo method
A Monte Carlo method is one in which the results are random;and not necessarily correct
The results may be correct some fraction of the time, or theymay be a numerical approximation to some quantity
Generally a better result can be obtained by running thealgorithm for longer, as Monte Carlo methods generally workby random sampling
The running time is usually not random
Example: Metropolis-Hastings algorithm
Gwylim Ashley Probabilistic Algorithms
![Page 13: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/13.jpg)
DefinitionsExamples
Theory
Monte Carlo method
A Monte Carlo method is one in which the results are random;and not necessarily correct
The results may be correct some fraction of the time, or theymay be a numerical approximation to some quantity
Generally a better result can be obtained by running thealgorithm for longer, as Monte Carlo methods generally workby random sampling
The running time is usually not random
Example: Metropolis-Hastings algorithm
Gwylim Ashley Probabilistic Algorithms
![Page 14: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/14.jpg)
DefinitionsExamples
Theory
Monte Carlo method
A Monte Carlo method is one in which the results are random;and not necessarily correct
The results may be correct some fraction of the time, or theymay be a numerical approximation to some quantity
Generally a better result can be obtained by running thealgorithm for longer, as Monte Carlo methods generally workby random sampling
The running time is usually not random
Example: Metropolis-Hastings algorithm
Gwylim Ashley Probabilistic Algorithms
![Page 15: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/15.jpg)
DefinitionsExamples
Theory
Outline
1 Definitions
2 Examples
3 Theory
Gwylim Ashley Probabilistic Algorithms
![Page 16: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/16.jpg)
DefinitionsExamples
Theory
Building a binary search tree
We can quickly build a binary search tree from a list by addingelements one by one, starting at the root
In the case of strange input data, this may give an unbalancedtree
If items are added in a random order, the expected height willbe small regardless of the input ordering
Gwylim Ashley Probabilistic Algorithms
![Page 17: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/17.jpg)
DefinitionsExamples
Theory
Building a binary search tree
We can quickly build a binary search tree from a list by addingelements one by one, starting at the root
In the case of strange input data, this may give an unbalancedtree
If items are added in a random order, the expected height willbe small regardless of the input ordering
Gwylim Ashley Probabilistic Algorithms
![Page 18: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/18.jpg)
DefinitionsExamples
Theory
Building a binary search tree
We can quickly build a binary search tree from a list by addingelements one by one, starting at the root
In the case of strange input data, this may give an unbalancedtree
If items are added in a random order, the expected height willbe small regardless of the input ordering
Gwylim Ashley Probabilistic Algorithms
![Page 19: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/19.jpg)
DefinitionsExamples
Theory
Polygon triangulation
Seidel’s algorithm for polygon triangulation requires processingthe edges of a polygon sequentially and hence updating a tree
The tree will potentially become unbalanced
Randomization makes this less likely
This results in an algorithm of O(nlog∗(n))
In this case, similar to with constructing a binary search tree,randomisation is useful because it makes the worst caseperformance unlikely to occur
Gwylim Ashley Probabilistic Algorithms
![Page 20: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/20.jpg)
DefinitionsExamples
Theory
Polygon triangulation
Seidel’s algorithm for polygon triangulation requires processingthe edges of a polygon sequentially and hence updating a tree
The tree will potentially become unbalanced
Randomization makes this less likely
This results in an algorithm of O(nlog∗(n))
In this case, similar to with constructing a binary search tree,randomisation is useful because it makes the worst caseperformance unlikely to occur
Gwylim Ashley Probabilistic Algorithms
![Page 21: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/21.jpg)
DefinitionsExamples
Theory
Polygon triangulation
Seidel’s algorithm for polygon triangulation requires processingthe edges of a polygon sequentially and hence updating a tree
The tree will potentially become unbalanced
Randomization makes this less likely
This results in an algorithm of O(nlog∗(n))
In this case, similar to with constructing a binary search tree,randomisation is useful because it makes the worst caseperformance unlikely to occur
Gwylim Ashley Probabilistic Algorithms
![Page 22: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/22.jpg)
DefinitionsExamples
Theory
Probabilistic primality testing
A number of efficient algorithms for checking primality ofnumbers are in co− RP.
For Miller-Rabin, for example, when the algorithm indicatescompositeness, it is guaranteed, and the probability of the testincorrectly identifying a composite as prime can be madeexponentially smaller by linearly increasing the running time.
This can be used to make the algorithm effectively never fail,by using a few tens of iterations.
Gwylim Ashley Probabilistic Algorithms
![Page 23: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/23.jpg)
DefinitionsExamples
Theory
Probabilistic primality testing
A number of efficient algorithms for checking primality ofnumbers are in co− RP.
For Miller-Rabin, for example, when the algorithm indicatescompositeness, it is guaranteed, and the probability of the testincorrectly identifying a composite as prime can be madeexponentially smaller by linearly increasing the running time.
This can be used to make the algorithm effectively never fail,by using a few tens of iterations.
Gwylim Ashley Probabilistic Algorithms
![Page 24: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/24.jpg)
DefinitionsExamples
Theory
Probabilistic primality testing
A number of efficient algorithms for checking primality ofnumbers are in co− RP.
For Miller-Rabin, for example, when the algorithm indicatescompositeness, it is guaranteed, and the probability of the testincorrectly identifying a composite as prime can be madeexponentially smaller by linearly increasing the running time.
This can be used to make the algorithm effectively never fail,by using a few tens of iterations.
Gwylim Ashley Probabilistic Algorithms
![Page 25: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/25.jpg)
DefinitionsExamples
Theory
Genetic algorithms
Suppose that we want to maximise some function over someparameter space, but we don’t know anything about thefunction other than that it is (somewhat) continuous.
We can choose random points in the space, and select thebest one.
We can also make use of the fact that the function iscontinuous to search for better solutions near good solutions.
This leads to algorithms such as genetic algorithms andsimulated annealing.
Gwylim Ashley Probabilistic Algorithms
![Page 26: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/26.jpg)
DefinitionsExamples
Theory
Genetic algorithms
Suppose that we want to maximise some function over someparameter space, but we don’t know anything about thefunction other than that it is (somewhat) continuous.
We can choose random points in the space, and select thebest one.
We can also make use of the fact that the function iscontinuous to search for better solutions near good solutions.
This leads to algorithms such as genetic algorithms andsimulated annealing.
Gwylim Ashley Probabilistic Algorithms
![Page 27: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/27.jpg)
DefinitionsExamples
Theory
Genetic algorithms
Suppose that we want to maximise some function over someparameter space, but we don’t know anything about thefunction other than that it is (somewhat) continuous.
We can choose random points in the space, and select thebest one.
We can also make use of the fact that the function iscontinuous to search for better solutions near good solutions.
This leads to algorithms such as genetic algorithms andsimulated annealing.
Gwylim Ashley Probabilistic Algorithms
![Page 28: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/28.jpg)
DefinitionsExamples
Theory
Rabin’s nearest neighbor algorithm
Suppose we have a set of points on the plane, and we want tofind the two points which have the least distance from eachother
There exist deterministic algorithms which are O(nlog(n)) tosolve this
However, there is a probabilistic algorithm which is O(n)expected time, which works by selecting a random subset ofpoints of size
√n, and hence finding an upper bound d on the
minimum distance
Gwylim Ashley Probabilistic Algorithms
![Page 29: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/29.jpg)
DefinitionsExamples
Theory
Rabin’s nearest neighbor algorithm
Suppose we have a set of points on the plane, and we want tofind the two points which have the least distance from eachother
There exist deterministic algorithms which are O(nlog(n)) tosolve this
However, there is a probabilistic algorithm which is O(n)expected time, which works by selecting a random subset ofpoints of size
√n, and hence finding an upper bound d on the
minimum distance
Gwylim Ashley Probabilistic Algorithms
![Page 30: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/30.jpg)
DefinitionsExamples
Theory
Outline
1 Definitions
2 Examples
3 Theory
Gwylim Ashley Probabilistic Algorithms
![Page 31: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/31.jpg)
DefinitionsExamples
Theory
Probabilistic Turing machine
Similar to a non-deterministic turing machine, but the statetransition function assigns probabilities to each future state
From these probabilities, we can find the probability that theaccepting and rejecting states are reached
Gwylim Ashley Probabilistic Algorithms
![Page 32: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/32.jpg)
DefinitionsExamples
Theory
Complexity classes
The following are defined with respect to probabilistic turingmachines, and refer to decision problems
ZPP: Zero-error Probabilistic Polynomial time. The class ofproblems which can be solved in expected polynomial time.
BPP: Bounded-error Probabilistic Polynomial time. The classof problems which can be solved in expected polynomial timewith a probability of error of at most 1/3.
RP: Randomized Polynomial time The class of decisionproblems for which False is always returned if the answer isFalse, and True is returned in at least 1/2 of cases if theanswer is True. The polynomial time is expected value.
co− RP: Similar to RP, with True and False switched.
QBP: Uses quantum stuff, otherwise similar to BPP.
Gwylim Ashley Probabilistic Algorithms
![Page 33: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/33.jpg)
DefinitionsExamples
Theory
Complexity classes
The following are defined with respect to probabilistic turingmachines, and refer to decision problems
ZPP: Zero-error Probabilistic Polynomial time. The class ofproblems which can be solved in expected polynomial time.
BPP: Bounded-error Probabilistic Polynomial time. The classof problems which can be solved in expected polynomial timewith a probability of error of at most 1/3.
RP: Randomized Polynomial time The class of decisionproblems for which False is always returned if the answer isFalse, and True is returned in at least 1/2 of cases if theanswer is True. The polynomial time is expected value.
co− RP: Similar to RP, with True and False switched.
QBP: Uses quantum stuff, otherwise similar to BPP.
Gwylim Ashley Probabilistic Algorithms
![Page 34: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/34.jpg)
DefinitionsExamples
Theory
Complexity classes
The following are defined with respect to probabilistic turingmachines, and refer to decision problems
ZPP: Zero-error Probabilistic Polynomial time. The class ofproblems which can be solved in expected polynomial time.
BPP: Bounded-error Probabilistic Polynomial time. The classof problems which can be solved in expected polynomial timewith a probability of error of at most 1/3.
RP: Randomized Polynomial time The class of decisionproblems for which False is always returned if the answer isFalse, and True is returned in at least 1/2 of cases if theanswer is True. The polynomial time is expected value.
co− RP: Similar to RP, with True and False switched.
QBP: Uses quantum stuff, otherwise similar to BPP.
Gwylim Ashley Probabilistic Algorithms
![Page 35: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/35.jpg)
DefinitionsExamples
Theory
Complexity classes
The following are defined with respect to probabilistic turingmachines, and refer to decision problems
ZPP: Zero-error Probabilistic Polynomial time. The class ofproblems which can be solved in expected polynomial time.
BPP: Bounded-error Probabilistic Polynomial time. The classof problems which can be solved in expected polynomial timewith a probability of error of at most 1/3.
RP: Randomized Polynomial time The class of decisionproblems for which False is always returned if the answer isFalse, and True is returned in at least 1/2 of cases if theanswer is True. The polynomial time is expected value.
co− RP: Similar to RP, with True and False switched.
QBP: Uses quantum stuff, otherwise similar to BPP.
Gwylim Ashley Probabilistic Algorithms
![Page 36: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/36.jpg)
DefinitionsExamples
Theory
Complexity classes
The following are defined with respect to probabilistic turingmachines, and refer to decision problems
ZPP: Zero-error Probabilistic Polynomial time. The class ofproblems which can be solved in expected polynomial time.
BPP: Bounded-error Probabilistic Polynomial time. The classof problems which can be solved in expected polynomial timewith a probability of error of at most 1/3.
RP: Randomized Polynomial time The class of decisionproblems for which False is always returned if the answer isFalse, and True is returned in at least 1/2 of cases if theanswer is True. The polynomial time is expected value.
co− RP: Similar to RP, with True and False switched.
QBP: Uses quantum stuff, otherwise similar to BPP.
Gwylim Ashley Probabilistic Algorithms
![Page 37: UCT Algorithm Circle: Probabilistic Algorithms · A Las Vegas algorithm is guaranteed to always return the correct result The output may be di erent if the algorithm is run again](https://reader030.fdocuments.net/reader030/viewer/2022041016/5ec95c373573ac24be54606b/html5/thumbnails/37.jpg)
DefinitionsExamples
Theory
Complexity classes
The following are defined with respect to probabilistic turingmachines, and refer to decision problems
ZPP: Zero-error Probabilistic Polynomial time. The class ofproblems which can be solved in expected polynomial time.
BPP: Bounded-error Probabilistic Polynomial time. The classof problems which can be solved in expected polynomial timewith a probability of error of at most 1/3.
RP: Randomized Polynomial time The class of decisionproblems for which False is always returned if the answer isFalse, and True is returned in at least 1/2 of cases if theanswer is True. The polynomial time is expected value.
co− RP: Similar to RP, with True and False switched.
QBP: Uses quantum stuff, otherwise similar to BPP.
Gwylim Ashley Probabilistic Algorithms