|
|
| Line 1: |
Line 1: |
| {{no footnotes|date=September 2013}}
| | I'm Modesta and I live in a seaside city in northern Germany, Raubling. I'm 25 and I'm will soon finish my study at Nutritional Sciences.<br><br>Here is my web-site: [http://www.kawaii-house.com/category/67/Cezanne ขาย Cezanne] |
| In [[computational complexity theory|complexity theory]] and [[Computability theory (computation)|computability theory]], an '''oracle machine''' is an [[abstract machine]] used to study [[decision problem]]s. It can be visualized as a [[Turing machine]] with a black box, called an '''oracle''', which is able to decide certain decision problems in a single operation. The problem can be of any [[complexity class]]. Even [[undecidable problem]]s, like the [[halting problem]], can be used.
| |
| | |
| == Oracles ==
| |
| | |
| An oracle machine can be conceived as a [[Turing machine]] connected to an '''oracle'''. The oracle, in this context, is an entity capable of solving some problem, which for example may be a [[decision problem]] or a [[function problem]]. The problem may not be computable; the oracle is not assumed to be a Turing machine or computer program. The oracle is simply a "[[black box]]" that is able to produce a solution for any instance of a given computational problem:
| |
| * A decision problem is represented as a set ''A'' of natural numbers (or strings). An instance of the problem is an arbitrary natural number (or string). The solution to the instance is "YES" if the number (string) is in the set, and "NO" otherwise.
| |
| * A function problem is represented by a function ''f'' from natural numbers (or strings) to natural numbers (or strings). An instance of the problem is an input ''x'' for ''f''; the solution is the value ''f''(''x'').
| |
| | |
| An oracle machine can perform all of the usual operations of a Turing machine, and can also query the oracle to obtain a solution to any instance of the computational problem for that oracle. For example, if the problem is a decision problem for a set ''A'' of natural numbers, the oracle machine supplies the oracle with a natural number, and the oracle responds with "yes" or "no" stating whether that number is an element of ''A''.
| |
| | |
| ==Definitions ==
| |
| | |
| | |
| There are many equivalent definitions of oracle Turing machines, as discussed below. The one presented here is from van Melkebeek (2000:43).
| |
| | |
| An oracle machine, like a Turing machine, includes:
| |
| * a '''work tape''': a sequence of cells without beginning or end, each of which may contain a B (for blank) or a symbol from the tape alphabet;
| |
| * a '''read/write head''', which rests on a single cell of the work tape and can read the data there, write new data, and move left or right along the tape;
| |
| * a '''control mechanism''', which can be in one of a finite number of '''states''', and which will perform different actions (reading data, writing data, moving the control mechanism, and changing states) depending on the current state and the data being read.
| |
| | |
| In addition to these components, an oracle machine also includes:
| |
| * an '''oracle tape''', which is a semi-infinite tape separate from the work tape. The alphabet for the oracle tape may be different than the alphabet for the work tape.
| |
| * an '''oracle head''' which, like the read/write head, can move left or right along the oracle tape reading and writing symbols;
| |
| * two special states: the ASK state and the RESPONSE state.
| |
| | |
| From time to time, the oracle machine may enter the ASK state. When this happens, the following actions are performed in a single computational step:
| |
| * the contents of the query tape are viewed as an instance of the oracle's computational problem;
| |
| * the oracle is consulted, and the contents of the query tape are replaced with the solution to that instance of the problem;
| |
| * the oracle head is moved to the first square on the oracle tape;
| |
| * the state of the oracle machine is changed to RESPONSE.
| |
| The effect of changing to the ASK state is thus to receive, in a single step, a solution to the problem instance that is written on the oracle tape.
| |
| | |
| === Alternative definitions ===
| |
| | |
| There are many alternative definitions to the one presented above. Many of these are specialized for the case where the oracle solves a decision problem. In this case:
| |
| * Some definitions, instead of writing the answer to the oracle tape, have two special states YES and NO in addition to the ASK state. When the oracle is consulted, the next state is chosen to be YES if the contents of the oracle tape are in the oracle set, and chosen to the NO if the contents are not in the oracle set (Adachi 1990:111).
| |
| * Some definitions eschew the separate oracle tape. When the oracle state is entered, a tape symbol is specified. The oracle is queried with the number of times that this tape symbol appears on the work tape. If that number is in the oracle set, the next state is the YES state; if it is not, the next state is the NO state (Rogers 1967:129).
| |
| * Another alternative definition makes the oracle tape read-only, and eliminates the ASK and RESPONSE states entirely. Before the machine is started, the [[indicator function]] of the oracle set is written on the oracle tape using symbols 0 and 1. The machine is then able to query the oracle by scanning to the correct square on the oracle tape and reading the value located there (Soare 1987:47, Rogers 1967:130).
| |
| | |
| These definitions are equivalent from the point of view of Turing computability: a function is oracle-computable from a given oracle under all of these definitions if it is oracle-computable under any of them. The definitions are not equivalent, however, from the point of view of computational complexity. A definition such as the one by van Melkebeek, using an oracle tape which may have its own alphabet, is required in general.
| |
| | |
| ==Complexity classes of oracle machines==
| |
| The [[complexity class]] of [[decision problem]]s solvable by an algorithm in class A with an oracle for a language L is called A<sup>L</sup>. For example, P<sup>SAT</sup> is the class of problems solvable in [[polynomial time]] by a [[deterministic Turing machine]] with an oracle for the [[Boolean satisfiability problem]]. The notation A<sup>B</sup> can be extended to a set of languages B (or a complexity class B), by using the following definition:
| |
| :<math>A^B = \bigcup_{L \in B} A^L</math>
| |
| | |
| When a language L is [[complete (complexity)|complete]] for some class B, then A<sup>L</sup>=A<sup>B</sup> provided that machines in A can execute reductions used in the completeness definition of class B. In particular, since SAT is [[NP-complete]] with respect to polynomial time reductions, P<sup>SAT</sup>=P<sup>NP</sup>. However, if A = [[DLOGTIME]], then A<sup>SAT</sup> may not equal A<sup>NP</sup>.
| |
| | |
| It is obvious that NP ⊆ P<sup>NP</sup>, but the question of whether NP<sup>NP</sup>, P<sup>NP</sup>, NP, and P are equal remains tentative at best. It is believed they are different, and this leads to the definition of the [[polynomial hierarchy]].
| |
| | |
| Oracle machines are useful for investigating the relationship between [[P = NP problem|complexity classes P and NP]], by considering the relationship between P<sup>A</sup> and NP<sup>A</sup> for an oracle A. In particular, it has been shown there exist languages A and B such that P<sup>A</sup>=NP<sup>A</sup> and P<sup>B</sup>≠NP<sup>B</sup> (Baker, Gill, and Solovay 1975). The fact the P = NP question relativizes both ways is taken as evidence that answering this question is difficult, because a proof technique that ''relativizes'' (i.e., unaffected by the addition of an oracle) will not answer the P = NP question. Most proof techniques relativize.
| |
| | |
| It is interesting to consider the case where an oracle is chosen randomly from among all possible oracles (an infinite set). It has been shown in this case, then with probability 1, P<sup>A</sup>≠NP<sup>A</sup> (Bennet and Gill 1981). When a question is true for almost all oracles, it is said to be true ''for a random oracle''. This choice of terminology is justified by the fact random oracles support a statement with probability 0 or 1 only. (This follows from [[Kolmogorov's zero one law]].) This is taken as evidence P≠NP. A statement may be true for a random oracle and false for ordinary Turing machines at the same time; for example for oracles A, IP<sup>A</sup>≠PSPACE<sup>A</sup>, while [[IP (complexity)|IP]] = [[PSPACE]] (Chang et al., 1994).
| |
| | |
| ==Oracles and halting problems==
| |
| It is possible to posit the existence of an oracle which computes a [[non-computable function]], such as the answer to the [[halting problem]] or some equivalent. A machine with an oracle of this sort is a [[hypercomputer]].
| |
| | |
| Interestingly, the halting paradox still applies to such machines; although they determine whether particular Turing machines will halt on particular inputs, they cannot determine, in general, if machines equivalent to themselves will halt. This fact creates a hierarchy of machines, called the ''[[arithmetical hierarchy]]'', each with a more powerful halting oracle and an even harder halting problem.
| |
| | |
| ==Applications to cryptography==
| |
| {{main|Random oracle}}
| |
| In [[cryptography]], oracles are used to make arguments for the security of cryptographic protocols where a [[Cryptographic hash function|hash function]] is used. A [[Provable security|security reduction]] for the protocol is given in the case where, instead of a hash function, a [[random oracle]] answers each query randomly but consistently; the oracle is assumed to be available to all parties including the attacker, as the hash function is. Such a proof shows that unless the attacker solves the hard problem at the heart of the security reduction, they must make use of some interesting property of the hash function to break the protocol; they cannot treat the hash function as a black box (i.e., as a random oracle).
| |
| | |
| ==See also==
| |
| * [[Turing machine]]
| |
| * [[Turing reduction]]
| |
| * [[Interactive proof system]]
| |
| * [[Matroid oracle]]
| |
| | |
| ==References==
| |
| * Akeo Adachi, ''Foundations of computation theory'', Ohmsha, 1990.
| |
| * T. P. Baker, J. Gill, [[Robert M. Solovay|R. Solovay]]. ''Relativizations of the P =? NP Question''. [[SIAM Journal on Computing]], 4(4): 431-442 (1975)
| |
| * C. H. Bennett, J. Gill. ''Relative to a Random Oracle A, P<sup>A</sup> != NP<sup>A</sup> != co-NP<sup>A</sup> with Probability 1''. SIAM Journal on Computing, 10(1): 96-113 (1981)
| |
| * Richard Chang, Benny Chor, Oded Goldreich, Juris Hartmanis, Johan Hastad, Desh Ranjan, Pankaj Rohatgi. The Random Oracle Hypothesis is False. ''Journal of Computer and System Sciences'', volume 49, issue 1, pp.24–39. August 1994. ISSN 0022-0000. http://citeseer.ist.psu.edu/282397.html</ref>
| |
| * [[Martin Davis]], editor: ''The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions'', Raven Press, New York, 1965. Turing's paper is in this volume. Papers include those by Gödel, Church, Rosser, Kleene, and Post.
| |
| * C. Papadimitriou. ''Computational Complexity''. Addison-Wesley, 1994. Section 14.3: Oracles, pp. 339–343.
| |
| * Hartley Rogers, Jr., ''Theory of Recursive Functions and Effective Computability'', McGraw-Hill, 1967.
| |
| * [[Michael Sipser]]. ''Introduction to the Theory of Computation''. PWS Publishing, 1997. ISBN 0-534-94728-X. Section 9.2: Relativization, pp.318–321.
| |
| * Robert I. Soare, ''Recursively Enumerable Sets and Degrees'', Perspectives in Mathematical Logic, Springer, 1987.
| |
| * Alan Turing, ''Systems of logic based on ordinals'', Proc. London math. soc., '''45''', 1939
| |
| * Dieter van Melkebeek, ''Randomness and Completeness in Computational Complexity'', Lecture Notes in Computer Science 1950, Springer, 2000.
| |
| | |
| [[Category:Computability theory]]
| |
| [[Category:Models of computation]]
| |