๐ฎ
๐ฎ
The Ethereal
Normalized Information Distance and the Oscillation Hierarchy
August 11, 2017 ยท The Ethereal ยท ๐ Journal of computer and system sciences (Print)
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Klaus Ambos-Spies, Wolfgang Merkle, Sebastiaan A. Terwijn
arXiv ID
1708.03583
Category
math.LO: Logic
Cross-listed
cs.CC,
cs.IT
Citations
1
Venue
Journal of computer and system sciences (Print)
Last Checked
1 month ago
Abstract
We study the complexity of approximations to the normalized information distance. We introduce a hierarchy of computable approximations by considering the number of oscillations. This is a function version of the difference hierarchy for sets. We show that the normalized information distance is not in any level of this hierarchy, strengthening previous nonapproximability results. As an ingredient to the proof, we also prove a conditional undecidability result about independence.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Logic
๐ฎ
๐ฎ
The Ethereal
Dialectical Rough Sets, Parthood and Figures of Opposition-1
๐ฎ
๐ฎ
The Ethereal
Approximations from Anywhere and General Rough Sets
๐ฎ
๐ฎ
The Ethereal
Undecidability of the Lambek calculus with subexponential and bracket modalities
๐ฎ
๐ฎ
The Ethereal
A family of neighborhood contingency logics
๐ฎ
๐ฎ
The Ethereal