Вопросы к Поиску с Алисой
Возможно, имелась в виду лемма Холла, или теорема о свадьбах — критерий, который используют при решении задач, где нужно проверить, что паросочетание существует, но при этом не требуется строить его явно. ru.algorithmica.org
Суть леммы Холла заключается в том, что полное паросочетание существует тогда и только тогда, когда любая группа вершин левой доли соединена с не меньшим количеством вершин правой доли. ru.algorithmica.org
В комбинаторной формулировке лемма Холла отвечает на вопрос, может ли элемент быть выбран из каждого набора без повторения. en.wikipedia.org Условие леммы состоит в том, чтобы для любой группы наборов из коллекции общее количество уникальных элементов, которые они содержат, было как минимум таким же большим, как количество наборов в группе. en.wikipedia.org