Complexity theory of (functions on) compact metric spaces

DOI10.1145/2933575.2935311MaRDI QIDQ4635948zbMATH OpenOpenAlexFDO

Authors Akitoshi Kawamura, Florian Steinberg, Martin Ziegler

Publication date 23 April 2018

Published in Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2933575.2935311

zbMATH Keywords

bit complexitymetric entropyrecursive analysis

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Analysis of algorithms and problem complexity (68Q25)

Recommendations

• Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval
• Bounded time computation on metric spaces and Banach spaces
• Computational complexity on computable metric spaces
• Towards Computational Complexity Theory on Advanced Function Spaces in Analysis
• Type 2 computational complexity of functions on Cantor's space

Cited in

(20)

• Rational presented metric spaces and complexity, the case of the space of real functions uniformly continuous on a compact interval
• Quantitative coding and complexity theory of compact metric spaces
• Bit-complexity of solving systems of linear evolutionary partial differential equations
• Type 2 computational complexity of functions on Cantor's space
• Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations
• THE A-COMPLEXITY OF A SPACE
• Towards Computational Complexity Theory on Advanced Function Spaces in Analysis
• Computational complexity on computable metric spaces
• scientific article; zbMATH DE number 769607 (Why is no real title available?)
• Amorphic complexity can take any nonnegative value in general metric spaces
• Polynomial Running Times for Polynomial-Time Oracle Machines
• Bounded time computation on metric spaces and Banach spaces
• Borel Complexity of Topological Operations on Computable Metric Spaces
• On the complexity of the theory of a computably presented metric structure
• Encoding of data sets and algorithms
• Semantics, specification logic, and Hoare logic of exact real computation
• Second-order parameterizations for the complexity theory of integrable functions
• Quantitative coding and complexity theory of \textit{continuous} data. I: Motivation, definition, consequences
• Exact real computation of solution operators for linear analytic systems of partial differential equations
• Complexity of finite sequences of zeros and ones and geometry of finite spaces of functions

This page was built for publication: Complexity theory of (functions on) compact metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4635948)