L'analogue GameTheory du grain « Principles of Diffusion Models » (#13504 / PR #19169)
La série DataScienceWithAgents vient d'ancrer une tranche sur un ouvrage de référence unificateur (The Principles of Diffusion Models, arXiv 2510.21890) : un concept mesuré absent (Fokker-Planck, 0 occurrence) implanté et référencé au chapitre près. Le cluster choix social de GameTheory présente exactement la même situation, à une échelle plus grande — et sans aucun ouvrage d'ancrage.
L'ouvrage est dans la biblio du cluster
G:\Mon Drive\MyIA\IA\Bibliographie IA\GameTheory\2016 - Brandt Conitzer Endriss Lang - Handbook of Computational Social Choice.pdf — 554 p., ISBN 978-1-107-06043-2, © Brandt, Conitzer, Endriss, Lang et Procaccia 2016 (CUP). Récupéré le 2026-10-05 à la demande du user. La biblio est le gisement partagé du cluster : on cite le chemin, on ne copie jamais le fichier dans le dépôt public.
Mesures (origin/main, 2026-10-05)
Le cluster est gros et computationnel : Arrow cité dans ~55 fichiers, Gibbard (18), Satterthwaite (19) ; quatre angles pédagogiques (simulation Python, preuve Lean, encodage SAT/Z3 dans SC-04, jumeaux C#). C'est, mot pour mot, le programme du Handbook.
L'ouvrage est absent de la biblio de la série :
git grep -ilE "Handbook|Brandt|Cambridge University Press" origin/main -- MyIA.AI.Notebooks/GameTheory/
-> 0 fichier
Le trou conceptuel mesuré — les règles NP-dures, cœur computationnel du Handbook :
| Concept |
Occurrences (origin/main, GameTheory/) |
Statut |
Ancrage Handbook |
| Borda, pluralité, Copeland, IRV, approbation, single-peaked |
10-13 fichiers chacun |
couvert (SC-03 et jumeaux) |
ch. 2 (Zwicker) |
| nucleolus, bargaining |
6-7 fichiers |
couvert (GT-15 et annexes) |
— |
| Kemeny |
0 |
absent |
ch. 2 §2.7 (p. 44) ; ch. 4 §4.1-4.2 (p. 86-94, Fischer-Hudry-Niedermeier) |
| ranked pairs (Tideman) |
0 |
absent |
ch. 2 §2.4 / ch. 3 (extensions de Condorcet) |
| Dodgson |
0 |
absent |
ch. 5 (p. 103-125, Caragiannis-Hemaspaandra²), §5.3 Winner-Problem Complexity |
Kemeny est la règle canonique du Handbook avec sa caractérisation axiomatique propre (Young-Levenglick : unique règle de type Condorcet IIA-cohérente et neutre) ; Dodgson et ranked pairs complètent la famille des règles où déterminer le gagnant est NP-dur — le contrepoint exact des règles polynomiales de SC-03, et un problème non trivial qui met un solveur en valeur (axe 2 de #3801).
Geste attendu
- Références : chaque carnet du cluster (SocialChoice/01-04, 16b/16c/16d, social_choice_lean) cite le Handbook au chapitre près pour ce qu'il enseigne — SC-03 ↔ ch. 2 (théorie du vote), SC-04 ↔ ch. 6 (barrières à la manipulation, Gibbard-Satterthwaite) et les méthodes d'encodage booléen des impossibilités (lignée Tang-Lin), Arrow/Sen ↔ ch. 1-2. Le README de SocialChoice/ porte la bibliographie de la sous-série (avec le chemin biblio du cluster, pas le fichier).
- Consolidation : une tranche « règles NP-dures » — au minimum Kemeny (ch. 4) : Kemeny score exact par énumération des permutations (from scratch, comme SC-03 le fait pour les règles polynomiales), propriété de renforcement de Condorcet mesurée sur données (pas affirmée), confrontation à une formulation SAT/Z3 dans l'esprit de SC-04. Ranked pairs et Dodgson (ch. 5) en tranches suivantes si la fenêtre le permet.
Critères d'acceptation
git grep -ilE "Handbook of Computational Social Choice" origin/main -- MyIA.AI.Notebooks/GameTheory/ rend > 0 après la PR de références (cible : chaque carnet du cluster).git grep -icE "kemeny" origin/main -- MyIA.AI.Notebooks/GameTheory/ rend > 0 après la tranche (implémentation réelle, exécutée, C.2).- Le README SocialChoice/ liste la biblio (Handbook + les papiers déjà cités : Arrow 1951, Sen 1970, Gibbard-Satterthwaite, Young-Levenglick 1978, Tideman 1987).
- Toute claim de complexité (NP-dur) dans la prose s'accompagne de la référence au chapitre ou au papier, pas d'une affirmation en l'air.
Candidats homologues (issues séparées, ouvertes à la suite de celle-ci)
- Roth & Sotomayor, Two-Sided Matching (1990) pour
stable_marriage_lean — issue dédiée. Ouvrage non récupéré (aucune source libre légitime) : références par métadonnées, acquisition à la discrétion du user.
- Maschler-Solan-Zamir, Game Theory (2013) pour le cluster coopératif — issue dédiée. Idem : non récupéré.
- Ancrage du fil principal GT-1..17 sur les ouvrages déjà dans la biblio (Osborne-Rubinstein 1994, Leyton-Brown & Shoham 2008, Shoham & Leyton-Brown 2009) — issue dédiée « BOOK_MAPPING à la QC », immédiatement actionnable.
See #13504 (le précédent DataScienceWithAgents) · See #3801 (axe 2 : problème non trivial) · See #599 (reproductibilité Lean choix social, fermée)
L'analogue GameTheory du grain « Principles of Diffusion Models » (#13504 / PR #19169)
La série DataScienceWithAgents vient d'ancrer une tranche sur un ouvrage de référence unificateur (The Principles of Diffusion Models, arXiv 2510.21890) : un concept mesuré absent (Fokker-Planck, 0 occurrence) implanté et référencé au chapitre près. Le cluster choix social de GameTheory présente exactement la même situation, à une échelle plus grande — et sans aucun ouvrage d'ancrage.
L'ouvrage est dans la biblio du cluster
G:\Mon Drive\MyIA\IA\Bibliographie IA\GameTheory\2016 - Brandt Conitzer Endriss Lang - Handbook of Computational Social Choice.pdf— 554 p., ISBN 978-1-107-06043-2, © Brandt, Conitzer, Endriss, Lang et Procaccia 2016 (CUP). Récupéré le 2026-10-05 à la demande du user. La biblio est le gisement partagé du cluster : on cite le chemin, on ne copie jamais le fichier dans le dépôt public.Mesures (origin/main, 2026-10-05)
Le cluster est gros et computationnel : Arrow cité dans ~55 fichiers, Gibbard (18), Satterthwaite (19) ; quatre angles pédagogiques (simulation Python, preuve Lean, encodage SAT/Z3 dans SC-04, jumeaux C#). C'est, mot pour mot, le programme du Handbook.
L'ouvrage est absent de la biblio de la série :
Le trou conceptuel mesuré — les règles NP-dures, cœur computationnel du Handbook :
Kemeny est la règle canonique du Handbook avec sa caractérisation axiomatique propre (Young-Levenglick : unique règle de type Condorcet IIA-cohérente et neutre) ; Dodgson et ranked pairs complètent la famille des règles où déterminer le gagnant est NP-dur — le contrepoint exact des règles polynomiales de SC-03, et un problème non trivial qui met un solveur en valeur (axe 2 de #3801).
Geste attendu
Critères d'acceptation
git grep -ilE "Handbook of Computational Social Choice" origin/main -- MyIA.AI.Notebooks/GameTheory/rend > 0 après la PR de références (cible : chaque carnet du cluster).git grep -icE "kemeny" origin/main -- MyIA.AI.Notebooks/GameTheory/rend > 0 après la tranche (implémentation réelle, exécutée, C.2).Candidats homologues (issues séparées, ouvertes à la suite de celle-ci)
stable_marriage_lean— issue dédiée. Ouvrage non récupéré (aucune source libre légitime) : références par métadonnées, acquisition à la discrétion du user.See #13504 (le précédent DataScienceWithAgents) · See #3801 (axe 2 : problème non trivial) · See #599 (reproductibilité Lean choix social, fermée)