Gale i Shapley (1962) pokazali, że w przypadku dwóch równolicznych
zbiorów osób, które mają określone preferencje odnośnie do osób z
drugiego zbioru, zawsze można znaleźć stabilny przydział (skojarzenie),
a nawet, że można to zrobić w wielomianowym czasie. Knuth (1976) zadał
pytanie, czy tę cechę mają również zadania, w których występują co
najmniej trzy grupy osób. Dość szybko okazało się, że nie zawsze. Od
tamtej pory wiele osób zastanawiało się, jaki układ preferencji
gwarantuje istnienie stabilnego przydziału. W trakcie wystąpienia
opowiem o tych rozważaniach.