On the arity gap of finite functions : results and applications.

Miguel Couceiro 1 Erkko Lehtonen 2
1 ORPAILLEUR - Knowledge representation, reasonning
Inria Nancy - Grand Est, LORIA - NLPKD - Department of Natural Language Processing & Knowledge Discovery
Abstract : Let A be a finite set and B an arbitrary set with at least two elements. The arity gap of a function f : A^n → B is the minimum decrease in the number of essential variables when essential variables of f are identified. A non-trivial fact is that the arity gap of such B-valued functions on A is at most |A|. Even less trivial to verify is the fact that the arity gap of B-valued functions on A with more than |A| essential variables is at most 2. These facts ask for a classification of B-valued functions on A in terms of their arity gap. In this paper, we survey what is known about this problem. We present a general characterization of the arity gap of B-valued functions on A and provide explicit classifications of the arity gap of Boolean and pseudo-Boolean functions. Moreover, we reveal unsettled questions related to this topic, and discuss links and possible applications of some results to other subjects of research.
Type de document :
Article dans une revue
Journal of Multiple-Valued Logic and Soft Computing, 2016, 27 (1-2), pp.15
Liste complète des métadonnées

https://hal.inria.fr/hal-01175695
Contributeur : Miguel Couceiro <>
Soumis le : samedi 11 juillet 2015 - 17:49:04
Dernière modification le : jeudi 11 janvier 2018 - 06:25:24

Identifiants

  • HAL Id : hal-01175695, version 1

Collections

Citation

Miguel Couceiro, Erkko Lehtonen. On the arity gap of finite functions : results and applications.. Journal of Multiple-Valued Logic and Soft Computing, 2016, 27 (1-2), pp.15. 〈hal-01175695〉

Partager

Métriques

Consultations de la notice

293