科研之友
微信
新浪微博
Facebook
分享链接
摘要
A generalized solution operator is a mapping abstractly describing a computational problem and its approximate solutions. It assigns a set of -approximations of a solution to the problem instance f and accuracy of approximation . In this paper we study generalized solution operators for which the accuracy of approximation is described by elements of a complete lattice equipped with a compatible monoid structure, namely, a quantale. We provide examples of computational problems for which the accuracy of approximation of a solution is measured by such objects. We show that the sets of -approximations are, roughly, closed balls with radii with respect to a certain family of quantale-valued generalized metrics induced by a generalized solution operator.
- 出版日期2017-8
