10:14

Exemple d'adressage ouvert : les ensembles (set) en python

11:03

Comprendre l'adressage ouvert dans les tables de hachage

05:46

Introduction au chaînage dans les tables de hachage

06:41

Introduction aux tables de hachage

08:00

Comprendre le "Master Theorem"

06:21

Algorithme de Karatsuba

08:15

Exercice corrigé d'algorithmique : les oeufs de dinosaures

07:23

Comprendre le tri comptage

10:28

List Scheduling -- Approximation gloutonne

07:15

Dix petits livres d'informatique théorique

10:03

Tri rapide (Quick Sort)

03:45

Tri par insertion

04:11

Tri bulle

08:42

Algorithme de compression de Huffman

06:02

Lemple-Ziv-Welch Décompression

05:25

Algorithme de Lempel-Ziv-Welch (compression)

10:46

Introduction aux algorithmes d'approximation

04:23

Diviser pour régner en informatique

07:33

Problèmes de décisions, de recherche, d'optimisation

05:15

Problèmes NP-complets

09:12

Réductions de Turing et problèmes polynomialement équivalents

07:33

Mélanger un tableau : Algorithme de FIsher-Yates-Knuth

06:15

Réductions (manyone) polynomiales en calculabilité

11:58

Introduction à la génération aléatoire uniforme récursive

03:43

Problème de partition en triangles

02:21

Introduction au problème de couverture par les sommets -- Vertex Cover

03:02

Comprendre les algorithmes gloutons

02:59

Problème de Partition -- Set Partition

03:24

Problème de l'ensemble dominant dans un graphe -- Dominating Set

02:41

Problème de remplissage de sacs -- BinPacking

04:01

Problème du Sac-à-dos -- KnapSack

04:03

Problème de couverture par des ensembles -- SetCover

07:05

Shuffle, produit de mélange et automates

03:34

Miroir d'un mot et d'un langage

04:13

Automate Miroir

09:59

Comment montrer qu'un langage n'est pas régulier (sans le lemme de pompage)

14:10

Comprendre l'algorithme de Dijkstra (chemin de poids minimal dans un graphe pondéré)

09:39

Comprendre l'algorithme de Rabin-Karp

07:15

Comprendre l'algorithme de Boyer Moore Horspool (dit aussi Boyer-Moore simplifié)

01:49

Graphes réguliers, biréguliers et cubiques

04:10

Comprendre les notions d'isomorphismes de graphes et d'automorphisme de graphes

06:03

Comprendre l'algorithme de Quine (satisfiabilité d'une formule propositionnelle)

04:09

Algorithme Monte Carlo pour vérifier un produit de matrices

04:47

Introduction aux algorithmes probabilistes partie 3 : calcul du médian par une méthode Monte Carlo

04:12

Algorithmes probabiliste partie 2 : Quick Select un exemple de type Las Vegas pour trouver le médian

06:34

Introduction aux algorithmes probabilistes (Las Vegas, Monte Carlo)

05:16

Codage SAT du problème de 3-coloriage (3-COLOR) d'un graphe non-orienté (exemple de codage SAT)

07:16

Courte Introduction aux Automates Probabilistes

08:11

Vivacité dans les réseaux de Petri (transitions mortes, vivantes, quasi-vivantes)

06:51

Littéraux, clauses et formes normales disjonctives et conjonctives (logique propositionnelle)

10:05

Complexite dans le cas le pire

02:34

Réseau de Petri borné, Réseau de Petri Sauf

06:47

Sémantique de la logique propositionnelle (valuation, valeur, tautologie, modèle, interprétation...)

02:41

Comprendre la notion de sous-formule (logique propositionnelle)

04:20

Comprendre la substitution dans une formule propositionnelle

04:50

Vocabulaire des arbres (informatique) : fils, feuilles, noeud interne, binaire, hauteur,...

04:52

Arbres binaires étiquetés définis inductivement

02:35

Arbres d'arité quelconque définis inductivement

09:26

Comprendre les définitions inductives : exemple des arbres binaires complets

03:34

Définition inductive de la logique propositionnelle