Regular selections for multiple-valued functions
نویسندگان
چکیده
منابع مشابه
Finding Composition Trees for Multiple-Valued Functions
The composition tree of a given function, when it exists, provides a representation of the function revealing all possible disjunctive decompositions, thereby suggesting a realization of the function at a minimal cost. Previously and independently, the authors had studied the class of multiplevalued functions that are fully sensitive to their variables. These functions are useful for test gener...
متن کاملDeduction and Search Strategies for Regular Multiple-Valued Logics
The inference rule !-resolution was introduced in [27] as a technique for developing an SLD-style query answering procedure for the logic programming subset of annotated logic. The inference rule requires that the lattice of truth values be ordinary. In this paper, it is proved that all complete distributive lattices are ordinary. Properties of !-resolution in the general theorem proving settin...
متن کاملMultiple Valued Functions and Integral Currents
We prove several results on Almgren’s multiple valued functions and their links to integral currents. In particular, we give a simple proof of the fact that a Lipschitz multiple valued map naturally defines an integer rectifiable current; we derive explicit formulae for the boundary, the mass and the first variations along certain specific vectorfields; and exploit this connection to derive a d...
متن کاملProbabilistic Verification of Multiple-Valued Functions
This paper describes a probabilistic method for verifying the equivalence of two multiple-valued functions. Each function is hashed to an integer code by transforming it to a integer-valued polynomial and the equivalence of two polynomials is checked probabilistically. The hash codes for two equivalent functions are always the same. Thus, the equivalence of two functions can be verified with a ...
متن کاملTwo-dimensional multiple-valued Dirichlet minimizing functions
We give some remarks on two-dimensional multiple-valued Dirichlet minimizing functions, including frequency, classification of branch points and their connections. As an application, we prove that blowing-up functions of a two-dimensional multiple-valued Dirichlet minimizing function are unique. This paper is concluded with a boundary regularity theorem for two-dimensional multiple-valued Diric...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annali di Matematica Pura ed Applicata
سال: 2003
ISSN: 0373-3114,1618-1891
DOI: 10.1007/s10231-003-0081-5