tri

Utilisation à l'épreuve de modélisation de l'agrégation de mathématiques

Modérateur : xcasadmin

parisse
Messages : 5112
Inscription : mar. déc. 20, 2005 4:02 pm
Contact :

tri

Message par parisse » lun. mars 17, 2008 10:19 am

Une precision importante pour la fonction sort de Xcas lorsqu'on lui passe en 2eme argument une fonction pour trier.
Cette fonction doit alors etre un ordre strict faible. Plus precisement, un ordre strict faible est irreflexif (f(x,x) est faux), antisymetrique et transitif, et la relation definie par a R b si et seulement si f(a,b) et f(b,a) sont simultanement faux doit etre une relation d'equivalence (autrement dit f(x,y), f(y,x), f(y,z), f(z,y) faux doit entrainer f(x,z), f(z,x) faux).
Pour plus de details
http://www.sgi.com/tech/stl/StrictWeakOrdering.html

Répondre