Жорсткість графа — міра зв'язності графа: граф -жорсткий за деякого дійсного , якщо для будь-якого цілого не можна розбити граф на різних компонент зв'язності, видаливши менше ніж вершин. Наприклад, граф -жорсткий, якщо число компонент, які утворюються при видаленні вершин, завжди не перевищує числа видалених вершин. Жорсткість графа — це найбільше , для якого він -жорсткий. Число є скінченним числом для всіх скінченних графів, за винятком повних графів, які, за згодою, мають нескінченну жорсткість.

Жорсткість увів Вацлав Хватал 1973 року; згодом поняттю було присвячено багато великих досліджень інших фахівців з теорії графів, так, огляд 2006 року, цілком присвячений жорсткості, налічує 99 теорем і 162 сторінки.

Приклади Вилучення вершин із графа-шляху може розбити граф на зв'язну компоненту. Найбільше відношення числа компонент до числа видалених вершин досягається видаленням однієї вершини (всередині шляху), що призводить до розбиття шляху на дві компоненти. Таким чином, шляхи є -жорсткими. Натомість, видалення вершин із графа-циклу залишає не більше зв'язних компонент, а іноді залишає рівно зв'язних компонент, так що цикл є -жорстким.

Зв'язок із вершинною зв'язністю Якщо граф -жорсткий, то отримуємо наслідок (якщо покласти k = 2), що будь-яку множину з вершин можна вилучити, але граф при цьому не розпадається на дві частини. Тобто будь-який -жорсткий граф є вершинно 2t-зв'язним.

Зв'язок із гамільтоновістю Хватал помітив, що будь-який цикл, а тому будь-який гамільтонів граф, є -жорстким. Тобто -жорсткість є необхідною умовою, щоб він був гамільтоновим. Хватал висловив припущення, що зв'язок між жорсткістю та гамільтоновістю діє в обох напрямках, тобто існує поріг такий, що будь-який -жорсткий граф є гамільтоновим. Початкова гіпотеза Хватала, що t = 2 доводила б теорему Фляйшнера, але гіпотезу спростували Бауер, Брерсма і Вельдман. Існування порога для гамільтоновості залишається відкритою проблемою.

Обчислювальна складність Перевірка, чи є граф -жорстким, є co-NP-повною задачею. Тобто задача розв'язності, для якої відповідь «так» означає, що граф не 1-жорсткий, а відповідь «ні» означає, що граф 1-жорсткий, є NP-повною задачею. Те саме виконується для будь-якого фіксованого додатного раціонального числа  — перевірка, чи є граф -жорстким, є co-NP-повною задачею.

Див. також Формула Татта — Бержа — пов'язана характеристика розміру найбільшого парування в графі.

Примітки

Література