Discussion :

[darkontes]

bonjour bonjour,
voila je suis pas un grand programmateur de CaML light je n'en fais que dans le cadre de ma prepa, donc je pense que la où je coince ne vous posera aucun souci ^^

donc voila j'ai une fonction qui ne marche pas et je viens demander un peu d'aide

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
 
let CheminSolution ClosedList depart cible=
    let L=[cible] in 
        let rec recup_papa papa= function 
            |[]->failwith"cas n'arrivant jamais"
            |a::q when (q1(a))=papa ->a
            |a::q -> recup_papa papa q
        in 
            while (hd(L)<>depart) do
                (recup_papa (q5(hd(L))) ClosedList)::L
            done; 
    in L
;;

cette fonction se trouve a la fin dun algorithme de recherche de chemin le plus court

le principe de cette fonction est
j'ai une closedlist dont les elements sont des quintuplets
chaque quintulpet a son nom en premier element et le nom de son pere en 5e element
la closed list a normalement son premier element qui est "cible" mais cette liste n'est pas triee
le but est de recuperer de fils en pere le chemin qui amene de depart (qui est present dans la closed list) a cible

le chemin etant donc decrit au final par une liste L commencant a depart et finissant a cible et dont les elements de L sont ordonnés de successeurs en successeurs

la fonction q1(a) renvoie le premier element du quintuplet a
q5(a) le cinquieme element du quintuplet a

voici le message d'erreur que je recupere

Toplevel input:
> (recup_papa (q5(hd(L))) ClosedList)::L
> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Warning: this expression has type ('a * 'b * 'c * 'd * 'a) list,
but is used with type unit.
Toplevel input:
> L;;
> ^
The value identifier L is unbound.

je desespere -_-* j'ai essayé de bidouiller en utilisant une ref sur L mais comme en prepa on nous interdit les ref en cours ba resultat je sais meme pas les utiliser et si vous voyez comment faire sans, je suis preneur ^^

bon et puis si vous avez envie de l'essayer sur votre propre compilateur
pour que vous n'ayez pas a les retaper

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
 
let q1 q = let a,z,e,r,t= q in a;;
let q5 q = let a,z,e,r,t= q in t;;

je vous remercie déjà d'avoir eu la patience de lire ce message jusqu'au bout ^^

[Cacophrene]

Bonsoir,

voila je suis pas un grand programmateur de CaML light je n'en fais que dans le cadre de ma prepa

Toutes mes condoléances pour CaML light... Ça c'est pour la médisance du jour.

je desespere -_-* j'ai essayé de bidouiller en utilisant une ref sur L mais comme en prepa on nous interdit les ref en cours ba resultat je sais meme pas les utiliser et si vous voyez comment faire sans, je suis preneur ^^

On t'interdit les références ? En voilà des gens qui sont cool ! Les références, en caml, sont rarement nécessaires. Pas de souci de ce côté-ci.

Pour ton code, quelques remarques :

• Est-ce qu'une liste est très appropriée pour faire ce que tu veux ?
• Que se passe-t-il dans ta boucle while ? Puisque tu veux mettre à jour la variable L (attention aux majuscules, c'est à éviter même si caml-light les autorise), comment procéder sans référence ?

Un truc comme ça, pas testé donc peut-être bogué, peut te donner une piste :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
let q1 (x, _, _, _, _) = x
let q5 (_, _, _, _, x) = x

let chemin_solution liste depart cible =
  let rec recup_papa papa = function
    | [] -> failwith "impossible"
    | a :: q -> if q1 a = papa then a else recup_papa papa q
  and loop res_liste =
    let x = hd res_liste in
    if x = depart then res_liste
    else loop (recup_papa (q5 x) liste :: res_liste)
  in loop [cible]

Cordialement,
Cacophrène

[darkontes]

OOOOOOO magnifique

ca marche

merci beaucoup ^^

j'espere qu'on va plus rebloquer sur des petits trucs comme ca pour notre projet (refaire en CaML l'algorithme A*) mais bon le plus gros de la premiere partie est fait

au fait, BONNE ANNEE TOUT LE MONDE =D

[gasche]

Ça me semble un peu léger pour un projet; je sais que dans certaines prépas, A* est le sujet d'un TD à faire en deux heures (mais on réutilise une file de priorité existante).

[darkontes]

je sais pas trop, on part de rien on a fini de coder l'algorithme A* maintenant on va tenter de l'appliquer sur des graphes representés par des matrices puis on essaiera d'autres trucs on sait pas trop encore

je sais pas si vous connaissez le principe des TIPE : on a de octobre a je sais pas trop quand (mars peut etre?) pour preparer un exposé de 20 minutes (pendant lesquelles on doit s'appuyer uniquement 5 transparents que l'on a preparés) sur un sujet de notre choix relatif au cadre de notre année : mobilité et mouvement
on travaille en binôme dans mon lycee (que je ne nommerai pas ^^)
le sujet que l'on avait initialement choisi etait le pathfinding mais pour l'instant on s'est surtout intéressé a l'A* je sais pas si c'est short ... mais l'idée est de le triturer dans tous les sens et ce qui est complique c'etait surtout de voir comment implementer le graphe et faire notre fonction avec en argument le graphe la cible et le depart

bon apres s'il y a des suggestions, ELLES SONT TOUTES LES BIENVENUES ^^
@bluestorm : je pense que ce qu'on a fait aurait tres bien pu etre fait en 3-4h si on avait ete guidés mais le plus long a surtout ete de savoir ce qu'on voulait faire :s