Explaining the Lack of Locally Envy-Free Allocations - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

Explaining the Lack of Locally Envy-Free Allocations

Résumé

In fair division, local envy-freeness is a desirable property which has been thoroughly studied in recent years. In this paper, we study explanations which can be given to explain that no allocation of items can satisfy this criterion, in the house allocation setting where agents receive a single item. While MUSes are key concepts to extract explanations, they cannot be used as such: (i) they highly depend on the initial encoding of the problem; (ii) they are flat structures which fall short of capturing the dynamics of explanations; (iii) they typically come in large number and exhibit great diversity. In this paper we provide two SAT encodings of the problem which allows us to extract MUS when instances are unsatisfiable. We build a dynamic graph structure which allows to follow step-by-step the explanation. Finally, we propose several criteria to select MUSes, some of them being based on the MUS structure, while others rely on this original graphical explanation structure. We give theoretical bounds on these metrics, showing that they can vary significantly for some instances. Experimental results on synthetic data complement these results and illustrate the impact of the encodings and the relevance of our metrics to select among the many MUSes.
Fichier non déposé

Dates et versions

hal-04670468 , version 1 (12-08-2024)

Licence

Identifiants

  • HAL Id : hal-04670468 , version 1

Citer

Aurélie Beynier, Jean-Guy Mailly, Nicolas Maudet, Anaelle Wilczynski. Explaining the Lack of Locally Envy-Free Allocations. 27th European Conference on Artificial Intelligence (ECAI 2024), Oct 2024, Santiago de Compostela, Spain. ⟨hal-04670468⟩
0 Consultations
0 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More