Здравствуйте, toph_bf!
Начать можно со следующего. Чтобы получить наглядное представление о существе поставленной задачи, рассмотрим множество из трёх элементов
Его подмножествами являются множества
которые образуют булеан
будучи, в свою очередь, его элементами. Выражение
представляет собой симметрическую разность
двух элементов этого булеана. По своему смыслу симметрическая разность состоит из элементов множеств
и
не входящих в оба множества одновременно. Перебирая всевозможные симметрические разности элементов булеана, можно установить, что условие
выполняется тогда и только тогда, когда
1) берутся симметрические разности пустого и одноэлементного множеств (их три) из булеана. Например,
и
Количество таких разностей равно
2) берутся симметрические разности одноэлементного и двухэлементного множеств из булеана, причём одноэлементное множество является подмножеством множеств двухэлементного множества, имея с ним один общий элемент. Например,
и
Количество таких разностей равно
3) берутся симметрические разности двухэлементного и трёхэлементного множеств из булеана, причём двухэлементное множество является подмножеством множеств трёхэлементного множества, имея с ним два общих элемента. Например,
и
Количество таких разностей равно
Суммируя перечисленные количества симметрических разностей, получим, что при
искомое число упорядоченных пар элементов булеана, симметрическая разность которых имеет единичную мощность, составляет
Чтобы продвинуться дальше в решении задачи, есть смысл рассмотреть, что получается при
а потом, возможно, перейти к общему случаю, используя формулы из комбинаторики.
С уважением.
Об авторе:
Facta loquuntur.