Computer Science > Computational Complexity
[Submitted on 28 Jan 2011 (v1), last revised 31 Jan 2012 (this version, v4)]
Title:Resource Bounded Measure
View PDFAbstract:A general theory of resource-bounded measurability and measure is developed. Starting from any feasible probability measure $\nu$ on the Cantor space $\C$ and any suitable complexity class $C \subseteq \C$, the theory identifies the subsets of $\C$ that are $\nu$-measurable in $C$ and assigns measures to these sets, thereby endowing $C$ with internal measure-theoretic structure. Classes to which the theory applies include various exponential time and space complexity classes, the class of all decidable languages, and the Cantor space itself, on which the resource-bounded theory is shown to agree with the classical theory.
The sets that are $\nu$-measurable in $C$ are shown to form an algebra relative to which $\nu$-measure is well-behaved. This algebra is also shown to be complete and closed under sufficiently uniform infinitary unions and intersections, and $\nu$-measure in $C$ is shown to have the appropriate additivity and monotone convergence properties with respect to such infinitary operations.
A generalization of the classical Kolmogorov zero-one law is proven, showing that when $\nu$ is any feasible coin-toss probability measure on $\C$, every set that is $\nu$-measurable in $C$ and (like most complexity classes) invariant under finite alterations must have $\nu$-measure 0 or $\nu$-measure 1 in $C$.
The theory is presented here is based on resource-bounded martingale splitting operators, which are type-2 functionals, each of which maps $\N \times {\cal D}_\nu$ into ${\cal D}_\nu \times {\cal D}_\nu$, where ${\cal D}_\nu$ is the set of all $\nu$-martingales. This type-2 aspect of the theory appears to be essential for general $\nu$-measure in complexity classes $C$, but the sets of $\nu$-measure 0 or 1 in C are shown to be characterized by the success conditions for martingales (type-1 functions) that have been used in resource-bounded measure to date.
Submission history
From: Satyadev Nandakumar [view email][v1] Fri, 28 Jan 2011 05:28:57 UTC (30 KB)
[v2] Sun, 6 Feb 2011 04:02:19 UTC (31 KB)
[v3] Mon, 7 Mar 2011 09:30:00 UTC (38 KB)
[v4] Tue, 31 Jan 2012 13:17:24 UTC (30 KB)
References & Citations
Bibliographic and Citation Tools
Bibliographic Explorer (What is the Explorer?)
Litmaps (What is Litmaps?)
scite Smart Citations (What are Smart Citations?)
Code, Data and Media Associated with this Article
CatalyzeX Code Finder for Papers (What is CatalyzeX?)
DagsHub (What is DagsHub?)
Gotit.pub (What is GotitPub?)
Papers with Code (What is Papers with Code?)
ScienceCast (What is ScienceCast?)
Demos
Recommenders and Search Tools
Influence Flower (What are Influence Flowers?)
Connected Papers (What is Connected Papers?)
CORE Recommender (What is CORE?)
arXivLabs: experimental projects with community collaborators
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.