Skip to content

Add: interpretation cells for Search-4 LocalSearch-Csharp (N-Queens benchmark, exos) - #14037

Merged
jsboige merged 2 commits into
mainfrom
feature/search4-csharp-pedagogy-enrich
Sep 2, 2026
Merged

jsboige merged 2 commits into
mainfrom
feature/search4-csharp-pedagogy-enrich

Conversation

@jsboige

@jsboige jsboige commented Sep 1, 2026 •

Copy link
Copy Markdown
Owner

Grain: MED/notebook-dotnet — lane myia-po-2027:CoursIA — prev: MED/notebook-python #14009 (substance distincte : autre famille, C# et non Python, lectures à dominante méthodologie-du-voisinage, pas méthodologie-de-mesure)

Sujet

Search-4-LocalSearch-Csharp.ipynb sortait à 947 c/cell (seuil 1200). Ajout de 5 cellules markdown d'interprétation, chacune ancrée aux outputs committés ou à la structure du code explicitement citée. Le notebook porte déjà des interprétations aux cellules [3],[5],[7],[9],[11],[14],[16],[18],[20] ; les insertions couvrent les zones de code sans interprétation adjacente :

# Position Contenu ancré
1 après l'encodage N-Reines reines[i] = colonne de la reine de la ligne i = permutation → une reine par ligne/colonne par construction, donc seuls les conflits diagonaux restent (la démo rend 6 conflits initiaux) ; objectif Conflits = compteur de diagonales, 0 = solution ; espace n! (pas n^n)
2 après Benchmark 8-Reines (15 essais) : HC 7/15 (47 %), SA 15/15 (100 %), Tabu 15/15 (100 %) · 20-Reines (10 essais) : HC 4/10 (40 %), SA 10/10 (100 %), Tabu 10/10 (100 %) : HC glouton se coince dans les minima locaux, et la chute 47→40 % quand N monte montre que plus le problème est grand, plus HC se coince ; SA (température accepte les dégradations) et Tabu (mémoire interdit de rejouer les coups récents) atteignent 100 % ; warning CS0219 (itérateurs itHC/itSA/itTS comptés jamais utilisés) = reliquat, code non modifié
3 après l'Exercice 1 Random-Restart adaptatif : break dès que le coût passe sous le seuil ; la vraie calibration est qualité visée vs budget de relances ; stub pass → à compléter
4 après l'Exercice 2 liste tabou → mémoire à long terme (diversification, interdire des attributs/mouvements anciens) ; sur N-Reines, sert quand la liste courte recompute un optimum local déjà vu
5 après l'Exercice 3 re-comparer les trois programmes de refroidissement sur les N-Reines (en plus de la fonction 1D de la section 3) : le meilleur 1D n'est pas forcément le meilleur sur un paysage de permutations — No Free Lunch des schémas de température

Validation

jsboige and others added 2 commits September 1, 2026 12:30
…enchmark, exos)

Enrichissement markdown-only : 5 cellules d'interpretation, chacune ancree aux
outputs commites (encodage par permutation -> 6 conflits diagonaux initiaux ;
benchmark HC 7/15 vs SA/Tabu 15/15 sur 8-Reines, 4/10 vs 10/10 sur 20-Reines)
ou a la structure explicitement citee. Code byte-identique (13/13 cellules).
Densite 947 -> 1266 c/cell (seuil 1200).

Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
Attestation (post-commit, blobs HEAD) de la paire search-4-localsearch apres
l'enrichissement markdown-only du cote C# (PR de contenu associee). Seul le
csharp_sha/content_csharp_sha bougent ; content_python_sha intact -> aucun
drift du cote Python.

Co-Authored-By: Claude Sonnet 4.6 (1M context) <noreply@anthropic.com>
@github-actions

github-actions Bot commented Sep 1, 2026

Copy link
Copy Markdown
Contributor

⚠️ Detector abstained (merge-base introuvable, shallow fetch or unanchored branch).

c.415 (#11873): scope = notebooks CHANGED in this PR, not the whole corpus.
See python scripts/check_markdown_claims_output.py --help for re-running locally.
Detector rationale: c.290 / c.331 / PR #11435 pathologie.

@github-actions

github-actions Bot commented Sep 1, 2026

Copy link
Copy Markdown
Contributor

Golden-Set Execution (H.7 P3)

✅ 8/8 notebooks passed (certified reproducible)

Notebook Status Time
2.1-Workflow-ML.ipynb ✅ SUCCESS 5.3s
2.2-Descente-de-gradient.ipynb ✅ SUCCESS 4.1s
2.3-Regression-lineaire-logistique.ipynb ✅ SUCCESS 5.1s
2.4-Arbres-Forets-Ensembles.ipynb ✅ SUCCESS 4.9s
Search-1-StateSpace.ipynb ✅ SUCCESS 3.8s
SL-1-LogicalLearning.ipynb ✅ SUCCESS 2.7s
rl_4_multi_armed_bandits.ipynb ✅ SUCCESS 25.9s
GameTheory-04c-NashExistence-Python.ipynb ✅ SUCCESS 3.4s

Pinned lockfile: scripts/notebook_tools/golden_set.lock.txt (H.7 P3, axe A #4208)

@github-actions

github-actions Bot commented Sep 1, 2026

Copy link
Copy Markdown
Contributor

Bash Syntax Advisory — shebang / executable-bit warnings

See the Shebang + dry-run advisory job log for the per-file ::warning:: lines. Non-blocking.

@github-actions

github-actions Bot commented Sep 1, 2026

Copy link
Copy Markdown
Contributor

Notebook PR Validation: PASS

  • Notebooks checked: 1
  • Code cells validated: 13
  • Result: All passed

Checks: H.1 (no errors), H.3 (execution_count), C.1 (no banned patterns)
Non-Python kernels (.NET/Lean): C.1 + errors only (execution_count advisory)
QuantConnect notebooks: C.1 + errors only (require QC Cloud for execution)

@jsboige
jsboige merged commit 0df85d5 into main Sep 2, 2026
64 of 66 checks passed
@jsboige
jsboige deleted the feature/search4-csharp-pedagogy-enrich branch October 16, 2026 12:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant