stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf ·...
TRANSCRIPT
![Page 1: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/1.jpg)
Stopping time complexity andmonotone-conditional complexity
[email protected], www.lirmm.fr/~ashen
LIRMM CNRS & University of Montpellier
Dagstuhl, February 2017
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 2: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/2.jpg)
Vovk & Pavlovich idea
How to tell which exit on a long road one should take?
“Nth exit”: logN bits of information
“First exit after the bridge”: O(1) bits of information
you get a sequence of bits (one at a time) and decide when tostop
TM: input one-directional read-only tape
stopping time complexity of x = the minimal complexity of aTM that stops after reading input x without trying to readthe next bit
= the minimal complexity of an algorithm that enumerates aprefix-free set of strings containing x
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 3: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/3.jpg)
Vovk & Pavlovich idea
How to tell which exit on a long road one should take?
“Nth exit”: logN bits of information
“First exit after the bridge”: O(1) bits of information
you get a sequence of bits (one at a time) and decide when tostop
TM: input one-directional read-only tape
stopping time complexity of x = the minimal complexity of aTM that stops after reading input x without trying to readthe next bit
= the minimal complexity of an algorithm that enumerates aprefix-free set of strings containing x
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 4: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/4.jpg)
Vovk & Pavlovich idea
How to tell which exit on a long road one should take?
“Nth exit”: logN bits of information
“First exit after the bridge”: O(1) bits of information
you get a sequence of bits (one at a time) and decide when tostop
TM: input one-directional read-only tape
stopping time complexity of x = the minimal complexity of aTM that stops after reading input x without trying to readthe next bit
= the minimal complexity of an algorithm that enumerates aprefix-free set of strings containing x
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 5: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/5.jpg)
Vovk & Pavlovich idea
How to tell which exit on a long road one should take?
“Nth exit”: logN bits of information
“First exit after the bridge”: O(1) bits of information
you get a sequence of bits (one at a time) and decide when tostop
TM: input one-directional read-only tape
stopping time complexity of x = the minimal complexity of aTM that stops after reading input x without trying to readthe next bit
= the minimal complexity of an algorithm that enumerates aprefix-free set of strings containing x
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 6: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/6.jpg)
Vovk & Pavlovich idea
How to tell which exit on a long road one should take?
“Nth exit”: logN bits of information
“First exit after the bridge”: O(1) bits of information
you get a sequence of bits (one at a time) and decide when tostop
TM: input one-directional read-only tape
stopping time complexity of x = the minimal complexity of aTM that stops after reading input x without trying to readthe next bit
= the minimal complexity of an algorithm that enumerates aprefix-free set of strings containing x
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 7: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/7.jpg)
Vovk & Pavlovich idea
How to tell which exit on a long road one should take?
“Nth exit”: logN bits of information
“First exit after the bridge”: O(1) bits of information
you get a sequence of bits (one at a time) and decide when tostop
TM: input one-directional read-only tape
stopping time complexity of x = the minimal complexity of aTM that stops after reading input x without trying to readthe next bit
= the minimal complexity of an algorithm that enumerates aprefix-free set of strings containing x
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 8: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/8.jpg)
Vovk & Pavlovich idea
How to tell which exit on a long road one should take?
“Nth exit”: logN bits of information
“First exit after the bridge”: O(1) bits of information
you get a sequence of bits (one at a time) and decide when tostop
TM: input one-directional read-only tape
stopping time complexity of x = the minimal complexity of aTM that stops after reading input x without trying to readthe next bit
= the minimal complexity of an algorithm that enumerates aprefix-free set of strings containing x
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 9: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/9.jpg)
Vovk & Pavlovich idea
How to tell which exit on a long road one should take?
“Nth exit”: logN bits of information
“First exit after the bridge”: O(1) bits of information
you get a sequence of bits (one at a time) and decide when tostop
TM: input one-directional read-only tape
stopping time complexity of x = the minimal complexity of aTM that stops after reading input x without trying to readthe next bit
= the minimal complexity of an algorithm that enumerates aprefix-free set of strings containing x
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 10: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/10.jpg)
The classification of complexities
decompressor: descriptions → objects
different “topologies” on descriptions and objects
isolated descriptions descriptions as prefixes
isolated objects plain complexity prefix complexity
objects as prefixes decision complexity monotone complexity
decompressor: descriptions × conditions → objects
8 versions of conditional complexitiesstopping time complexity of x = C (x |x∗)
objects: isolated;descriptions: isolated;
conditions: prefixes
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 11: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/11.jpg)
The classification of complexities
decompressor: descriptions → objects
different “topologies” on descriptions and objects
isolated descriptions descriptions as prefixes
isolated objects plain complexity prefix complexity
objects as prefixes decision complexity monotone complexity
decompressor: descriptions × conditions → objects
8 versions of conditional complexitiesstopping time complexity of x = C (x |x∗)
objects: isolated;descriptions: isolated;
conditions: prefixes
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 12: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/12.jpg)
The classification of complexities
decompressor: descriptions → objects
different “topologies” on descriptions and objects
isolated descriptions descriptions as prefixes
isolated objects plain complexity prefix complexity
objects as prefixes decision complexity monotone complexity
decompressor: descriptions × conditions → objects
8 versions of conditional complexitiesstopping time complexity of x = C (x |x∗)
objects: isolated;descriptions: isolated;
conditions: prefixes
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 13: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/13.jpg)
The classification of complexities
decompressor: descriptions → objects
different “topologies” on descriptions and objects
isolated descriptions descriptions as prefixes
isolated objects plain complexity prefix complexity
objects as prefixes decision complexity monotone complexity
decompressor: descriptions × conditions → objects
8 versions of conditional complexities
stopping time complexity of x = C (x |x∗)objects: isolated;
descriptions: isolated;conditions: prefixes
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 14: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/14.jpg)
The classification of complexities
decompressor: descriptions → objects
different “topologies” on descriptions and objects
isolated descriptions descriptions as prefixes
isolated objects plain complexity prefix complexity
objects as prefixes decision complexity monotone complexity
decompressor: descriptions × conditions → objects
8 versions of conditional complexitiesstopping time complexity of x = C (x |x∗)
objects: isolated;descriptions: isolated;
conditions: prefixes
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 15: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/15.jpg)
The classification of complexities
decompressor: descriptions → objects
different “topologies” on descriptions and objects
isolated descriptions descriptions as prefixes
isolated objects plain complexity prefix complexity
objects as prefixes decision complexity monotone complexity
decompressor: descriptions × conditions → objects
8 versions of conditional complexitiesstopping time complexity of x = C (x |x∗)
objects: isolated;descriptions: isolated;
conditions: prefixes
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 16: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/16.jpg)
The “monotone-conditional” complexity C (y |x∗)
D(p, x): partial computable function (conditionaldecompressor)
CD(y |x∗) = min{|p| : D(p, x) = y} (x is a condition)
but D is required to be monotone (‘prefix-stable’) withrespect to condition:
if D(p, x) = y , then D(p, x ′) = y for every extension x ′ of x
C (y |x∗) = the minimal plain complexity of a prefix-stableprogram that maps x to y
C (x |x∗) is not O(1) anymore
an equivalent definition of (plain) stopping time complexity
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 17: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/17.jpg)
The “monotone-conditional” complexity C (y |x∗)
D(p, x): partial computable function (conditionaldecompressor)
CD(y |x∗) = min{|p| : D(p, x) = y} (x is a condition)
but D is required to be monotone (‘prefix-stable’) withrespect to condition:
if D(p, x) = y , then D(p, x ′) = y for every extension x ′ of x
C (y |x∗) = the minimal plain complexity of a prefix-stableprogram that maps x to y
C (x |x∗) is not O(1) anymore
an equivalent definition of (plain) stopping time complexity
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 18: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/18.jpg)
The “monotone-conditional” complexity C (y |x∗)
D(p, x): partial computable function (conditionaldecompressor)
CD(y |x∗) = min{|p| : D(p, x) = y} (x is a condition)
but D is required to be monotone (‘prefix-stable’) withrespect to condition:
if D(p, x) = y , then D(p, x ′) = y for every extension x ′ of x
C (y |x∗) = the minimal plain complexity of a prefix-stableprogram that maps x to y
C (x |x∗) is not O(1) anymore
an equivalent definition of (plain) stopping time complexity
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 19: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/19.jpg)
The “monotone-conditional” complexity C (y |x∗)
D(p, x): partial computable function (conditionaldecompressor)
CD(y |x∗) = min{|p| : D(p, x) = y} (x is a condition)
but D is required to be monotone (‘prefix-stable’) withrespect to condition:
if D(p, x) = y , then D(p, x ′) = y for every extension x ′ of x
C (y |x∗) = the minimal plain complexity of a prefix-stableprogram that maps x to y
C (x |x∗) is not O(1) anymore
an equivalent definition of (plain) stopping time complexity
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 20: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/20.jpg)
The “monotone-conditional” complexity C (y |x∗)
D(p, x): partial computable function (conditionaldecompressor)
CD(y |x∗) = min{|p| : D(p, x) = y} (x is a condition)
but D is required to be monotone (‘prefix-stable’) withrespect to condition:
if D(p, x) = y , then D(p, x ′) = y for every extension x ′ of x
C (y |x∗) = the minimal plain complexity of a prefix-stableprogram that maps x to y
C (x |x∗) is not O(1) anymore
an equivalent definition of (plain) stopping time complexity
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 21: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/21.jpg)
The “monotone-conditional” complexity C (y |x∗)
D(p, x): partial computable function (conditionaldecompressor)
CD(y |x∗) = min{|p| : D(p, x) = y} (x is a condition)
but D is required to be monotone (‘prefix-stable’) withrespect to condition:
if D(p, x) = y , then D(p, x ′) = y for every extension x ′ of x
C (y |x∗) = the minimal plain complexity of a prefix-stableprogram that maps x to y
C (x |x∗) is not O(1) anymore
an equivalent definition of (plain) stopping time complexity
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 22: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/22.jpg)
The “monotone-conditional” complexity C (y |x∗)
D(p, x): partial computable function (conditionaldecompressor)
CD(y |x∗) = min{|p| : D(p, x) = y} (x is a condition)
but D is required to be monotone (‘prefix-stable’) withrespect to condition:
if D(p, x) = y , then D(p, x ′) = y for every extension x ′ of x
C (y |x∗) = the minimal plain complexity of a prefix-stableprogram that maps x to y
C (x |x∗) is not O(1) anymore
an equivalent definition of (plain) stopping time complexity
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 23: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/23.jpg)
The “monotone-conditional” complexity C (y |x∗)
D(p, x): partial computable function (conditionaldecompressor)
CD(y |x∗) = min{|p| : D(p, x) = y} (x is a condition)
but D is required to be monotone (‘prefix-stable’) withrespect to condition:
if D(p, x) = y , then D(p, x ′) = y for every extension x ′ of x
C (y |x∗) = the minimal plain complexity of a prefix-stableprogram that maps x to y
C (x |x∗) is not O(1) anymore
an equivalent definition of (plain) stopping time complexity
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 24: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/24.jpg)
A quantitative characterization
How to define C (x) not mentioning descriptions/programs?
C (x) is upper semicomputable;
#{x : C (x) < n} < 2n for all n;
C (·) is the minimal function with these properties
Stopping time complexity: also upper semicomputable
for every path α in the binary tree and for every n there areless than 2n strings on this path with C (x |x∗) < n.
Stopping time complexity is the minimal function in this class.
less obvious (Gleb Posobin)
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 25: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/25.jpg)
A quantitative characterization
How to define C (x) not mentioning descriptions/programs?
C (x) is upper semicomputable;
#{x : C (x) < n} < 2n for all n;
C (·) is the minimal function with these properties
Stopping time complexity: also upper semicomputable
for every path α in the binary tree and for every n there areless than 2n strings on this path with C (x |x∗) < n.
Stopping time complexity is the minimal function in this class.
less obvious (Gleb Posobin)
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 26: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/26.jpg)
A quantitative characterization
How to define C (x) not mentioning descriptions/programs?
C (x) is upper semicomputable;
#{x : C (x) < n} < 2n for all n;
C (·) is the minimal function with these properties
Stopping time complexity: also upper semicomputable
for every path α in the binary tree and for every n there areless than 2n strings on this path with C (x |x∗) < n.
Stopping time complexity is the minimal function in this class.
less obvious (Gleb Posobin)
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 27: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/27.jpg)
A quantitative characterization
How to define C (x) not mentioning descriptions/programs?
C (x) is upper semicomputable;
#{x : C (x) < n} < 2n for all n;
C (·) is the minimal function with these properties
Stopping time complexity: also upper semicomputable
for every path α in the binary tree and for every n there areless than 2n strings on this path with C (x |x∗) < n.
Stopping time complexity is the minimal function in this class.
less obvious (Gleb Posobin)
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 28: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/28.jpg)
A quantitative characterization
How to define C (x) not mentioning descriptions/programs?
C (x) is upper semicomputable;
#{x : C (x) < n} < 2n for all n;
C (·) is the minimal function with these properties
Stopping time complexity: also upper semicomputable
for every path α in the binary tree and for every n there areless than 2n strings on this path with C (x |x∗) < n.
Stopping time complexity is the minimal function in this class.
less obvious (Gleb Posobin)
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 29: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/29.jpg)
A quantitative characterization
How to define C (x) not mentioning descriptions/programs?
C (x) is upper semicomputable;
#{x : C (x) < n} < 2n for all n;
C (·) is the minimal function with these properties
Stopping time complexity: also upper semicomputable
for every path α in the binary tree and for every n there areless than 2n strings on this path with C (x |x∗) < n.
Stopping time complexity is the minimal function in this class.
less obvious (Gleb Posobin)
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 30: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/30.jpg)
A quantitative characterization
How to define C (x) not mentioning descriptions/programs?
C (x) is upper semicomputable;
#{x : C (x) < n} < 2n for all n;
C (·) is the minimal function with these properties
Stopping time complexity: also upper semicomputable
for every path α in the binary tree and for every n there areless than 2n strings on this path with C (x |x∗) < n.
Stopping time complexity is the minimal function in this class.
less obvious (Gleb Posobin)
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 31: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/31.jpg)
A quantitative characterization
How to define C (x) not mentioning descriptions/programs?
C (x) is upper semicomputable;
#{x : C (x) < n} < 2n for all n;
C (·) is the minimal function with these properties
Stopping time complexity: also upper semicomputable
for every path α in the binary tree and for every n there areless than 2n strings on this path with C (x |x∗) < n.
Stopping time complexity is the minimal function in this class.
less obvious (Gleb Posobin)
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 32: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/32.jpg)
A quantitative characterization
How to define C (x) not mentioning descriptions/programs?
C (x) is upper semicomputable;
#{x : C (x) < n} < 2n for all n;
C (·) is the minimal function with these properties
Stopping time complexity: also upper semicomputable
for every path α in the binary tree and for every n there areless than 2n strings on this path with C (x |x∗) < n.
Stopping time complexity is the minimal function in this class.
less obvious (Gleb Posobin)
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 33: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/33.jpg)
What is not true
C (x |y∗) is not the minimal complexity of a prefix-freefunction that maps some prefix of y to x ;
C (x |y∗) does not have the natural quantitativecharacterization as a monotone over y function[C (x |y0∗) ≤ C (x |y∗), C (x |y1∗) ≤ C (x |y∗)] such that forevery y and n there are at most 2n objects x such thatC (x |y∗) < n. (Mikhail Andreev)
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 34: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/34.jpg)
What is not true
C (x |y∗) is not the minimal complexity of a prefix-freefunction that maps some prefix of y to x ;
C (x |y∗) does not have the natural quantitativecharacterization as a monotone over y function[C (x |y0∗) ≤ C (x |y∗), C (x |y1∗) ≤ C (x |y∗)] such that forevery y and n there are at most 2n objects x such thatC (x |y∗) < n. (Mikhail Andreev)
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 35: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/35.jpg)
What is not true
C (x |y∗) is not the minimal complexity of a prefix-freefunction that maps some prefix of y to x ;
C (x |y∗) does not have the natural quantitativecharacterization as a monotone over y function[C (x |y0∗) ≤ C (x |y∗), C (x |y1∗) ≤ C (x |y∗)] such that forevery y and n there are at most 2n objects x such thatC (x |y∗) < n. (Mikhail Andreev)
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 36: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/36.jpg)
Prefix stopping time complexity
K (x |y∗): the decompressor is monotone (prefix-stable) w.r.t.both arguments.
conditions and programs are prefixes, objects are isolated
Why should we bother?
Vovk and Pavlovich tried to define this version
separates many things that coincide for prefix complexity
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 37: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/37.jpg)
Prefix stopping time complexity
K (x |y∗): the decompressor is monotone (prefix-stable) w.r.t.both arguments.
conditions and programs are prefixes, objects are isolated
Why should we bother?
Vovk and Pavlovich tried to define this version
separates many things that coincide for prefix complexity
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 38: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/38.jpg)
Prefix stopping time complexity
K (x |y∗): the decompressor is monotone (prefix-stable) w.r.t.both arguments.
conditions and programs are prefixes, objects are isolated
Why should we bother?
Vovk and Pavlovich tried to define this version
separates many things that coincide for prefix complexity
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 39: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/39.jpg)
Prefix stopping time complexity
K (x |y∗): the decompressor is monotone (prefix-stable) w.r.t.both arguments.
conditions and programs are prefixes, objects are isolated
Why should we bother?
Vovk and Pavlovich tried to define this version
separates many things that coincide for prefix complexity
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 40: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/40.jpg)
Prefix stopping time complexity
K (x |y∗): the decompressor is monotone (prefix-stable) w.r.t.both arguments.
conditions and programs are prefixes, objects are isolated
Why should we bother?
Vovk and Pavlovich tried to define this version
separates many things that coincide for prefix complexity
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 41: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/41.jpg)
Prefix stopping time complexity
K (x |y∗): the decompressor is monotone (prefix-stable) w.r.t.both arguments.
conditions and programs are prefixes, objects are isolated
Why should we bother?
Vovk and Pavlovich tried to define this version
separates many things that coincide for prefix complexity
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 42: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/42.jpg)
Prefix (stopping time) complexity: different definitions
the length of the shortest prefix-stable program
minus logarithm of the a priori probability
minus logarithm of the maximal lower semicomputablesemimeasure
Now:
minimal prefix complexity of a prefix-free set containing x[Vovk-Pavlovic]
> K (x |x∗)> minus logarithm of the a priori probability (probability forthe universal probabilistic machine to stop at x) [Andreev]
= minus logarithm of the maximal lower semicomputablefunction m(x) whose sum along every path does not exceed 1[Andreev]
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 43: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/43.jpg)
Prefix (stopping time) complexity: different definitions
the length of the shortest prefix-stable program
minus logarithm of the a priori probability
minus logarithm of the maximal lower semicomputablesemimeasure
Now:
minimal prefix complexity of a prefix-free set containing x[Vovk-Pavlovic]
> K (x |x∗)> minus logarithm of the a priori probability (probability forthe universal probabilistic machine to stop at x) [Andreev]
= minus logarithm of the maximal lower semicomputablefunction m(x) whose sum along every path does not exceed 1[Andreev]
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 44: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/44.jpg)
Prefix (stopping time) complexity: different definitions
the length of the shortest prefix-stable program
minus logarithm of the a priori probability
minus logarithm of the maximal lower semicomputablesemimeasure
Now:
minimal prefix complexity of a prefix-free set containing x[Vovk-Pavlovic]
> K (x |x∗)> minus logarithm of the a priori probability (probability forthe universal probabilistic machine to stop at x) [Andreev]
= minus logarithm of the maximal lower semicomputablefunction m(x) whose sum along every path does not exceed 1[Andreev]
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 45: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/45.jpg)
Prefix (stopping time) complexity: different definitions
the length of the shortest prefix-stable program
minus logarithm of the a priori probability
minus logarithm of the maximal lower semicomputablesemimeasure
Now:
minimal prefix complexity of a prefix-free set containing x[Vovk-Pavlovic]
> K (x |x∗)> minus logarithm of the a priori probability (probability forthe universal probabilistic machine to stop at x) [Andreev]
= minus logarithm of the maximal lower semicomputablefunction m(x) whose sum along every path does not exceed 1[Andreev]
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 46: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/46.jpg)
Prefix (stopping time) complexity: different definitions
the length of the shortest prefix-stable program
minus logarithm of the a priori probability
minus logarithm of the maximal lower semicomputablesemimeasure
Now:
minimal prefix complexity of a prefix-free set containing x[Vovk-Pavlovic]
> K (x |x∗)> minus logarithm of the a priori probability (probability forthe universal probabilistic machine to stop at x) [Andreev]
= minus logarithm of the maximal lower semicomputablefunction m(x) whose sum along every path does not exceed 1[Andreev]
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 47: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/47.jpg)
Prefix (stopping time) complexity: different definitions
the length of the shortest prefix-stable program
minus logarithm of the a priori probability
minus logarithm of the maximal lower semicomputablesemimeasure
Now:
minimal prefix complexity of a prefix-free set containing x[Vovk-Pavlovic]
> K (x |x∗)> minus logarithm of the a priori probability (probability forthe universal probabilistic machine to stop at x) [Andreev]
= minus logarithm of the maximal lower semicomputablefunction m(x) whose sum along every path does not exceed 1[Andreev]
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 48: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/48.jpg)
Prefix (stopping time) complexity: different definitions
the length of the shortest prefix-stable program
minus logarithm of the a priori probability
minus logarithm of the maximal lower semicomputablesemimeasure
Now:
minimal prefix complexity of a prefix-free set containing x[Vovk-Pavlovic]
> K (x |x∗)
> minus logarithm of the a priori probability (probability forthe universal probabilistic machine to stop at x) [Andreev]
= minus logarithm of the maximal lower semicomputablefunction m(x) whose sum along every path does not exceed 1[Andreev]
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 49: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/49.jpg)
Prefix (stopping time) complexity: different definitions
the length of the shortest prefix-stable program
minus logarithm of the a priori probability
minus logarithm of the maximal lower semicomputablesemimeasure
Now:
minimal prefix complexity of a prefix-free set containing x[Vovk-Pavlovic]
> K (x |x∗)> minus logarithm of the a priori probability (probability forthe universal probabilistic machine to stop at x) [Andreev]
= minus logarithm of the maximal lower semicomputablefunction m(x) whose sum along every path does not exceed 1[Andreev]
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 50: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/50.jpg)
Prefix (stopping time) complexity: different definitions
the length of the shortest prefix-stable program
minus logarithm of the a priori probability
minus logarithm of the maximal lower semicomputablesemimeasure
Now:
minimal prefix complexity of a prefix-free set containing x[Vovk-Pavlovic]
> K (x |x∗)> minus logarithm of the a priori probability (probability forthe universal probabilistic machine to stop at x) [Andreev]
= minus logarithm of the maximal lower semicomputablefunction m(x) whose sum along every path does not exceed 1[Andreev]
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 51: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/51.jpg)
Monotone-conditional prefix complexity
Even more splitting. . .
A priori probability: random program (for the universaldecompressor) maps y to x
maximal lower semicomputable function m(x |y∗) that ismonotone w.r.t. y and
∑x m(x |y∗) ≤ 1 for every y
Now they differ [Andreev]
Open question: can one prove the equivalence of prefix complexitydefinitions using prefix-free and prefix-stable decompressors, notusing a priori probability as an intermediate step?Formal version: are the monotone-conditional complexitiesobtained using prefix-free and prefix-stable (w.r.t. first argument)decompressors the same or not?
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 52: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/52.jpg)
Monotone-conditional prefix complexity
Even more splitting. . .
A priori probability: random program (for the universaldecompressor) maps y to x
maximal lower semicomputable function m(x |y∗) that ismonotone w.r.t. y and
∑x m(x |y∗) ≤ 1 for every y
Now they differ [Andreev]
Open question: can one prove the equivalence of prefix complexitydefinitions using prefix-free and prefix-stable decompressors, notusing a priori probability as an intermediate step?Formal version: are the monotone-conditional complexitiesobtained using prefix-free and prefix-stable (w.r.t. first argument)decompressors the same or not?
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 53: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/53.jpg)
Monotone-conditional prefix complexity
Even more splitting. . .
A priori probability: random program (for the universaldecompressor) maps y to x
maximal lower semicomputable function m(x |y∗) that ismonotone w.r.t. y and
∑x m(x |y∗) ≤ 1 for every y
Now they differ [Andreev]
Open question: can one prove the equivalence of prefix complexitydefinitions using prefix-free and prefix-stable decompressors, notusing a priori probability as an intermediate step?Formal version: are the monotone-conditional complexitiesobtained using prefix-free and prefix-stable (w.r.t. first argument)decompressors the same or not?
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 54: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/54.jpg)
Monotone-conditional prefix complexity
Even more splitting. . .
A priori probability: random program (for the universaldecompressor) maps y to x
maximal lower semicomputable function m(x |y∗) that ismonotone w.r.t. y and
∑x m(x |y∗) ≤ 1 for every y
Now they differ [Andreev]
Open question: can one prove the equivalence of prefix complexitydefinitions using prefix-free and prefix-stable decompressors, notusing a priori probability as an intermediate step?Formal version: are the monotone-conditional complexitiesobtained using prefix-free and prefix-stable (w.r.t. first argument)decompressors the same or not?
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 55: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/55.jpg)
Monotone-conditional prefix complexity
Even more splitting. . .
A priori probability: random program (for the universaldecompressor) maps y to x
maximal lower semicomputable function m(x |y∗) that ismonotone w.r.t. y and
∑x m(x |y∗) ≤ 1 for every y
Now they differ [Andreev]
Open question: can one prove the equivalence of prefix complexitydefinitions using prefix-free and prefix-stable decompressors, notusing a priori probability as an intermediate step?
Formal version: are the monotone-conditional complexitiesobtained using prefix-free and prefix-stable (w.r.t. first argument)decompressors the same or not?
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity
![Page 56: Stopping time complexity and monotone-conditional complexityashen/racaf/2017-dagstuhl-slides.pdf · Stopping time complexity and monotone-conditional complexity alexander.shen@lirmm.fr,](https://reader033.vdocuments.site/reader033/viewer/2022051918/600af37ebc41051ae15dc14f/html5/thumbnails/56.jpg)
Monotone-conditional prefix complexity
Even more splitting. . .
A priori probability: random program (for the universaldecompressor) maps y to x
maximal lower semicomputable function m(x |y∗) that ismonotone w.r.t. y and
∑x m(x |y∗) ≤ 1 for every y
Now they differ [Andreev]
Open question: can one prove the equivalence of prefix complexitydefinitions using prefix-free and prefix-stable decompressors, notusing a priori probability as an intermediate step?Formal version: are the monotone-conditional complexitiesobtained using prefix-free and prefix-stable (w.r.t. first argument)decompressors the same or not?
[email protected], www.lirmm.fr/~ashen Stopping time complexity and monotone-conditional complexity