A new model based on a fuzzy quasi-metric type Baire applied to analysis of complexity

Article type: Research Article

Authors: Tirado, Pedro

Affiliations: Instituto Universitario de Matemática Pura y Aplicada, Universitat Politècnica de València, Spain

Note: [] Corresponding author. Pedro Tirado, Instituto Universitario de Matemática Pura y Aplicada, Universitat Politècnica de València, 46022 Valencia, Spain. Tel.: +34 963877660; Fax: +34 963877669; E-mail: [email protected]

Abstract: We analyze the complexity of an expoDC algorithm by deducing the existence of solution for the recurrence inequation associated to this algorithm by means of techniques of Denotational Semantics in the context of fuzzy quasi-metric spaces. The fuzzy quasi-metrics provide an additional parameter “t” such that a suitable use of this ingredient gives rise to extra information on the involved computational process. This analysis is done by means of a fuzzy quasi-metric version of the Banach contraction principle on a space of partial functions endowed by a suitable adaptation of the Baire quasi-metric.

Keywords: ExpoDC algorithms, complexity, recurrence inequation, fuzzy quasi-metric, fixed point

DOI: 10.3233/IFS-141228

Journal: Journal of Intelligent & Fuzzy Systems, vol. 27, no. 5, pp. 2545-2550, 2014