Sorting wild pigs
Trier des cochons sauvages
Résumé
Chjara, breeder in Cargèse, has n wild pigs. She would like to sort her herd by weight to better meet the demands of her buyers. Each beast has a distinct weight, alas unknown to Chjara. All she has at her disposal is a Roberval scale, which allows her to compare two pigs only at the cost of an acrobatic manoeuvre. The balance, quite old, can break at any time. Chjara therefore wants to sort his herd in a minimum of weighings, but also to have a good estimate of the result after each weighing.
To help Chjara, we pose the problem of finding a good anytime sorting algorithm, in the sense of Kendall's tau distance between provisional result and perfectly sorted list, and we bring the following contributions:
- We introduce Corsort, a family of anytime sorting algorithms based on estimators.
- By simulation, we show that a well-configured Corsort has a near-optimal termination time, and provides better intermediate estimates than the best sorting algorithms we are aware of.
Chjara, éleveuse à Cargèse, possède n cochons sauvages. Elle aimerait trier son troupeau par poids afin de mieux satisfaire les demandes de ses acheteurs et acheteuses. Chaque bête a un poids distinct, hélas inconnu de Chjara. Elle n'a à sa disposition qu'une balance de Roberval, qui ne lui permet de comparer deux porcins qu'au prix d'une manœuvre acrobatique. La balance, assez vétuste, peut se briser à tout moment. Chjara veut donc trier son troupeau en un minimum de pesées, mais aussi avoir une bonne estimation du résultat après chaque pesée.
Pour aider Chjara, nous posons le problème de la recherche d'un bon tri interruptible, au sens de la distance tau de Kendall entre résultat provisoire et liste parfaitement triée, et nous apportons les contributions suivantes :
- Nous introduisons Corsort, une famille de tris interruptibles reposant sur des estimateurs.
- Par simulation, nous montrons qu'un Corsort bien configuré a un temps de terminaison quasi-optimal, et fournit de meilleures estimations intermédiaires que les meilleurs tris dont nous avons connaissance.
Origine | Fichiers produits par l'(les) auteur(s) |
---|