Algorithmique et structures de données : pack de révision

Formulaires, étapes clés de la méthode pour chaque thème et 6 exercices, avec les corrigés complets à la fin.

Nouveaux exercicesRetour au cours

Dans la fenêtre d’impression, choisissez « Enregistrer au format PDF » pour garder une copie sur votre appareil.

1Formules et méthodes

Théorie des graphes

Lemme des poignées de main
Σ deg(v) = 2|E|
Graphes complets
|E(Kn)| = n(n − 1)/2, |E(Km,n)| = m·n
Graphe régulier
|E| = n·k/2
Arbre et forêt
|E| = n − 1, |E| = n − c
Feuilles d’un arbre
L = 2 + Σ (deg(v) − 2) over deg(v) ≥ 3
Euler
circuit : tous les degrés pairs ; chemin : exactement 2 degrés impairs
Circuits hamiltoniens dans Kn
(n − 1)!/2
Mise à jour de Dijkstra
d(v) = min(d(v), d(u) + w(u, v))
Marches de longueur L
(Mᴸ)ij

Méthode

  1. Notez le degré de chaque sommet ; la somme des degrés vaut deux fois le nombre d’arêtes.
  2. Pour les questions d’Euler, vérifiez que le graphe est connexe et comptez les sommets de degré impair.
  3. Pour les arbres, utilisez n − 1 arêtes et le lemme des poignées de main.
  4. Pour Dijkstra, tenez un tableau des distances provisoires et fixez à chaque tour le sommet non fixé de plus petite distance.
  5. Pour un arbre couvrant minimal, triez les arêtes par poids et sautez toute arête qui ferme un cycle (Kruskal), ou faites croître un arbre à partir d’un sommet de départ (Prim).

2Exercices

1.Algorithmes et complexitéMoyen

Un algorithme glouton :

  1. AEssaie toutes les solutions possibles
  2. BN'utilise que la récursivité
  3. CDonne toujours la solution optimale
  4. DFait le meilleur choix local à chaque étape
2.Algorithmes et complexitéDifficile

Qu'a établi le théorème de Cook-Levin ?

  1. ATout problème NP peut être résolu en temps exponentiel
  2. BP est différent de NP
  3. CLe problème de l'arrêt est indécidable
  4. DLe problème de satisfiabilité booléenne (SAT) est NP-complet
3.Structures de donnéesMoyen

Quelle méthode de résolution des collisions stocke les clés en collision dans une liste au sein du même compartiment ?

  1. ALe sondage quadratique (quadratic probing)
  2. BLe sondage linéaire (linear probing)
  3. CLe chaînage séparé (separate chaining)
  4. DLe double hachage (double hashing)
4.Structures de donnéesDifficile

Sous l'hypothèse de hachage uniforme simple, quel est le temps attendu d'une recherche dans une table de hachage à chaînage contenant n clés et m compartiments ?

  1. AO(n)
  2. BO(m)
  3. CO(1 + α), où α = n / m
  4. DO(log n)
5.Théorie des graphesMoyen
ABCDECircuit eulérienChemin eulérien, pas de circuitni l’une ni l’autre

Le graphe connexe a-t-il un circuit eulérien, un chemin eulérien qui n’est pas un circuit, ou ni l’un ni l’autre ? Cliquez sur votre réponse.

|V| = 5|E| = 6
  1. 1Circuit eulérien
  2. 2Chemin eulérien, pas de circuit
  3. 3ni l’une ni l’autre
6.Théorie des graphesDifficile
1101113536110ABCDEF

Utilisez l’algorithme de Dijkstra pour trouver la longueur d(F) du plus court chemin de A à F dans le graphe pondéré.

départ : Aarrivée : F
d(F) =

3Solutions

1.Algorithmes et complexité

Réponse: D · Fait le meilleur choix local à chaque étape

Pourquoi c'est la réponse

Les algorithmes gloutons sont rapides et optimaux pour certains problèmes (par ex. Dijkstra, codage de Huffman), mais pas en général (par ex. le rendu de monnaie avec certains systèmes de pièces).

Réponse

D · Fait le meilleur choix local à chaque étape
2.Algorithmes et complexité

Réponse: D · Le problème de satisfiabilité booléenne (SAT) est NP-complet

Pourquoi c'est la réponse

Cook et Levin ont montré indépendamment que tout problème de NP se réduit à SAT en temps polynomial : SAT a donc été le premier problème NP-complet connu.

Réponse

D · Le problème de satisfiabilité booléenne (SAT) est NP-complet
3.Structures de données

Réponse: C · Le chaînage séparé (separate chaining)

Pourquoi c'est la réponse

Le chaînage conserve une liste chaînée (ou une autre structure) par compartiment ; l'adressage ouvert cherche un autre emplacement libre dans la table elle-même.

Réponse

C · Le chaînage séparé (separate chaining)
4.Structures de données

Réponse: C · O(1 + α), où α = n / m

Pourquoi c'est la réponse

Le calcul du hachage coûte O(1) et la longueur attendue d'une chaîne est α ; maintenir α borné par redimensionnement donne donc un temps attendu en O(1).

Réponse

C · O(1 + α), où α = n / m
5.Théorie des graphes

Réponse: Chemin eulérien, pas de circuit

Euler, Hamilton et arbres : un graphe connexe a un circuit eulérien (chaque arête une fois, retour au départ) quand tous les sommets ont un degré pair, et un chemin eulérien qui n’est pas un circuit quand exactement deux sommets ont un degré impair ; le chemin va alors d’un sommet impair à l’autre. Un circuit hamiltonien visite chaque sommet une fois ; Kn en a (n − 1)!/2. Un arbre à n sommets a n − 1 arêtes, et un graphe connexe à m arêtes conserve un arbre couvrant après suppression de m − n + 1 arêtes.

Degrés

deg(A) = 2, deg(B) = 4, deg(C) = 3, deg(D) = 1, deg(E) = 2

Sommets impairs

C, D → 2
Chemin eulérien, pas de circuit

Réponse

Chemin eulérien, pas de circuit

Le chemin eulérien commence à un sommet impair et finit à l’autre.

6.Théorie des graphes

Réponse: d(F) = 12

Plus courts chemins et arbres couvrants : l’algorithme de Dijkstra fixe un sommet par tour : le sommet non fixé de plus petite distance provisoire. Sa distance est alors définitive, et chaque voisin v reçoit d(v) = min(d(v), d(u) + w(u, v)). L’algorithme de Kruskal construit un arbre couvrant minimal en prenant les arêtes de la plus légère à la plus lourde et en sautant toute arête qui fermerait un cycle ; l’algorithme de Prim fait croître un arbre à partir d’un sommet de départ en ajoutant toujours l’arête la plus légère qui en sort. Un arbre couvrant à n sommets a n − 1 arêtes.

Dijkstra tour par tour

Chaque ligne : le sommet fixé, sa distance définitive, et les voisins dont la distance s’améliore.

A (0): B: 1, C: 10
B (1): D: 14, E: 11
C (10)
E (11): F: 12
F (12)
D (14)

Plus court chemin

A → B → E → F
d(F) = 12

Réponse

d(F) = 12

ExamProblems · examproblems.com/courses/data-structures-and-algorithms