разделить на минимальное количество групп, таких, что в каждой группе побитовый AND каждой пары даёт 0?
https://en.wikipedia.org/wiki/Clique_cover же
В общем случае да, clique cover сводится к этой задаче
Обсуждают сегодня