Adloun

API de base

Exercice · OCaml (option informatique), chapitre 19 — Files de priorité : le tas binaire

Énoncé

Écrire cree, est_vide et minimum.

Corrigé

let cree capacite = { taille = 0; donnees = Array.make capacite 0 }
let est_vide t = t.taille = 0
let minimum t = if est_vide t then failwith "tas vide" else t.donnees.(0)

minimum se lit en donnees.(0) (la racine) en temps constant : c'est l'invariant du tas. La capacité fixe le nombre maximal d'éléments (tableau de taille fixe).

Les autres exercices de ce chapitre Le cours du chapitre

Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.