Блоковий граф (клікове дерево) — вид неорієнтованого графу, в якому кожна компонента двозв'язності (блок) є клікоюБлокові графи іноді помилково називають деревами Хусімі, за маєтком японського фізика , проте Хусімі розглядав кактус-графи, в яких будь-яка двозв'язна компонента є циклом..
Блокові графи можна описати графами перетинів блоків довільних неорієнтованих графів.
Опис Блокові графи — це точно ті графи, в яких для кожних чотирьох вершин , , і найбільші дві з трьох відстаней , , завжди рівні; стор. 151, Theorem 10.2.6.
Їх можна також описати за допомогою заборонених підграфів, як графів, що не містять алмазів або циклів довжини чотири або більше як породженого підграфу. Тобто, вони є хордальними графами без алмазів. Вони є також графами Птолемея (хордальними дистанційно-успадковуваними графами; стор. 130, Corollary 8.4.2), в яких будь-які дві вершини на відстані два з'єднані єдиним найкоротшим шляхом, і хордальними графами, в яких будь-які дві кліки мають максимум одну спільну вершину.
Граф є блоковим тоді і тільки тоді, коли перетин будь-яких двох зв'язних підмножин вершин графу або порожній, або зв'язний. Таким чином, зв'язні підмножини вершин у зв'язному блоковому графі утворюють опуклу геометрію, і цією властивістю не володіє жоден інший вид графів. Унаслідок цієї властивості в зв'язному блоковому графі будь-яка множина вершин має єдину мінімальну чітку надмножину, замикання множини в опуклій геометрії. Зв'язні блокові графи — це точно ті графи, в яких існує єдиний породжений шлях, що з'єднує будь-які дві пари вершин.
Пов'язані класи графів Блокові графи є хордальнимиМає місце така ієрархія класів графів: і дистанційно-успадковуваними графами. Дистанційно-успадковувані графи — це графи, в яких будь-які два породжених шляхи між двома вершинами мають одну і ту ж довжину, що слабше вимоги блокових графів які мають єдиний породжений шлях між будь-якими двома вершинами. Оскільки і хордальні графи, і дистанційно-успадковувані графи є підкласами досконалих графів, блокові графи теж досконалі.
Будь-яке дерево є блоковим графом. Інший приклад класу блокових графів дають вітряки.
Будь-який блоковий граф має прямокутність, яка не перевищує двохБлоковые графы , Информационная система о иерархии классов графов Стр. 54, Глава 4.5 Boxicity, intersection dimention, and dot product.
Блокові графи є прикладом псевдо- — для будь-яких трьох вершин або існує єдина вершина, що лежить на трьох найкоротших шляхах між цими трьома вершинами, або існує єдиний трикутник, ребра якого лежать на цих найкоротших шляхах.
Реберні графи дерев — це блокові графи, в яких будь-яка вершина, що розрізає, інцидентна максимум двом блокам, або, що те ж саме, блокові графи без клешень. Реберні графи дерев використовуються для пошуку графів із заданим числом ребер і вершин, в яких найбільший породжений підграф-дерево має якомога менший розмір.
Блокові графи неорієнтованих графів Блоковий граф для заданого графу (позначається ) — граф перетинів блоків графу : має вершину для кожної двозв'язної компоненти графу і дві вершини графу суміжні, якщо відповідні два блоки поділяють (мають спільний) шарнір (у термінах Харарі — точка зчленування) Глава 3. Блоки, стор. 41-46. Якщо — граф з однією вершиною, то за визначенням буде порожнім графом. завідомо є блоковим — він має одну двозв'язну компоненту для кожної точки зчленування графу і кожна двозв'язна компонента, утворена таким шляхом, буде клікою. І навпаки, будь-який блоковий граф є графом для деякого . Якщо — дерево, то збігається з реберним графом графу .
Граф має вершину для кожної точки зчленування графу . Дві вершини суміжні в , якщо вони належать одному й тому ж блоку в .
Примітки
Література