Question Logique ?

[franceacer]

Bonjour tout le monde,


J'ai une question à vous poser. Merci pour m'aider ! Merci.

On a un ensemble avec ordre comme ca : a< c< d< b
après on construit une liste triplet: [ (a,c,d) ; (a,c,b); (a,d,b); (c,d,b) ]

Question ?

1. Si on a une liste, comment on fait pour déduire ensemble avec l'ordre ? Quel algorithme ?
2. Comment pour déduire un couple quelconque (x,y) appartient la liste où y est le successeur de x ?

[bruce.ml]

Salut franceacer,

si tu pouvais employer le français pour poser tes questions je me ferais un plaisir de t'aider. Là je sens que je vais passer plus de temps à éssayer de comprendre ce que tu as bien voulu dire qu'à faire de la logique ...

[franceacer]

Bonjour

J'ai une question à vous poser. Merci pour m'aider ! Merci.

On a un ensemble ordonné (1) : a< c< d< b

on construit une liste triplet de successeur (2) :
(a,c,d)
(a,c,b)
(a,d,b)
(c,d,b)

Question ?

1. Comment on peut passer de (1) à (2) ou de (2) à (1) ?
2. D'après (2), si on a un couple (x,y) quelconque . Est-ce que (x,y) appartient la liste où y est le successeur de x ?

[leon1789]

de (1) à (2) : en effaçant des lettres
a< c< d< b
a< c< d< b
a< c< d< b
a< c< d< b

de (2) à (1) : en lisant sur la première colonne
(a,c,d)
(a,c,b)
(a,d,b)
(c,d,b)
(d,b,_)
(b,_,_)

Après, je ne comprends pas...