Rangées par dépendance, pas par deck : chaque chaîne suppose les précédentes. Une chaîne = hypothèses → mécanisme → où ça casse → résumé ; un déroulé = la même chaîne sur des exemples chiffrés ; un pont = un mécanisme vu dans plusieurs domaines. Anki teste l'atome ; ici on relit l'enchaînement.
9 · Coding
C00TAP — invariant, variant, conclusion, complexitécoding · coding — le rituel qui rend une solution défendable au tableau ; jamais le code, toujours la preuvev1
C01Fenêtre glissante — fixe, variable, avec budgetcoding · coding — deux pointeurs qui n'avancent que vers la droite ; l'invariant vit sur [l:r+1)v1
C02Deux pointeurs — éliminer une classe à chaque pascoding · coding — sur un tableau trié, chaque comparaison écarte tout un bloc de paires ; sans tri, on majore les deux facteursspec prêt
C03Binary search — le premier vraicoding · coding — un espace monotone, un prédicat, deux bornes qui se referment ; chercher sur la réponse quand elle est monotonespec prêt
C04Listes chaînées — pointeurs qui se suiventcoding · coding — lent/rapide, inversion en place, tête factice : trois invariants sur des flèchesspec prêt
C05Arbres — récursion, parcours, bornescoding · coding — la récursion porte l'invariant ; l'ordre du parcours est le seul choix ; un BST se valide par des bornes, pas par les enfantsspec prêt
C06Graphes — marquer à l'enfilementcoding · coding — parcours = frontière + ensemble de vus ; le seul bug qui compte est de marquer trop tardspec prêt
C07Heap — le top-k par un min-heap de taille kcoding · coding — le plus petit du tas est le seuil d'entrée ; quand les clés sont bornées, un bucket bat le logspec prêt
C08Intervals — trier par début, garder le dernier fusionnécoding · coding — après tri, un seul intervalle en cours suffit ; l'invariant porte sur la liste fusionnéespec prêt
C09DP 1D — un sous-problème par positioncoding · coding — la relation de récurrence est l'invariant ; l'ordre de remplissage et le roulement O(1) en sont les conséquencesspec prêt
C10Préfixes et deque monotonecoding · signal → pattern → invariant → complexitéà venir