2
Проблема покрытия отношений эквивалентности (в теории графов)
Отношение эквивалентности на конечном множестве вершин может быть представлено неориентированным графом, который является дизъюнктным объединением клик. Набор вершин представляет элементы, а ребро представляет, что два элемента эквивалентны. Если у меня есть граф и графы G 1 , … , G k , мы говорим, что G покрывается G 1 , …