Discussion :

[MeTaLCaM]

Bonjour à tous !

Voilà dans mon cours j'ai un exemple de fonction qui est le suivant :

Code :

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

1
2
3
4
5
6
7
(defun ensemble (liste)
    (cond
        ((null liste) t)
        ((member (car liste) (cdr liste)) ())
        (t (ensemble (cdr liste) ) )
    )
)

Et donc apparemment cette fonction teste si une liste est un ensemble (pas de doublons).

Quand on fait :

Code :

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

ensemble '(a b c d e f g)

Ca m'affiche t

Et quand on fait :

Code :

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

ensemble '(1 2 (1 2 3) 2 (3 4))

Ca m'affiche NIL ou ()...

Bref il y a UN truc que j'arrive pas à saisir, c'est ça :

Code :

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

1
2
    (cond
        ((null liste) t)

On va tester une première condition qui est de savoir si la liste passée en paramètre est nulle... Pourtant dans le premier cas, la liste n'est pas nulle (à moins qu'une liste sans doublons est considérée comme une liste nulle)...




Et il y a un autre exemple qui me turlupine c'est celui là :

Code :

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

1
2
3
4
5
6
7
(defun member (x liste)
	(cond
		((null liste) ())
		((equal (car liste) x) liste)
		(t (member x (cdr liste) ) )
	)
)

C'est une fonction qui teste si un élément est présent dans une liste

Quand on fait :

Code :

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

member 'a '(b d a f g)

ça affiche (a f g)

Et quand on fait :

Code :

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

member '3 '(2 5 9)

ça affiche ()

Donc là c'est à peu près le même genre d'incompréhension, il teste une première fois si la liste est nulle, mais elle n'est jamais nulle oO.. enfin il n'est pas censé savoir que l'élement passé en premier paramètre ne se trouve pas dans la liste avoir d'être passé dans les autres tests... Donc je comprend vraiment pas là je suis un peu perdu :/

[Garulfo]

Bonjour à tous !

Voilà dans mon cours j'ai un exemple de fonction qui est le suivant :

Code :

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

1
2
3
4
5
6
7
(defun ensemble (liste)
    (cond
        ((null liste) t)
        ((member (car liste) (cdr liste)) ())
        (t (ensemble (cdr liste) ) )
    )
)

Et donc apparemment cette fonction teste si une liste est un ensemble (pas de doublons).

Exact… au   près

[...]
Bref il y a UN truc que j'arrive pas à saisir, c'est ça :

Code :

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

1
2
    (cond
        ((null liste) t)

On va tester une première condition qui est de savoir si la liste passée en paramètre est nulle... Pourtant dans le premier cas, la liste n'est pas nulle (à moins qu'une liste sans doublons est considérée comme une liste nulle)...

Mais où est-ce un problème ? La première condition n'est pas valide, donc il passe à la seconde. Celle-ci ne l'est pas donc il passe au cas par défaut. Cette fois-ci la condition est trivialement vraie donc on applique l'appel récursif. Si tu n'as pas compris ça il faut revoir la partie sur la récursivité.

Finalement c'est l'algorithme que tu ne comprends pas.

[...]
Donc là c'est à peu près le même genre d'incompréhension, il teste une première fois si la liste est nulle, mais elle n'est jamais nulle oO.. [...]Donc je comprend vraiment pas là je suis un peu perdu :/

Il y a aussi un appel récursif. Si la fonction est appelé avec un paramètre non vide tu pourras remarquer qu'un des appels à venir finira par remplir la première ou la deuxième clause (cas de base de la récursivité).

Je pense vraiment que tu as un problème à comprendre un algorithme récursif et non une implémentation en Lisp.

[MeTaLCaM]

Je viens de comprendre en fait... L'instruction avec null est vraie tout à la fin, une fois que la liste est belle est bien vide puisqu'on en enlève un bout à chaque passage (appel récursif)... C'est ça que j'avais pas saisi.

Merci en tout cas

[Garulfo]

Je viens de comprendre en fait... L'instruction avec null est vraie tout à la fin, une fois que la liste est belle est bien vide puisqu'on en enlève un bout à chaque passage (appel récursif)... C'est ça que j'avais pas saisi.

Merci en tout cas

Tout à fait. Félicitations.