Sommets accessibles

let accessibles adj depart =
  let n = Array.length adj in
  let vu = Array.make n false in
  let rec visite s =
    if not vu.(s) then begin
      vu.(s) <- true;
      List.iter visite adj.(s)
    end
  in
  visite depart;
  vu

Le tableau vu en fin de parcours marque exactement les sommets atteignables. On a retiré l'accumulation de l'ordre : seule l'atteignabilité importe.