В теории графов , разделе математики , граф кластера — это граф, образованный из несвязного объединения полных графов . Эквивалентно, граф является графом кластера тогда и только тогда, когда он не имеет трехвершинного индуцированного пути ; по этой причине графы кластера также называются графами без P 3 . Они являются дополнительными графами полных многодольных графов [1] и степеней 2-листа . [2] Графы кластера транзитивно замкнуты , и каждый транзитивно замкнутый неориентированный граф является графом кластера. [3]
Кластерные графы — это графы, для которых смежность является отношением эквивалентности , а их связные компоненты — классами эквивалентности для этого отношения.
Каждый кластерный граф является блочным графом , кографом и графом без клешней . [1] Каждое максимальное независимое множество в кластерном графе выбирает одну вершину из каждого кластера, поэтому размер такого множества всегда равен количеству кластеров; поскольку все максимальные независимые множества имеют одинаковый размер, кластерные графы хорошо покрыты . Графы Турана являются дополнительными графами кластерных графов, со всеми полными подграфами равного или почти равного размера. Локально кластеризованный граф (графы, в которых каждая окрестность является кластерным графом) являются ромбовидными графами , другим семейством графов, которое содержит кластерные графы.
Когда граф кластера формируется из клик, которые все имеют одинаковый размер, общий граф является однородным графом , что означает, что каждый изоморфизм между двумя его индуцированными подграфами может быть расширен до автоморфизма всего графа. За исключением только двух случаев, графы кластера и их дополнения являются единственными конечными однородными графами, [4] и бесконечные графы кластера также образуют один из небольшого числа различных типов счетно бесконечных однородных графов. [5]
Подраскраска графа — это разбиение его вершин на индуцированные кластерные графы. Таким образом, кластерные графы — это в точности графы субхроматического числа 1. [6]
Вычислительная задача поиска небольшого набора ребер для добавления или удаления из графа для преобразования его в кластерный граф называется кластерным редактированием. Она является NP-полной [7], но поддается обработке с фиксированными параметрами . [8]
При наличии полного графа со стоимостью ребер (положительной и отрицательной) задача разбиения клик требует подграфа, который является графом кластера, таким образом, что сумма стоимостей ребер графа кластера минимальна. [9] Эта задача тесно связана с задачей корреляционной кластеризации .