Une citation mémorable du film Proof

Avant que quiconque ne m'envoie des messages haineux, je tiens à dire que je n'ai pas aimé ce film. La performances des acteurs est mauvaise, l'histoire, peu enivrante. Certaines personnes ont comparé ce film à A Beautiful Mind, ce que je n'arrive pas à comprendre. Outre le fait que les deux films parlent de mathématiciens un peu cinglés, il n'y a rien en commun entre eux : un est un chef-d'oeuvre, l'autre est un film dont on aurait pu se passer.

Les seuls points positifs de Proof sont la présence, toujours réjouissante, de Anthony Hopkins (ou devrais-je dire Sir Anthony Hopkins) dont la performance est merveilleuse, et cette citation du mathématicien fou :

Let X equal the quantity of all quantities of X. Let X equal the cold. It is cold in December. The months of cold equal November through February. There are four months of cold, and four of heat, leaving four months of indeterminate temperature. In February it snows. In March the Lake is a lake of ice. In September the students come back and the bookstores are full. Let X equal the month of full bookstores. The number of books approaches infinity as the number of months of cold approaches four. I will never be as cold now as I will in the future. The future of cold is infinite. The future of heat is the future of cold. The bookstores are infinite and so are never full except in September...

Le problème du contrôle de groupes d'ascenseurs

Ceux qui ont déjà eu à prendre un ascenseur pour se rendre sur leur lieu de travail quotidiennement savent à quel point il peut y avoir de l'achalandage pour monter dans ces machines. Aux heures de pointe, il peut y avoir des gens qui veulent monter du rez-de-chaussée à presque tous les étages et des gens déjà à des étages supérieurs qui veulent changer d'étage.

Lorsqu'il n'y a qu'un ascenseur, il est assez facile de gérer ses déplacements. Une façon de faire assez répandue est de donner la priorité au demandes faites dans la cabine (c'est-à-dire par les personnes qui sont déjà dans l'ascenseur) et de s'arrêter aux étages où une demande de service dans la même direction (monter ou descendre) a été faite. Si personne n'est dans l'ascenseur, on répond en priorité à la première demande faite.

S'il y a plusieurs ascenseurs, comme c'est le cas dans les grandes tours à bureaux, la situation est différente. On peut gérer chaque ascenseur indépendamment, mais cela est loin d'être optimal. Une personne qui veut monter fera une demande de service à chaque ascenseur et monopolisera ainsi tous les ascenseurs. Pour éviter cela, on doit contrôler le groupe d'ascenseur comme un seul et unique système. Cependant, ce système est très complexe et il est difficile à optimiser.

Entre autres difficultés, l'arrivée des demandes est aléatoire de même que les destinations. Il faut minimiser le temps de transit de chaque passager de même que le temps d'attente. On peut aussi demander à minimiser certains paramètres reliés à l'usure ou aux coûts d'opération.

Plusieurs approches algorithmiques différentes ont été prises pour aborder le problème. Une simple recherche sur Google donne de nombreux liens vers des articles qui proposent des approches évolutives, neuronales, et autres. Je vous tiendrez au courant de mes lectures...