diff --git a/MyIA.AI.Notebooks/GameTheory/GameTheory-03e-Plan-de-deformation-Python.ipynb b/MyIA.AI.Notebooks/GameTheory/GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb similarity index 99% rename from MyIA.AI.Notebooks/GameTheory/GameTheory-03e-Plan-de-deformation-Python.ipynb rename to MyIA.AI.Notebooks/GameTheory/GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb index 94ba008dfe..9e61a0f2e2 100644 --- a/MyIA.AI.Notebooks/GameTheory/GameTheory-03e-Plan-de-deformation-Python.ipynb +++ b/MyIA.AI.Notebooks/GameTheory/GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb @@ -14,9 +14,9 @@ "tags": [] }, "source": [ - "# GameTheory-03d — Biens publics non-lineaires : plan de deformation\n", + "# GameTheory-23a — Biens publics non-linéaires : plan de déformation\n", "\n", - "**Navigation** : [<< 3-Topology2x2](GameTheory-03-Topology2x2-Python.ipynb) | [<< 3b-Chambres-et-Murs](GameTheory-03c-Chambres-et-Murs-Python.ipynb) | [<< 3c-Le-Joueur-LLM](GameTheory-03d-Le-Joueur-LLM-Python.ipynb) | [Index](README.md) | [4-NashEquilibrium >>](GameTheory-04-NashEquilibrium-Python.ipynb)\n", + "**Navigation** : [Index GameTheory](README.md)\n", "\n", "## Du tableau periodique au plan de deformation\n", "\n", @@ -1188,8 +1188,8 @@ "end_time": "2026-09-28T17:59:41.076881", "environment_variables": {}, "exception": null, - "input_path": "MyIA.AI.Notebooks/GameTheory/GameTheory-03e-Plan-de-deformation-Python.ipynb", - "output_path": "GameTheory-03e-Plan-de-deformation-Python.ipynb", + "input_path": "MyIA.AI.Notebooks/GameTheory/GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb", + "output_path": "GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb", "parameters": {}, "start_time": "2026-09-28T17:59:33.517928", "version": "2.6.0" diff --git a/MyIA.AI.Notebooks/GameTheory/README.md b/MyIA.AI.Notebooks/GameTheory/README.md index 85e261450b..a131688fa2 100644 --- a/MyIA.AI.Notebooks/GameTheory/README.md +++ b/MyIA.AI.Notebooks/GameTheory/README.md @@ -95,7 +95,7 @@ On apprend à représenter un jeu sous forme normale, puis à le résoudre : dom |---|----------|--------------------|-------|--------|------------------| | 01 | Mise en route — [Python](GameTheory-01-Setup-Python.ipynb) | Installation de Nashpy et OpenSpiel, premier dilemme du prisonnier | 20 min | Découverte | — | | 02 | Forme normale — [Python](GameTheory-02-NormalForm-Python.ipynb) ([suite](GameTheory-02-NormalForm-Part2-Python.ipynb)) · [C#](GameTheory-02-NormalForm-CSharp.ipynb) ([suite](GameTheory-02-NormalForm-Part2-CSharp.ipynb)) | Matrices de gains, dominance, meilleure réponse ; la suite énumère les supports mixtes d'un jeu N×N | 45 min | Découverte | [02b](GameTheory-02b-Lean-Definitions-Lean.ipynb) · [02c](GameTheory-02c-Travelers-Dilemma-Python.ipynb) | -| 03 | Topologie des jeux 2×2 — [Python](GameTheory-03-Topology2x2-Python.ipynb) · [C#](GameTheory-03-Topology2x2-CSharp.ipynb) | La table périodique de Robinson-Goforth : classer tous les jeux 2×2 ordinaux et dériver leur quotient | 80 min | Licence | [03a](GameTheory-03b-Chemins-de-Swaps-Lean-Python.ipynb) · [03b](GameTheory-03c-Chambres-et-Murs-Python.ipynb) · [03c](GameTheory-03d-Le-Joueur-LLM-Python.ipynb) · [03d](GameTheory-03e-Plan-de-deformation-Python.ipynb) · [03e](GameTheory-03f-Meta-Actions-Tarifees-Python.ipynb) · [03h](GameTheory-03g-Deux-Especes-de-Fleches-Python.ipynb) | +| 03 | Topologie des jeux 2×2 — [Python](GameTheory-03-Topology2x2-Python.ipynb) · [C#](GameTheory-03-Topology2x2-CSharp.ipynb) | La table périodique de Robinson-Goforth : classer tous les jeux 2×2 ordinaux et dériver leur quotient | 80 min | Licence | [03a](GameTheory-03b-Chemins-de-Swaps-Lean-Python.ipynb) · [03b](GameTheory-03c-Chambres-et-Murs-Python.ipynb) · [03c](GameTheory-03d-Le-Joueur-LLM-Python.ipynb) · [03e](GameTheory-03f-Meta-Actions-Tarifees-Python.ipynb) · [03h](GameTheory-03g-Deux-Especes-de-Fleches-Python.ipynb) | | 04 | Équilibre de Nash — [Python](GameTheory-04-NashEquilibrium-Python.ipynb) · [C#](GameTheory-04-NashEquilibrium-CSharp.ipynb) | Nash pur et mixte, Lemke-Howson, analyse paramétrique | 60 min | Découverte | [04b](GameTheory-04b-Lean-NashExistence-Lean.ipynb) · [04c](GameTheory-04c-NashExistence-Python.ipynb) · [04d](GameTheory-04d-Marchandage-Asymetrique-Python.ipynb) · [04e](GameTheory-04e-Reflective-Oracles-Python.ipynb) · [04f](GameTheory-04f-Theories-Decision-Predicteur-Python.ipynb) | | 05 | Jeux à somme nulle — [Python](GameTheory-05-ZeroSum-Minimax-Python.ipynb) · [C#](GameTheory-05-ZeroSum-Minimax-CSharp.ipynb) | Théorème minimax de von Neumann, programmation linéaire primal/dual | 40 min | Découverte | [05b](GameTheory-05b-Lean-Minimax-Lean.ipynb) | | 06 | Évolution de la confiance — [Python](GameTheory-06-EvolutionTrust-Python.ipynb) · [C#](GameTheory-06-EvolutionTrust-CSharp.ipynb) | Tournoi d'Axelrod, tit-for-tat, dynamique du réplicateur, processus de Moran en population finie | 65 min | Découverte | [06b](GameTheory-06b-Lean-RepeatedGames-Lean-Python.ipynb) · [06c](GameTheory-06c-RepeatedGames-FolkTheorem-Python.ipynb) · [06d](GameTheory-06d-Sympathie-vs-Engagement-Python.ipynb) · [06e](GameTheory-06e-Open-Source-Game-Theory-Python.ipynb) · [06f](GameTheory-06f-Bounded-Agents-Python.ipynb) · [06f bis](GameTheory-06j-Bounded-Proofs-Reasoning-Costs-Python.ipynb) · [06g](GameTheory-06f-Bounded-Agents-Lean.ipynb) · [06g bis](GameTheory-06g-Simulation-Based-Program-Equilibria-Python.ipynb) · [06h](GameTheory-06h-Transparent-Institutions-Python.ipynb) | @@ -192,7 +192,6 @@ Ces lettres prolongent la table périodique du 03 en une géométrie de l'espace | 03a | [Chemins de swaps](GameTheory-03b-Chemins-de-Swaps-Lean-Python.ipynb) | À quelle distance sont deux jeux : parcours en largeur, théorème de décomposition, certificat Lean indépendant du plus court chemin | Python | Licence | | 03h | [Deux espèces de flèches](GameTheory-03g-Deux-Especes-de-Fleches-Python.ipynb) | Le théorème fini du chemin minimal : quand un swap traverse un mur ; la conjecture naïve réfutée, la condition exacte vérifiée | Python | Recherche | | 03c | [Le joueur LLM](GameTheory-03d-Le-Joueur-LLM-Python.ipynb) | Un modèle de langage placé dans la table périodique et confronté à ses transformations ordinales | Python | Licence | -| 03d | [Plan de déformation](GameTheory-03e-Plan-de-deformation-Python.ipynb) | Biens publics non linéaires et déformation continue de l'espace stratégique | Python | Licence | | 03e | [Méta-actions tarifées](GameTheory-03f-Meta-Actions-Tarifees-Python.ipynb) | Changer les règles comme action payante : coût en échelons de rang, seuil de migration, méta-jeu ; puis le parcours complet, du jeu nommé au coût de la méta-action | Python | Recherche | ### Autour de 04 — existence et nature de l'équilibre @@ -291,6 +290,13 @@ L'agrégation des préférences (Arrow, vote, manipulation) se poursuit dans la La lettre 17c est portée par deux notebooks ; la passe de renommage leur donnera des lettres distinctes. +### Autour de 23 — biens publics et dilemmes N-personnes + +Palier extrait de la série 3 (accretion `03e-Plan-de-deformation` d'avant la renumérotation) : la table périodique de Robinson-Goforth reste l'épigraphe, mais le passage à N agents et à des fonctions de bénéfice non-linéaires constitue un objet mathématique distinct — il ne varie plus la géométrie de l'espace des jeux 2×2, il en sort. + +| Lettre | Notebook | Ce qu'il ajoute | Noyau | Public | +|--------|----------|-----------------|-------|--------| +| 23a | [Biens publics non-linéaires](GameTheory-23a-Biens-Publics-Plan-Deformation-Python.html) | Archetti-Scheuring 2012 (JTB 299 : 9-20) : sans assortiment, un équilibre polymorphe stable coexiste ; les 78 profils 2×2 de Rapoport-Guyer servent de carte d'entrée, le plan `(k, s)` de déformation porte la dynamique N-personnes. | Python | Licence | ## Parcours transverses Quatre itinéraires qui traversent paliers et lettres pour un public précis. diff --git a/_quarto.yml b/_quarto.yml index 7f4a4b2ccc..ab527eea2d 100644 --- a/_quarto.yml +++ b/_quarto.yml @@ -746,7 +746,7 @@ project: - "MyIA.AI.Notebooks/GameTheory/GameTheory-03b-Chemins-de-Swaps-Lean-Python.ipynb" - "MyIA.AI.Notebooks/GameTheory/GameTheory-03c-Chambres-et-Murs-Python.ipynb" - "MyIA.AI.Notebooks/GameTheory/GameTheory-03d-Le-Joueur-LLM-Python.ipynb" - - "MyIA.AI.Notebooks/GameTheory/GameTheory-03e-Plan-de-deformation-Python.ipynb" + - "MyIA.AI.Notebooks/GameTheory/GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb" - "MyIA.AI.Notebooks/GameTheory/GameTheory-03f-Meta-Actions-Tarifees-Python.ipynb" - "MyIA.AI.Notebooks/GameTheory/GameTheory-03g-Deux-Especes-de-Fleches-Python.ipynb" - "MyIA.AI.Notebooks/GameTheory/GameTheory-04-NashEquilibrium-CSharp.ipynb" diff --git a/docs/curriculum/recherche.md b/docs/curriculum/recherche.md index a1c4e3f1d8..ce95e7524c 100644 --- a/docs/curriculum/recherche.md +++ b/docs/curriculum/recherche.md @@ -42,7 +42,7 @@ Inférence probabiliste (Infer.NET, Pyro, PyMC), théorie de l'information inté | 11 | [GameTheory-3a — Chemins de swaps : à quelle distance…](../../MyIA.AI.Notebooks/GameTheory/GameTheory-03b-Chemins-de-Swaps-Lean-Python.ipynb) | BETA | Non | | 12 | [GameTheory 3b : Chambres, murs, codimension — les jeux…](../../MyIA.AI.Notebooks/GameTheory/GameTheory-03c-Chambres-et-Murs-Python.ipynb) | BETA | Oui | | 13 | [GameTheory-3c — Le joueur LLM dans le tableau…](../../MyIA.AI.Notebooks/GameTheory/GameTheory-03d-Le-Joueur-LLM-Python.ipynb) | BETA | Non | -| 14 | [GameTheory-03d — Biens publics non-lineaires : plan de…](../../MyIA.AI.Notebooks/GameTheory/GameTheory-03e-Plan-de-deformation-Python.ipynb) | BETA | Oui | +| 14 | [GameTheory-23a — Biens publics non-linéaires : plan de…](../../MyIA.AI.Notebooks/GameTheory/GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb) | BETA | Oui | | 15 | [GameTheory 3e : Meta-Actions Tarifees et Parcours…](../../MyIA.AI.Notebooks/GameTheory/GameTheory-03f-Meta-Actions-Tarifees-Python.ipynb) | BETA | Oui | | 16 | [GameTheory-03h — Deux espèces de flèches : quand une…](../../MyIA.AI.Notebooks/GameTheory/GameTheory-03g-Deux-Especes-de-Fleches-Python.ipynb) | BETA | Oui | | 17 | [GameTheory-04-NashEquilibrium-Python (C#)](../../MyIA.AI.Notebooks/GameTheory/GameTheory-04-NashEquilibrium-CSharp.ipynb) | BETA | Oui | diff --git a/docs/reference/rename-ledger.tsv b/docs/reference/rename-ledger.tsv index 0767d5ca1d..d9a3a442bc 100644 --- a/docs/reference/rename-ledger.tsv +++ b/docs/reference/rename-ledger.tsv @@ -307,3 +307,4 @@ MyIA.AI.Notebooks/Probas/Applications/Percolation/Percolation-Lean.ipynb MyIA.AI MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-17a-Knots-Conway-Proofs.ipynb MyIA.AI.Notebooks/SymbolicAI/Lean/KNOTS/KNOTS-01-Conway-Proofs-Lean-Python.ipynb 2026-10-06 myia-po-2026:CoursIA MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-17b-Knots-Invariants-Companion.ipynb MyIA.AI.Notebooks/SymbolicAI/Lean/KNOTS/KNOTS-02-Invariants-Python.ipynb 2026-10-06 myia-po-2026:CoursIA MyIA.AI.Notebooks/SymbolicAI/Lean/Lean-17c-Knots-Companion-Formel.ipynb MyIA.AI.Notebooks/SymbolicAI/Lean/KNOTS/KNOTS-03-Companion-Formel-Lean-Python.ipynb 2026-10-06 myia-po-2026:CoursIA +MyIA.AI.Notebooks/GameTheory/GameTheory-03e-Plan-de-deformation-Python.ipynb MyIA.AI.Notebooks/GameTheory/GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb 2026-10-06 myia-po-2023:CoursIA \ No newline at end of file diff --git a/scripts/notebook_tools/check_cell_source_parses.py b/scripts/notebook_tools/check_cell_source_parses.py index 9c4a6afd12..bd9f41eb88 100644 --- a/scripts/notebook_tools/check_cell_source_parses.py +++ b/scripts/notebook_tools/check_cell_source_parses.py @@ -8,7 +8,7 @@ (a) PR #13287 cell -- `print(f" donne un levier "prononce" (0.746)...")` -- double-quote OUTSIDE f-string substitution field: invalid in 3.11 as in 3.14 (PEP 701 only covers the inside of `{}`). - (b) `main` GameTheory-03e-Plan-de-deformation-Python.ipynb cell[7] -- a markdown + (b) `main` GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb cell[7] -- a markdown blob typed `code`, carrying an orphan output from another calculation. This script: diff --git a/scripts/tests/baseline_nb_nav_chain.json b/scripts/tests/baseline_nb_nav_chain.json index 895b9d02e6..197adc11cb 100644 --- a/scripts/tests/baseline_nb_nav_chain.json +++ b/scripts/tests/baseline_nb_nav_chain.json @@ -50,6 +50,11 @@ "notebook": "MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-API", "series": "MyIA.AI.Notebooks/SymbolicAI/SMT/Z3-API" }, + { + "kind": "independent_chain", + "notebook": "MyIA.AI.Notebooks/GameTheory", + "series": "MyIA.AI.Notebooks/GameTheory" + }, { "kind": "orphan_entry", "notebook": "MyIA.AI.Notebooks/GameTheory/GameTheory-02-NormalForm-Part2-Python.ipynb", @@ -72,7 +77,7 @@ }, { "kind": "orphan_entry", - "notebook": "MyIA.AI.Notebooks/GameTheory/GameTheory-03e-Plan-de-deformation-Python.ipynb", + "notebook": "MyIA.AI.Notebooks/GameTheory/GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb", "series": "MyIA.AI.Notebooks/GameTheory" }, { diff --git a/slides/05-theorie-des-jeux/slides.md b/slides/05-theorie-des-jeux/slides.md index 67f092c264..b9cac12371 100644 --- a/slides/05-theorie-des-jeux/slides.md +++ b/slides/05-theorie-des-jeux/slides.md @@ -390,7 +390,7 @@ layout: dense Resolution de pierre-papier-ciseaux : support des strategies mixtes -*Notebooks : [GameTheory-03e-Plan-de-deformation-Python](../../MyIA.AI.Notebooks/GameTheory/GameTheory-03e-Plan-de-deformation-Python.ipynb) (deformation, pierre-papier-ciseaux) · [GameTheory-05-ZeroSum-Minimax-Python](../../MyIA.AI.Notebooks/GameTheory/GameTheory-05-ZeroSum-Minimax-Python.ipynb) (somme nulle, EU = 0).* +*Notebooks : [GameTheory-23a-Biens-Publics-Plan-Deformation-Python](../../MyIA.AI.Notebooks/GameTheory/GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb) (déformation, pierre-papier-ciseaux) · [GameTheory-05-ZeroSum-Minimax-Python](../../MyIA.AI.Notebooks/GameTheory/GameTheory-05-ZeroSum-Minimax-Python.ipynb) (somme nulle, EU = 0).* --- layout: dense @@ -405,7 +405,7 @@ layout: dense ## Deformations et quotient -- [GameTheory-03e-Plan-de-deformation-Python](../../MyIA.AI.Notebooks/GameTheory/GameTheory-03e-Plan-de-deformation-Python.ipynb) : chemins continus entre classes +- [GameTheory-23a-Biens-Publics-Plan-Deformation-Python](../../MyIA.AI.Notebooks/GameTheory/GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb) : chemins continus entre classes - [GameTheory-03-Topology2x2-Python (§9)](../../MyIA.AI.Notebooks/GameTheory/GameTheory-03-Topology2x2-Python.ipynb) : deriver la structure quotient (absorbé depuis l'ex-03g) ## Parcours et extensions