° Dîner des philosophes. – Problème posé et résolu en 1965 par Edsger Dijkstra (1930-2002) : Une table circulaire a été dressée à l'intention de trois philosophes avec trois chaises, trois assiettes et trois fourchettes. Chaque philosophe peut prendre une chaise et manger s'il dispose de deux fourchettes de chaque côté de son assiette. Après avoir mangé, il pose les fourchettes à leur place et quitte la table. Il peut faire ce cycle d'opérations tant qu'il le veut. Comment faire pour que les philosophes mangent autant de fois qu'ils le veulent ? 

De fait, un seul philosophe peut manger à la fois. Si deux philosophes, persistent à vouloir manger en même temps, aucun ne peut le faire.

Ce problème trivial sert à illustrer la pertinence des réseaux parallèles qui permettent d’éviter les blocages. Il a permis de développer le calcul parallèle. Il appartient à la classe des récréations topologiques.

© Charles-É. Jean

Index : P