Degré (matrice)

let degre_mat m i =
  let d = ref 0 in
  for j = 0 to Array.length m - 1 do
    if m.(i).(j) then d := !d + 1
  done;
  !d

Degrés : sommet $0\to 2$, $1\to 2$, $2\to 3$, $3\to 2$, $4\to 1$. Somme $=10=2\times 5$ : cinq arêtes, conforme au lemme des poignées de main.