Блоковый граф (кликовое дерево) — вид неориентированного графа, в котором каждая компонента двусвязности (блок) является кликойБлоковые графы иногда ошибочно называют деревьями Хусими, по имении японского физика Коди Хусими), однако Хусими рассматривал Кактус (теория графов) — графы, в которых любая двусвязная компонента является циклом..
Блоковые графы можно описать графами пересечений блоков произвольных неориентированных графов.
Описание Блоковые графы — это в точности те графы, в которых для каждых четырёх вершин , , и наибольшие два из трёх расстояний , , всегда равны; стр. 151, Theorem 10.2.6.
Их можно также описать с помощью запрещённых подграфов, как графов, не содержащих алмазов или циклов длины четыре или более в качестве порождённого подграфа. То есть, они являются хордальными графами без алмазов. Они являются также графами Птолемея (хордальными дистанционно-наследуемыми графами; стр. 130, Corollary 8.4.2), в которых любые две вершины на расстоянии два соединены единственным кратчайшим путём, и хордальными графами, в которых любые две клики имеют максимум одну общую вершину.
Граф является блоковым тогда и только тогда, когда пересечение любых двух связных подмножеств вершин графа либо пусто, либо связно. Таким образом, связные подмножества вершин в связном блоковом графе образуют , и этим свойством не обладает никакой другой вид графов. По причине этого свойства в связном блоковом графе любое множество вершин имеет единственное минимальное связное надмножество, замыкание множества в выпуклой геометрии. Связные блоковые графы — это в точности те графы, в которых существует единственный порождённый путь, соединяющий любые две пары вершин.
Связанные классы графов Блоковые графы являются хордальнымиИмеет место следующая иерархия классов графов: Блоковые Птолемея строго хордальные хордальные Стр. 126, Глава 8.2 Further acyclicity types; clique and neighborhood hypergraphs и дистанционно-наследуемыми графами. Дистанционно-наследуемые графы — это графы, в которых любые два порождённых пути между двумя вершинами имеют одну и ту же длину, что слабее требования блоковых графов как имеющих единственный порождённый путь между любыми двумя вершинами. Поскольку и хордальные графы, и дистанционно-наследуемые графы являются подклассами совершенных графов, блоковые графы тоже совершенны.
Любое дерево является блоковым графом. Другой пример класса блоковых графов дают мельницы.
Любой блоковый граф имеет прямоугольность, не превосходящую двухБлоковые графы , Информационная система о иерархии классов графов Стр. 54, Глава 4.5 Boxicity, intersection dimention, and dot product.
Блоковые графы являются примером псевдо-медианных графов — для любых трёх вершин либо существует единственная вершина, лежащая на трёх кратчайших путях между этими тремя вершинами, либо существует единственный треугольник, рёбра которого лежат на этих кратчайших путях.
Рёберные графы деревьев — это блоковые графы, в которых любая разрезающая вершина инцидентна максимум двум блокам, или, что то же самое, блоковые графы без клешней. Рёберные графы деревьев используются для поиска графов с заданным числом рёбер и вершин, в котором наибольший порождённый подграф, являющийся деревом как можно меньшего размера.
Блоковые графы неориентированных графов Блоковый граф для заданного графа (обозначается ) — граф пересечений блоков графа : имеет вершину для каждой двусвязной компоненты графа и две вершины графа смежны, если соответствующие два блока разделяют (имеют общий) шарнир (в терминах Харари — точка сочленения) Глава 3. Блоки, стр. 41-46. Если — граф с одной вершиной, то по определению будет пустым графом. заведомо является блочным — он имеет одну двусвязную компоненту для каждой точки сочленения графа и каждая двусвязная компонента, образованная таким путём, будет кликой. Обратно, любой блоковый граф является графом для некоторого . Если — дерево, то совпадает с рёберным графом графа .
Граф имеет вершину для каждой точки сочленения графа . Две вершины смежны в , если они принадлежат одному и тому же блоку в .
Примечания
Литература
Категория:Семейства графов