• 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