DocumentCode :
2704955
Title :
The Arity Gap of Polynomial Functions over Bounded Distributive Lattices
Author :
Couceiro, Miguel ; Lehtonen, Erkko
Author_Institution :
Math. Res. Unit, Univ. of Luxembourg, Luxembourg, Luxembourg
fYear :
2010
fDate :
26-28 May 2010
Firstpage :
113
Lastpage :
116
Abstract :
Let $A$ and $B$ be arbitrary sets with at least two elements. The arity gap of a function $fcolon A^nto B$ is the minimum decrease in its essential arity when essential arguments of $f$ are identified. In this paper we study the arity gap of polynomial functions over bounded distributive lattices and present a complete classification of such functions in terms of their arity gap. To this extent, we present a characterization of the essential arguments of polynomial functions, which we then use to show that almost all lattice polynomial functions have arity gap 1, with the exception of truncated median functions, whose arity gap is 2.
Keywords :
Boolean functions; Computer science; Lattices; Mathematics; Multivalued logic; Polynomials; Upper bound;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Multiple-Valued Logic (ISMVL), 2010 40th IEEE International Symposium on
Conference_Location :
Barcelona, Spain
ISSN :
0195-623X
Print_ISBN :
978-1-4244-6752-5
Type :
conf
DOI :
10.1109/ISMVL.2010.29
Filename :
5489244
Link To Document :
بازگشت