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