Voici un certain nombre de tache à éxécuter le matin avant de sortir de chez soi : (1) se lever, (2) verser son lait au chat, (3) partir, (4) s'habiller, (5) se reveiller, (6) prendre son petit-déjeuner, (7) se laver. Question:
1- Définir un ordre partiel sur ces sept éléments.
2- Tracer le diagramme de Hasse de cet ordre.
3- Appliquer l'algorithme de linéarisation à cet ordre de sorte à en trouver une extension linéaire.
4- En existe-t-il d'autres? Pourquoi?
j'ai tenter de faire l'exercice mais je me suis rendu compte que j'ai du mal à chaque question car je ne sais pas par ou commencer pour y répondre.. 
salut
se réveiller semble être la première action et partir la dernière
donc on a : (5) < (1), (5) < (2) , ..., (5) < (7)
et (1) < (3), (2) < (3), ..., (7) < (3)
comment peux-tu ordonner les autres actions ?
Bonjour,
On peut juste être persuadé qu'on s'habillera après s'être lavé et non avant !
Le reste cela dépend du caractère du chat .....
bonjour construit
ton ordre partiel ici (mais c'est pas une obligation* mais pour ton exo oui c'est une obligation
est une espece d'arbre
donc le tronc central est (5) -> (1)
apres tu peut donner à manger à ton chat ou pas
t'habiller ou pas
etc ... tout ça se sont des branches et chaque branches constitue une serie de tâches particuliere pour une journée donnée
*des fois un ordre partiel R peut tres bien être un ensemble quotien E/R où chaque élément (sous ensemble) de E/R constitue un ordre total sur tout élément de E/R
mais ici c'est pas possible car tous les matins tu doit te reveiller et te lever avant de sortir
Oui mais le probleme c'est que je ne sais pas sous quel forme je doit présenter mon résultat. J'ai voulu écrit comme ordre partiel {5,1,7,4,6,2,3}.
Mais je suis sur que c'est pas sous cette forme que je doit présenter la chose pour etre en adequation avec la question posée ^^'
construit des ensembles qui sont des parties de {1,2,3,4,5,6,7}
et tels que ces parties possedent toujours au moins les elements 5,1, et 3
et sur toute ces parties construit un ordre total tel que 5>1>...>3
une fois que cela sera fait tu verra plus clair pour formaliser cela
à propos tu doit aussi savoir la formule qui te donne la quantité de parties de E qui possedent toujours les mêmes
x elements
quantité = où n est le cardinal de E
pour t'aider à finir à formaliser tout ça une fois que tu aura fais ce que je viens de dire cette formule t'aidera
pour faire ton algo
J'ai mis ensemble les élément qui pour moi pourrait être plus ou moins logique et j'ai :
(5,1) (1,2) (1,3) (1,4) (1,5) (1,6) (1,7)
c'est pas lisible camarade
1- Définir un ordre partiel sur ces sept éléments.
pour definir un ordre partiel tels que les conditions de ton exo (donc c'est pas tout ordre partiel n'importe lequel mais celui de ton exo) tu doit construire des parties de ton ensembles E={1,2,3,4,5,6,7}
telle que :
-toutes ces parties possedent les elements 5,1,3
-toutes ces parties possedent une relation d'ordre total et tel que 5>1>...>3
Pourquoi ils devraient tous avoir 5,1,3?
Par exemple la correction de l'exercice, le professeur donne:
(5,1),(1,7),(1,6),(1,2),(7,4),(4,3),(6,3),(2,3)
Pourquoi cela défini un ordre partiel ?
...n'oublie pas non plus que cela ne constituera pas tout ordre partiel possible car par exemple
si tu est bien toujours obligé de te reveiller avant de te lever certaine commande possedent une permutation
5>1>x>y>z>3
tu peut tres bien construire (mais pour la question 1 on te le demande pas)
un autre ordre partiel tel que là tu aura
5>1>y>x>z>3
x y et z étant permutables
je viens de voir ton post et ta correction donnée par ton prof
(5,1),(1,7),(1,6),(1,2),(7,4),(4,3),(6,3),(2,3)
c'est bien je le lit
ça donne un ordre 5>1>7>4>3
5>1>6>3
etc ...
oui c'est bon
Tu pourrait me donner un exemple et me dire pourquoi il marche et pas un autre ? Par ce que je vois vraimen pas comment m'y prendre pour que se soit bon
comprend tu comment il fonctionne ?
(5,1),(1,7),(1,6),(1,2),(7,4),(4,3),(6,3),(2,3)
dans tout couple (x,y) l'element x est anterieur à l'element y
et pour tout binome de couples tel que tu voit (x,y) et (y,z)
alors x est anterieur à y et y est anterieur à z
tu remarque que sur la correction là
tout commence par 5>1> et fini par> 3
bonsoir
le seul souci avec l'"ordre" proposé par ton prof, c'est que .... ce n'est pas un ordre !
une relation d'ordre est une relation réflexive, transitive et antisymétrique
celle là n'est manifestement pas réflexive.... et n'est pas transitive non plus .....
il ne confondrait pas ordre partiel avec ordre strict, ton prof ?
J'ai fait un arbre avec et je vois bien les différent chemin et il faut absolument que la fin de chaque chemin soit le même élément? Je pense avoir compris si c'est bien cela, Par exemple :
Si l'on me donne {1,2,3,4,5,6,7,8,9}:
un ordre partielle possible pourrait être :
(7,1) (7,2) (7,3) (1,6) (2,4) (3,5) (6,8) (4,8) (5,8)
Oui, la remarque concernant l'ordre est aussi quelque chose que je me demandait.. Mais le professeur en question je devrais l'avoir l'an prochain, je bosse ces cours pour prendre de l'avance a vrais dire donc je ne pourrait pas te dire si il confond ou si il l'a fait exprès :/
en fait même s'il confond ça ne colle pas : un ordre strict est aussi transitif
sa relation ne l'est pas
pardon je voulais dire
oui Camarade Lafol (bonjour)
et non oui à ta question qui s'adressai au camarade BIBJUJU
Un ordre ≤ est dit total quand on a : x ≠ y ⇒ ( x ≤ y ou y ≤ x ) c'est à dire lorsque deux éléments quelconques sont toujours comparables.
Un ordre non total est dit partiel.
voila le passage de cour ou il en parle
donc pour lui un ordre partiel ou total est bien un ordre : transitif, réflexif et antisymétrique
étrange, son corrigé, dans ces conditions
...peut être que c'est pour un programme informatique
et le fait de definir par exemple le couple (x,z) n'est pas important si on a les deux couple (x,y) et (y,z)
le programme effectuant x puis y puis z
ni non plus important de definir le couple(x,x)
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :