GAP vs. PAG

Miguel Couceiro (1) , Erkko Lehtonen (1) , Tamas Waldhauser (2, 1)

1 University of Luxembourg [Luxembourg]
2 University of Szeged [Szeged]

We propose a parametrized version of arity gap. The parametrized arity gap gap(f, l) of an n-ary function f measures the minimum decrease in the number of essential variables of f when l consecutive identifications of pairs of essential variables are performed. We determine gap(f, l) for an arbitrary function f and a positive integer l. We also propose other variants of arity gap and discuss further problems pertaining to the effect of identification of variables on the number of essential variables of functions

Domaines: Mathématiques [math]

Miguel Couceiro, Erkko Lehtonen, Tamas Waldhauser. GAP vs. PAG. ISMVL 2012 - 42nd IEEE International Symposium on Multiple-Valued Logic, May 2012, Victoria, BC, Canada. ⟨hal-01093660⟩