не понимаю, чем плох самый примитивный: сваливаем результаты последовательно берем output данных алгоритмов, откидывая при этом те подмножества, кот. уже получены
При таком подходе будет много таких пар , что одно из подмножеств - подмножество другого. А мы хотим получить что-то максимально близкое к дизъюнктности.