Skip to content

Fix(complexity,#22997): « certicat » -> « certificat » aux deux sites du carnet 03c #23289

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jsboige merged 1 commit into from
Oct 30, 2026
Merged

Fix(complexity,#22997): « certicat » -> « certificat » aux deux sites du carnet 03c #23289

Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
4 changes: 2 additions & 2 deletions MyIA.AI.Notebooks/Complexity/Complexity-03c-ComplexityZoo-Navigation-Python.ipynb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -153,7 +153,7 @@
"La ligne du Zoo la plus citée — $L \\subseteq NL \\subseteq P \\subseteq NP \\subseteq PSPACE$ — est\n",
"d'ordinaire une affirmation. Ici, **chaque arête porte un témoin exécutable** :\n",
"\n",
"- $L \\subseteq NL$ : l'atteignabilité $s \\leadsto t$ décidée par un **vérificateur certicat lu une fois**,\n",
"- $L \\subseteq NL$ : l'atteignabilité $s \\leadsto t$ décidée par un **vérificateur certificat lu une fois**,\n",
" dont la mémoire de travail hors certificat tient en deux compteurs $O(\\log n)$ — contre le DFS déterministe\n",
" dont la pile grandit avec le graphe ;\n",
"- $NL \\subseteq P$ : le même problème décidé par parcours déterministe, temps mesuré ;\n",
Expand Down Expand Up @@ -1058,7 +1058,7 @@
"### Exercice 1 — 2-SAT côté NL\n",
"\n",
"L'atteignabilité est NL-complète, et 2-SAT se réduit à l'atteignabilité dans le graphe d'implications.\n",
"Écrire le vérificateur certicat-lu-une-fois qui décide 2-SAT : le certificat est la suite des sommets\n",
"Écrire le vérificateur certificat-lu-une-fois qui décide 2-SAT : le certificat est la suite des sommets\n",
"d'un chemin dans le graphe d'implications witnessant (ou réfutant) la satisfiabilité, la mémoire de\n",
"travail reste bornée en $O(\\log n)$ mots.\n",
"\n",
Expand Down
Loading