Théorie des jeux

Les mariages stables : apparier sans argent

Certaines choses ne s'achètent pas : une place au lycée, un poste d'interne, un rein. Pour les attribuer, on ne peut pas laisser jouer les prix ; il faut une règle d'appariement. En 1962, David Gale et Lloyd Shapley montrent qu'on peut toujours trouver une affectation stable, que personne n'a intérêt à défaire. Cette page approfondit leur découverte, présentée dans la page sur l'histoire de la théorie des jeux : les établissements à places multiples, la structure de toutes les solutions stables, la question de savoir si l'on gagne à mentir, puis les échanges sans argent de Shapley et Scarf, jusqu'à leur application la plus émouvante, les dons croisés de reins. Alvin Roth et Lloyd Shapley ont reçu pour ces travaux le prix Nobel d'économie en 2012.

Vocabulaire

Les mots de l'appariement

MotSens
Paire bloquanteUn élève et un lycée qui se préfèrent mutuellement à ce qu'on leur a attribué : ils ont intérêt à contourner l'affectation.
StableSans aucune paire bloquante. La stabilité protège la règle : personne n'a de raison de la contourner.
Acceptation différéeL'algorithme de Gale et Shapley : les uns proposent, les autres gardent provisoirement les meilleures propositions, jusqu'à la fin.
Non manipulableDire la vérité sur ses préférences est toujours le meilleur choix, quoi que fassent les autres (en anglais strategy-proof).
CœurUne répartition que aucun groupe ne peut améliorer en se retirant pour échanger entre ses seuls membres.
Planche 1

Les places multiples : élèves et lycées

Gale et Shapley parlaient déjà d'« admissions à l'université » : un établissement accueille plusieurs élèves. L'algorithme s'étend sans peine. Chaque élève sans place demande le lycée suivant de sa liste. Chaque lycée garde provisoirement ses meilleurs candidats dans la limite de ses places et refuse les autres. Un élève refusé passe au lycée suivant, et ainsi de suite. Une place gardée peut encore être reprise par un meilleur candidat : d'où le nom d'acceptation différée. C'est le principe des procédures d'affectation au lycée (Affelnet en France, celles de New York ou de Boston) et de l'appariement des internes américains (NRMP).

À gauche les élèves, à droite les lycées avec leurs places (cases). Trait orange : demande de ce tour ; case bleue : place gardée provisoirement ; croix rouge : refus. Le nombre à côté de chaque élève est le rang, dans sa liste, du lycée qui le garde.
Rang du lycée obtenu par chaque élève (1 = premier vœu) : quand les élèves proposent (bleu) et quand les lycées proposent (violet). Les deux affectations sont stables ; la première est la meilleure possible pour chaque élève.
Tours effectués / élèves sans place
—
Rang moyen obtenu : élèves proposent / lycées proposent
—
Élèves mieux servis quand ils proposent / moins bien
—
Contrôle : paires bloquantes ; mêmes places remplies dans les deux cas
—
Qui propose a l'avantage. Quand les élèves proposent, chacun obtient le meilleur lycée qu'il puisse avoir dans une affectation stable ; quand les lycées proposent, ce sont eux qui sont avantagés. Mais certaines choses ne changent pas : dans toutes les affectations stables, ce sont les mêmes élèves qui restent sans place et les mêmes lycées qui gardent des places vides. C'est le « théorème des hôpitaux ruraux » (Roth, 1986), né d'une question pratique : un hôpital de campagne qui ne trouve pas d'internes ne peut pas espérer mieux avec un autre appariement stable.
Planche 2

Toutes les solutions stables : un treillis

Revenons au cas d'une place par établissement, avec n candidats et n établissements. Il peut exister plusieurs affectations stables. La page les trouve toutes, en examinant les n! affectations possibles. Elles s'ordonnent d'une façon remarquable : si tous les candidats préfèrent (ou trouvent égale) l'affectation A à l'affectation B, alors tous les établissements préfèrent B à A. Les intérêts des deux côtés sont exactement opposés. On peut ranger les solutions stables en un diagramme (un treillis) qui va de la meilleure pour les candidats, en haut, à la meilleure pour les établissements, en bas.

Le treillis des affectations stables. Un trait relie deux solutions quand on passe de l'une à l'autre sans solution intermédiaire ; en descendant, tous les candidats perdent (ou restent au même rang) et tous les établissements gagnent. En haut : solution trouvée quand les candidats proposent ; en bas : quand les établissements proposent.
La solution choisie dans le treillis (touchez un nœud) : chaque candidat est relié à son établissement ; le chiffre indique son rang dans la liste de chacun.
Affectations examinées / stables
—
Solution choisie : rang moyen candidats / établissements
—
Candidats-proposent = sommet ; établissements-proposent = base
—
Contrôle : intérêts opposés sur toutes les paires comparables
—
Une structure cachée. Que l'ensemble des solutions stables forme un treillis a été remarqué par John Conway, et publié par Donald Knuth en 1976 dans un petit livre sur les mariages stables. Cette structure permet de trouver des solutions « au milieu », plus équitables entre les deux côtés, et de les compter. Avec des préférences au hasard, il y a en moyenne peu de solutions stables : souvent une seule, d'où un treillis réduit à un point. Le bouton « Chercher un treillis riche » tire des préférences jusqu'à en trouver un plus grand.
Planche 3

Mentir paie-t-il ? Acceptation différée contre méthode de Boston

Une règle d'affectation ne vaut que si les candidats donnent leurs vraies préférences. Dans l'acceptation différée où les candidats proposent, mentir ne rapporte jamais rien à un candidat (Dubins et Freedman, 1981 ; Roth, 1982). Comparez avec l'ancienne méthode de Boston : chaque lycée remplit d'abord ses places avec ceux qui l'ont mis en premier vœu, définitivement ; puis avec les deuxièmes vœux, et ainsi de suite. Mettre en premier un lycée trop demandé y est risqué : un élève malin place plutôt en tête un lycée moins couru où il est sûr d'entrer. La page essaie, pour un candidat donné, les 120 façons d'ordonner ses 5 vœux.

Les vraies préférences des 5 candidats (rangées) sur les 5 lycées. Le candidat examiné est encadré. Case bleue : lycée obtenu en disant la vérité ; case orange : lycée obtenu avec son meilleur mensonge.
Pour chaque candidat : rang (dans ses vraies préférences) obtenu en disant la vérité (barre) et avec son meilleur mensonge (point), sous la règle choisie. Plus bas, c'est mieux.
Candidat examiné : vérité / meilleur mensonge (rang obtenu)
—
Candidats qui gagnent à mentir (sur 5)
—
Lycées qui gagnent à se montrer plus difficiles (acceptation différée)
—
Contrôle : listes essayées par candidat
—
Une règle qu'on ne peut pas tromper protège les moins informés. Sous la méthode de Boston, les familles averties trichent sur leurs vœux et les autres en pâtissent ; Boston l'a abandonnée en 2005, sur les conseils d'Atila Abdulkadiroğlu, Parag Pathak, Alvin Roth et Tayfun Sönmez, au profit de l'acceptation différée. Celle-ci n'est pourtant pas parfaite : le côté qui reçoit les propositions peut parfois gagner en se montrant plus exigeant qu'il ne l'est (en refusant des candidats qu'il accepterait). Aucune règle stable n'est inattaquable des deux côtés à la fois (Roth, 1982).
Planche 4

Shapley et Scarf : échanger ce que l'on possède

En 1974, Lloyd Shapley et Herbert Scarf étudient un marché sans argent : chacun possède une maison et a ses préférences sur toutes les maisons. Peut-on organiser des échanges dont personne ne voudra sortir ? Ils publient une méthode due à David Gale : les cycles d'échanges (en anglais top trading cycles). Chacun pointe vers le propriétaire de la maison qu'il préfère. Il existe forcément au moins un cycle : on réalise les échanges de ce cycle, ses membres partent avec leur nouvelle maison, et l'on recommence avec ceux qui restent.

Chaque agent (cercle) pointe vers le propriétaire de la maison qu'il préfère parmi celles qui restent. Les cycles trouvés s'allument en vert : leurs membres échangent et se retirent.
Résultat : pour chaque agent, rang de la maison obtenue dans sa liste (1 = préférée) ; en gris, le rang de sa propre maison. Personne ne finit moins bien logé qu'au départ.
Étapes / cycles réalisés
—
Rang moyen obtenu / rang moyen de la maison de départ
—
Agent le moins bien servi : meilleur rang en mentant / en disant vrai (toutes ses listes)
—
Contrôle : dans le cœur (toutes les coalitions et tous leurs échanges internes examinés)
—
Trois propriétés à la fois. La répartition obtenue est dans le cœur : aucun groupe ne peut faire mieux en échangeant seulement entre ses membres (Shapley et Scarf, 1974). C'est la seule (Roth et Postlewaite, 1977). Et personne ne gagne à mentir sur ses préférences (Roth, 1982). Aujourd'hui, les cycles d'échanges servent à affecter les élèves dans certaines villes, à répartir des logements étudiants… et à organiser les dons croisés de reins.
Signature

