Комбинаторные вопросы, связанные с собирательным процессом Ф. Холла

Аннотация

Пусть $M_1, \ldots, M_r$ --- непустые подмножества произвольного линейно упорядоченного множества. Налагая некоторые ограничения на эти подмножества, мы находим выражение для количества элементов $(\lambda_1, \ldots, \lambda_r) \in M_1 \times \cdots \times M_r$, которые удовлетворяют условию $C$, где $C$ --- пропозициональная формула, состоящая из условий типа $\lambda_i=\lambda_j$, $\lambda_i<\lambda_j$, $i,j \in \overline{1,r}$.