Discussion :

[toetoe]

bonjour,

ça fait une journée que je bloque sur une fonction valide.En fait, voila le probleme :
un graphe est constitué d'un ensemble d'elements (sommets : ici il est precisé que ce sont des entiers) et un ensemble de liaisons .Ces liaisons sont dans un sens unidirectionnels ,exemple:
1 -> 2 -> 5
^ ^
| |
6 ---> 7
pour faciliter les choses , on represente un graphe par une liste (int*int list)list.
dans l'exemple qui precede : [1,[2];2,[5];7,[5],6[1;7]]
Pour etre valide la description d’un graphe doit verifier la propriete que les listes d’adjacence ne doivent contenir que des num´eros de sommets existants.
je serais reconnaissant pour tout aide .
merci.

[drunkskater]

Salut,

est-ce que tu pourrais mettre ce que tu as fait et dire où ça bloque exactement ?

[aubanel]

Salut,

est-ce que tu pourrais mettre ce que tu as fait et dire où ça bloque exactement ?

Vu le titre, ça bloque plus sur l'algorithme que sur l'implémentation.
Une piste: fais le en deux passes.
Dans la première tu extrais tous les sommets et les stocke de façon à pouvoir facilement savoir si un sommet donné y est ou non. Le module Set de ocaml peut t'être utile si tu sais t'en servir. Sinon rabats toi sur une simple liste.
Je te laisse imaginer la deuxième passe.