Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 5 additions & 2 deletions .github/workflows/notebook-cell-source-parses.yml
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,11 @@ name: Notebook Cell Source Parses
# Two instances found firsthand on main:
# (a) PR #13287 cell -- `print(f"..."..."...")` -- double-quote outside
# f-string substitution (PEP 701 only governs inside `{}`).
# (b) GameTheory-03e-Plan-de-deformation-Python.ipynb cell[7] -- a markdown blob
# typed `code`, carrying an orphan output from another calculation.
# (b) GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb cell[7] --
# a markdown blob typed `code`, carrying an orphan output from another
# calculation. (Le constat a ete fait sous le nom d'alors,
# GameTheory-03e-Plan-de-deformation-Python.ipynb ; le renommage
# #16231 / #19484 a depuis deplace le fichier.)
#
# This guard:
# - parses every Python notebook cell touched by the PR with
Expand Down
2 changes: 1 addition & 1 deletion .pre-commit-config.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -193,7 +193,7 @@ repos:
it carries, falsifying proof of execution (C.2 / H.4). Distinguishes
"syntax error" (genuine Python typo, e.g. PR #13287 motif) from
"markdown typed code" (a markdown blob typed `code`, e.g.
GameTheory-03e-Plan-de-deformation-Python.ipynb cell[7]). Skips IPython
GameTheory-23a-Biens-Publics-Plan-Deformation-Python.ipynb cell[7]). Skips IPython
magics `!`/`%`; allows top-level `await`. Runtime dependency: the
guard's compile() is bound to the worker's interpreter — a 3.10/3.11
worker will false-positive on 3.12+ f-string PEP 701 constructs.
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand Down Expand Up @@ -1188,13 +1188,13 @@
"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"
}
},
"nbformat": 4,
"nbformat_minor": 5
}
}
10 changes: 8 additions & 2 deletions MyIA.AI.Notebooks/GameTheory/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -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) |
Expand Down Expand Up @@ -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
Expand Down Expand Up @@ -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.
Expand Down
2 changes: 1 addition & 1 deletion _quarto.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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"
Expand Down
2 changes: 1 addition & 1 deletion docs/curriculum/recherche.md
Original file line number Diff line number Diff line change
Expand Up @@ -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 |
Expand Down
1 change: 1 addition & 0 deletions docs/reference/rename-ledger.tsv
Original file line number Diff line number Diff line change
Expand Up @@ -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
2 changes: 1 addition & 1 deletion scripts/notebook_tools/check_cell_source_parses.py
Original file line number Diff line number Diff line change
Expand Up @@ -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:
Expand Down
7 changes: 6 additions & 1 deletion scripts/tests/baseline_nb_nav_chain.json
Original file line number Diff line number Diff line change
Expand Up @@ -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",
Expand All @@ -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"
},
{
Expand Down
4 changes: 2 additions & 2 deletions slides/05-theorie-des-jeux/slides.md
Original file line number Diff line number Diff line change
Expand Up @@ -390,7 +390,7 @@ layout: dense
<img src="./images/img_028.png" alt="Resolution de pierre-papier-ciseaux : support des strategies mixtes" style="width:100%; height:100px; object-fit:contain;">
</div>

*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
Expand All @@ -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
Expand Down
Loading