[EN] We introduce and study a probabilistic quasi-metric on the set of complexity functions, which provides an efficient framework to measure the distance from a complexity function f to another one g in the case that f is asymptotically more efficient than g. In this context we also obtain a version of the Banach fixed point theorem which allows us to show that the functionals associated both to Divide and Conquer algorithms and Quicksort algorithms have a unique fixed point. © 2010 Elsevier Inc.The authors acknowledge the support of the Spanish Ministry of Science and Innovation under grant MTM2009-12872-C02-01.Romaguera Bonilla, S.; Tirado Peláez, P. (2011). The complexity probabilistic quasi-metric space. Journal of Mathematical Analysi...
The study of the dual complexity space, introduced by S. Romaguera and M. P. Schellekens [Quasi-metr...
Click on the link to view the abstract.Quaestiones Mathematicae 23(2000), 359–37
In this paper, we consider the behavioral pseudometrics for probabilistic systems, which are a quant...
[EN] We introduce and study a probabilistic quasi-metric on the set of complexity functions, which p...
[EN] We introduce and study a probabilistic quasi-metric on the set of complexity functions, which p...
AbstractWe introduce and study a probabilistic quasi-metric on the set of complexity functions, whic...
We introduce and study a probabilistic quasi-metric on the set of complexity functions, which provid...
We introduce and study a probabilistic quasi-metric on the set of complexity functions, which provid...
AbstractWe introduce and study a probabilistic quasi-metric on the set of complexity functions, whic...
summary:We introduce a new (extended) quasi-metric on the so-called dual p-complexity space, which i...
AbstractThe complexity (quasi-metric) space has been introduced as a part of the development of a to...
Schellekens [The Smyth completion: A common foundation for denotational semantics and complexity ana...
summary:We introduce a new (extended) quasi-metric on the so-called dual p-complexity space, which i...
summary:We introduce a new (extended) quasi-metric on the so-called dual p-complexity space, which i...
AbstractSchellekens [M. Schellekens, The Smyth completion: A common foundation for denotational sema...
The study of the dual complexity space, introduced by S. Romaguera and M. P. Schellekens [Quasi-metr...
Click on the link to view the abstract.Quaestiones Mathematicae 23(2000), 359–37
In this paper, we consider the behavioral pseudometrics for probabilistic systems, which are a quant...
[EN] We introduce and study a probabilistic quasi-metric on the set of complexity functions, which p...
[EN] We introduce and study a probabilistic quasi-metric on the set of complexity functions, which p...
AbstractWe introduce and study a probabilistic quasi-metric on the set of complexity functions, whic...
We introduce and study a probabilistic quasi-metric on the set of complexity functions, which provid...
We introduce and study a probabilistic quasi-metric on the set of complexity functions, which provid...
AbstractWe introduce and study a probabilistic quasi-metric on the set of complexity functions, whic...
summary:We introduce a new (extended) quasi-metric on the so-called dual p-complexity space, which i...
AbstractThe complexity (quasi-metric) space has been introduced as a part of the development of a to...
Schellekens [The Smyth completion: A common foundation for denotational semantics and complexity ana...
summary:We introduce a new (extended) quasi-metric on the so-called dual p-complexity space, which i...
summary:We introduce a new (extended) quasi-metric on the so-called dual p-complexity space, which i...
AbstractSchellekens [M. Schellekens, The Smyth completion: A common foundation for denotational sema...
The study of the dual complexity space, introduced by S. Romaguera and M. P. Schellekens [Quasi-metr...
Click on the link to view the abstract.Quaestiones Mathematicae 23(2000), 359–37
In this paper, we consider the behavioral pseudometrics for probabilistic systems, which are a quant...