Displaying similar documents to “Families of quasi-pseudo-metrics generated by probabilistic quasi-pseudo-metric spaces.”

Computing complexity distances between algorithms

Salvador Romaguera, Enrique A. Sánchez-Pérez, Oscar Valero (2003)

Kybernetika

Similarity:

We introduce a new (extended) quasi-metric on the so-called dual p-complexity space, which is suitable to give a quantitative measure of the improvement in complexity obtained when a complexity function is replaced by a more efficient complexity function on all inputs, and show that this distance function has the advantage of possessing rich topological and quasi-metric properties. In particular, its induced topology is Hausdorff and completely regular. Our approach is applied to the...

Cartesian closed hull for (quasi-)metric spaces (revisited)

Mark Nauwelaerts (2000)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

An existing description of the cartesian closed topological hull of p MET ∞ , the category of extended pseudo-metric spaces and nonexpansive maps, is simplified, and as a result, this hull is shown to be a special instance of a “family” of cartesian closed topological subconstructs of p q s MET ∞ , the category of extended pseudo-quasi-semi-metric spaces (also known as quasi-distance spaces) and nonexpansive maps. Furthermore, another special instance of this family yields the cartesian closed topological...