Lorsque les pigeons sont plus nombreux que les trous de pigeons, certains oiseaux doivent partager. Cette évidence — et son inverse — ont des liens profonds avec de nombreux domaines des mathématiques et de l'informatique.