Les cycles d'échanges de reins

Un malade a trouvé un proche prêt à lui donner un rein, mais leurs groupes sanguins sont incompatibles, ou ses anticorps rejetteraient l'organe. Ailleurs, une autre paire est dans la même impasse. Si le donneur de la première convient au malade de la seconde, et inversement, on peut croiser les dons : deux greffes au lieu de zéro. Avec trois paires, le cycle s'agrandit. Un donneur altruiste, sans receveur attitré, peut lancer une chaîne. On ne vend rien : on échange, comme dans le marché de Shapley et Scarf. Les premiers dons croisés datent des années 1990 ; en 2004, Alvin Roth, Tayfun Sönmez et Utku Ünver ont montré comment les organiser à grande échelle avec les outils de Shapley et Scarf. Des milliers de greffes en ont bénéficié depuis dans le monde.

Les paires incompatibles (cercles : groupe sanguin du malade au centre, du donneur en petit) et l'altruiste (étoile). Une flèche fine de A vers B : le donneur de A peut donner au malade de B. En couleur, les cycles et la chaîne choisis pour faire le plus de greffes possible ; une pastille parcourt chaque cycle.
Nombre moyen de greffes sur 20 groupes de 16 paires, selon la taille maximale des cycles et la présence d'un donneur altruiste.
Qui reste sans greffe, selon le groupe sanguin du malade : les malades du groupe O, qui ne peuvent recevoir que d'un donneur O, sont les plus difficiles à servir.
Greffes réalisées / paires en attente
—
Échanges retenus
—
Paires compatibles écartées en amont (greffe directe)
—
Contrôle : optimum prouvé par recherche exhaustive
—
Pourquoi des cycles courts ? Toutes les opérations d'un cycle doivent avoir lieu en même temps : sinon, un donneur dont le proche a déjà été greffé pourrait se rétracter. Un cycle de trois paires mobilise six blocs opératoires le même jour. Passer des cycles de 2 aux cycles de 3, puis ajouter une chaîne, augmente nettement le nombre de greffes : c'est ce que montrent les simulations. En France, le don croisé est autorisé depuis 2011, et la loi de bioéthique du 2 août 2021 a porté de deux à six le nombre de paires pouvant participer à un même échange ; un premier échange à trois paires a été réalisé en 2024, puis un premier à quatre paires.
Synthèse

Ce qu'il faut retenir

La stabilité

Une affectation sans paire bloquante existe toujours, et l'acceptation différée la trouve. Toutes les solutions stables forment un treillis où les intérêts des deux côtés s'opposent.

La sincérité

Une bonne règle rend la vérité optimale. L'acceptation différée l'assure pour le côté qui propose ; la méthode de Boston, non.

L'échange sans argent

Les cycles d'échanges de Gale donnent la seule répartition du cœur, sans manipulation possible. Les dons croisés de reins en sont l'application la plus vitale.

Pour aller plus loin

Les vérifications de la page. Planche 1 : absence de paire bloquante, et mêmes places remplies quel que soit le côté qui propose. Planche 2 : énumération de toutes les affectations. Planche 3 : toutes les listes de vœux possibles d'un candidat. Planche 4 : toutes les coalitions et tous leurs échanges internes. Planche 5 : l'optimum est trouvé par une recherche exhaustive avec élagage (séparation et évaluation) sur tous les cycles de 2 ou 3 paires et toutes les chaînes possibles. Compatibilité sanguine : un donneur O peut donner à tous, A à A et AB, B à B et AB, AB à AB seulement ; groupes tirés selon les fréquences françaises (O 43 %, A 45 %, B 9 %, AB 3 %).

Références. D. Gale et L. Shapley, « College admissions and the stability of marriage », American Mathematical Monthly (1962) ; L. Shapley et H. Scarf, « On cores and indivisibility », Journal of Mathematical Economics (1974) ; D. Knuth, Mariages stables (1976) ; A. Roth, « The economics of matching: stability and incentives », Mathematics of Operations Research (1982) ; A. Roth, T. Sönmez et U. Ünver, « Kidney exchange », Quarterly Journal of Economics (2004) ; A. Roth, Who Gets What — and Why (2015).

Pages voisines. L'histoire de la théorie des jeux (planche sur Gale et Shapley), les jeux coopératifs et la valeur de Shapley, les enchères.