* Principiul includerii si al excluderii
* Sisteme de ecuatii liniare (Gauss)
* Simplex (pur si simplu un hill climbing pe mai multe variabile)

* Floyd's cycle finding

* Combinatorica
** Permutari, permutari cu repetitii, aranjamente, combinari, Stirling, Catalan, Bell, Fibonacci
** Trecere de la combinare/permutare la indexul ei si invers

** Codul Pruffer. Numarare de arbori

** Codul Prufer. Numarare de arbori

h3. Geometrie

* Arbori
** Diametrul, centrul unui arbore
** Testare daca doi arbori sunt izomorfi

** Cod Pruffer

** Cod Prufer

* APM
** Prim
** Kruskal
** Al doilea APM
** APM in graf orientat

** Kirchhoff's matrix tree theorem

* Pentru grafuri bipartite: cuplaj maxim, suport minim, multime independenta maxima
* 'LCA':lca-lowest-common-ancestor, RMQ, Level Ancestor, 'Path Decomposition':heavy-path-decomposition
* Colorari de muchii, graf complet/bipartit/oarecare (teorema lui Vizing)
* Grafuri planare
* Grafuri turneu/ciclu hamiltonian

* Implication graph si 2-SAT

h2. Diverse

* Smenu' lui Batog (+ lca in $sqrt(n)$)
* Smenu' lui Mars

h2. Harababura (TODO: de incadrat in categoriile de mai sus/unele noi)
 
* meet in the middle trick
* 2SAT
* matrix tree theorem
* Floyd's cycle finding
* (colored range searching)
 

h2. Carti utile
* Ioan Tomescu