Похожие чаты

Вопрос на базовую комбинаторику, но что-то я туплю сильно. Допустим,

у нас есть универсум Dom и коллекция его подмножеств (назовем ее Х), такая что X — это разбиение Dom, замкнутое относительно взятия объединений. Ну то есть например Dom = {1,2,3}, X = { {1}, {2,3}, {1,2,3}}. Вопрос в следующем: если мы знаем, что X конечно, каких кардинальностей может быть X? Ну то есть, например, кардинальность Х может быть 1, если X = {Dom} или кардинальность Х может быть 3, если X = {Y, Dom\Y, Dom}, но кардинальность X никак не может быть 2. Так вот по какой формуле можно рассчитать ряд натуральных чисел, репрезентующих возможные кардинальности Х?

2 ответов

13 просмотров

Стикер

пільнуй-сабаку Автор вопроса

коряво выразился: X содержит в себе разбиение Dom и само X замкнуто относительно объединений, то есть помимо разбиения в X лежат все множества, которые мы можем получить через объединения элементов разбиения. Например, если мы разбили Dom на {A, B, C}, то в X будет 7 элементов: {A, B, C, AUB, AUC, BUC, AUBUC}

Похожие вопросы

Обсуждают сегодня

А кто-то пробовал, уезжая из Эстонии получить э-рез и продолжить вести предпринимательскую деятельность внутри Эстонии, используя свой OÜ?
Lalalashechki Lalala
57
@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Does anyone here have a connection Mullvad? it would be nice to know what it would take to have them accept BCH 0-conf.
tl121x
16
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Подобного рода ;Следующие три строки это директивы ассемблера, ;которые можно не задавать, т.к.работаем в Visual Studio. ;Символ ";" - это начало однострочного комментария ...
Егор Анелькин
3
Can an XMR transaction be tracked from its sender to its receiver by performing blockchain analysis, no matter how many addresses are used?
Trkz342
15
I arrived here after a Chico Crypto show highlighted the project & the Team - the fact that the Team had a long history of successfully working with household names gave me e...
Banter is Bullish
5
Dear super pioneers 🥳🥳: I want to purchase a hosting plan for a website where video games, metaverse, AI avatars, videos, and heavy virtual twins can be uploaded, which I wan...
Guapi
10
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
Карта сайта