|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| {{Portal|computer science}}
| | The author is known as Irwin Wunder but it's not the most masucline title out there. To do aerobics is a thing that I'm completely addicted to. Bookkeeping is my profession. Puerto Rico is where he's always been residing but she requirements to transfer simply because of her family.<br><br>Also visit my web blog - [http://www.gaysphere.net/blog/167593 home std test] |
| '''Lutz's resource bounded measure''' is a generalisation of [[Lebesgue measure]] to [[complexity class]]es. It was originally developed by [[Jack Lutz]]. Just as Lebesgue measure gives a method to quantify the size of subsets of the [[Euclidean space]] <math>\R^n</math>, resource bounded measure gives a method to classify the size of subsets of complexity classes.
| |
| | |
| For instance, computer scientists generally believe that the complexity class [[P]] (the set of all [[decision problem]]s solvable in [[polynomial time]]) is not equal to the complexity class [[NP (complexity)|NP]] (the set of all decision problems checkable, but not necessarily solvable, in polynomial time). Since P is a [[subset]] of NP, this would mean that NP contains more problems than P. A stronger hypothesis than "[[P is not NP]]" is the statement "NP does not have p-measure 0". Here, p-measure is a generalization of Lebesgue measure to subsets of the complexity class [[E (complexity)|E]], in which P is contained. P is known to have p-measure 0, and so the hypothesis "NP does not have p-measure 0" would imply not only that NP and P are unequal, but that NP is, in a [[measure theory|measure-theoretic]] sense, "much bigger than P".
| |
| | |
| ==Definition==
| |
| <math>\{0,1\}^\infty</math> is the set of all [[Infinite set|infinite]], [[binary numeral system|binary]] [[Sequence#Infinite sequences in theoretical computer science|sequences]]. We can view a [[real number]] in the [[unit interval]] as an infinite binary sequence, by considering its [[Binary numeral system#Representing real numbers|binary expansion]]. We may also view a [[formal language|language]] (a set of binary [[String (computer science)|strings]]) as an infinite binary sequence, by setting the ''n''th [[bit]] of the sequence to 1 if and only if the ''n''th binary string (in [[lexicographical order]]) is contained in the language. Thus, sets of real numbers in the unit interval and complexity classes (which are sets of languages) may both be viewed as sets of infinite binary sequences, and thus the techniques of [[measure theory]] used to measure the size of sets of real numbers may be applied to measure complexity classes. However, since each computable complexity class contains only a [[countable]] number of elements(because the number of computable languages is countable), each complexity class has [[Lebesgue measure]] 0. Thus, to do measure theory inside of complexity classes, we must define an alternative [[Measure (mathematics)|measure]] that works meaningfully on countable sets of infinite sequences. For this measure to be meaningful, it should reflect something about the underlying definition of each complexity class; namely, that they are defined by [[computational problem]]s that can be solved within a given resource bound.
| |
| | |
| The foundation of resource-bounded measure is Ville's formulation of [[Martingale (probability theory)|martingale]]s. A '''martingale''' is a function <math>d:\{0,1\}^*\to[0,\infty)</math> such that, for all finite strings ''w'',
| |
| :<math>d(w) = \frac{d(w0) + d(w1)}{2}</math>.
| |
| (This is Ville's original definition of a martingale, later extended by [[Joseph Leo Doob]].) A martingale ''d'' is said to '''succeed''' on a sequence <math>S\in\{0,1\}^\infty</math> if <math>\limsup_{n\to\infty} d(S \upharpoonright n) = \infty,</math> where <math>S \upharpoonright n</math> is the first ''n'' bits of ''S''. A martingale '''succeeds''' on a set of sequences <math>X\subseteq\{0,1\}^\infty</math> if it succeeds on every sequence in ''X''.
| |
| | |
| Intuitively, a martingale is a gambler that starts with some finite amount of money (say, one dollar). It reads a sequence of bits indefinitely. After reading the finite prefix <math>w\in\{0,1\}^*</math>, it bets some of its current money that the next bit will be a 0, and the remainder of its money that the next bit will be a 1. It doubles whatever money was placed on the bit that appears next, and it loses the money placed on the bit that did not appear. It must bet all of its money, but it may "bet nothing" by placing half of its money on each bit. For a martingale ''d'', ''d''(''w'') represents the amount of money ''d'' has after reading the string ''w''. Although the definition of a martingale has the martingale calculating how much money it will have, rather than calculating what bets to place, because of the constrained nature of the game, knowledge the values ''d''(''w''), ''d''(''w''0), and ''d''(''w''1) suffices to calculate the bets that ''d'' placed on 0 and 1 after seeing the string ''w''. The fact that the martingale is a function that takes as input the string seen so far means that the bets placed are solely a function of the bits already read; no other information may affect the bets (other information being the so-called ''filtration'' in the [[Martingale (probability theory)|generalized theory of martingales]]).
| |
| | |
| The key result relating measure to martingales is Ville's observation that a set <math>X\subseteq\{0,1\}^\infty</math> has Lebesgue measure 0 if and only if there is martingale that succeeds on ''X''. Thus, we can define a measure 0 set to be one for which there exists a martingale that succeeds on all elements of the set.
| |
| | |
| To extend this type of measure to complexity classes, Lutz considered restricting the computational power of the martingale. For instance, if instead of allowing any martingale, we require the martingale to be [[polynomial-time]] computable, then we obtain a definition of p-measure: a set of sequences has p-measure 0 if there is a ''polynomial-time computable'' martingale that succeeds on the set. We define a set to have p-measure 1 if its complement has p-measure 0. For example, proving the above-mentioned conjecture, that NP does not have p-measure 0, amounts to proving that no polynomial-time martingale succeeds on all of NP.
| |
| | |
| ==Almost complete==
| |
| A problem is '''almost complete''' for a [[complexity class]] C if it is in C and "many" other problems in C reduce to it. More specifically, the subset of problems of C which reduce to the problem is a measure one set, in terms of the resource bounded measure. This is a weaker requirement than the problem being [[complete (complexity)|complete]] for the class.
| |
| | |
| == References ==
| |
| * {{Citation
| |
| |last=van Melkebeek
| |
| |first=Dieter
| |
| |authorlink=
| |
| |title=Randomness and Completeness in Computational Complexity
| |
| |url=http://www.cs.uchicago.edu/files/tr_authentic/TR-99-04.ps
| |
| |edition=
| |
| |year=2001
| |
| |publisher=Springer
| |
| |location=
| |
| |isbn=3-540-41492-4
| |
| }}
| |
| | |
| ==External links==
| |
| * [http://www.cs.uwyo.edu/~jhitchco/bib/rbm.shtml Resource-Bounded Measure Bibliography]
| |
| | |
| {{DEFAULTSORT:Resource Bounded Measure}}
| |
| [[Category:Structural complexity theory]]
| |
| [[Category:Measures (measure theory)]]
| |
The author is known as Irwin Wunder but it's not the most masucline title out there. To do aerobics is a thing that I'm completely addicted to. Bookkeeping is my profession. Puerto Rico is where he's always been residing but she requirements to transfer simply because of her family.
Also visit my web blog - home std test