Столкнулся с задачей разбиения исходного множества на такие подмножества, чтобы при дополнении одного из них другим получалось исходное. Делаю на хаскеле. Генерить все возможные подмножества умею, но вот выбирать нужные... Наставьте на пусть истинный!