Жорсткість графа — міра зв'язності графа: граф G t-жорсткий за деякого дійсного t, якщо для будь-якого цілого k > 1 не можна розбити граф G на k різних компонент зв'язності, видаливши менше ніж tk вершин. Наприклад, граф 1-жорсткий, якщо число компонент, які утворюються при видаленні вершин, завжди не перевищує числа видалених вершин. Жорсткість графа — це найбільше t, для якого він t-жорсткий. Число є скінченним числом для всіх скінченних графів, за винятком повних графів, які, за згодою, мають нескінченну жорсткість.
Жорсткість увів Вацлав Хватал 1973 року; згодом поняттю було присвячено багато великих досліджень інших фахівців з теорії графів, так, огляд 2006 року, цілком присвячений жорсткості, налічує 99 теорем і 162 сторінки.
Приклади
Вилучення k вершин із графа-шляху може розбити граф на k + 1 зв'язну компоненту. Найбільше відношення числа компонент до числа видалених вершин досягається видаленням однієї вершини (всередині шляху), що призводить до розбиття шляху на дві компоненти. Таким чином, шляхи є 1⁄2-жорсткими. Натомість, видалення k вершин із графа-циклу залишає не більше k зв'язних компонент, а іноді залишає рівно k зв'язних компонент, так що цикл є 1-жорстким.
Зв'язок із вершинною зв'язністю
Якщо граф t-жорсткий, то отримуємо наслідок (якщо покласти k = 2), що будь-яку множину з 2t − 1 вершин можна вилучити, але граф при цьому не розпадається на дві частини. Тобто будь-який t-жорсткий граф є вершинно 2t-зв'язним.
Зв'язок із гамільтоновістю
Хватал помітив, що будь-який цикл, а тому будь-який гамільтонів граф, є 1-жорстким. Тобто 1 -жорсткість є необхідною умовою, щоб він був гамільтоновим. Хватал висловив припущення, що зв'язок між жорсткістю та гамільтоновістю діє в обох напрямках, тобто існує поріг t такий, що будь-який t-жорсткий граф є гамільтоновим. Початкова гіпотеза Хватала, що t = 2 доводила б теорему Фляйшнера, але гіпотезу спростували Бауер, Брерсма і Вельдман. Існування порога для гамільтоновості залишається відкритою проблемою.
Обчислювальна складність
Перевірка, чи є граф 1-жорстким, є co-NP-повною задачею. Тобто задача розв'язності, для якої відповідь «так» означає, що граф не 1-жорсткий, а відповідь «ні» означає, що граф 1-жорсткий, є NP-повною задачею. Те саме виконується для будь-якого фіксованого додатного раціонального числа q — перевірка, чи є граф q-жорстким, є co-NP-повною задачею.
Див. також
- Формула Татта — Бержа — пов'язана характеристика розміру найбільшого парування в графі.
Примітки
- Chvátal, 1973, с. 215–228.
- Bauer, Broersma, Schmeichel, 2006, с. 1–35.
- Bauer, Broersma, Veldman, 2000, с. 317–321.
- Bauer, Hakimi, Schmeichel, 1990, с. 191–195.
Література
- Douglas Bauer, Hajo Broersma, Edward Schmeichel. Toughness in graphs—a survey // . — 2006. — Vol. 22, iss. 1. — DOI: .
- D. Bauer, H. J. Broersma, H. J. Veldman. Not every 2-tough graph is Hamiltonian // . — 2000. — Vol. 99, iss. 1—3. — DOI: .
- D. Bauer, S. L. Hakimi, E. Schmeichel. Recognizing tough graphs is NP-hard // . — 1990. — Vol. 28, iss. 3. — DOI: .
- Václav Chvátal. Tough graphs and Hamiltonian circuits // . — 1973. — Vol. 5, iss. 3. — DOI: .
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Zhorstkist grafa mira zv yaznosti grafa graf G t zhorstkij za deyakogo dijsnogo t yaksho dlya bud yakogo cilogo k gt 1 ne mozhna rozbiti graf G na k riznih komponent zv yaznosti vidalivshi menshe nizh tk vershin Napriklad graf 1 zhorstkij yaksho chislo komponent yaki utvoryuyutsya pri vidalenni vershin zavzhdi ne perevishuye chisla vidalenih vershin Zhorstkist grafa ce najbilshe t dlya yakogo vin t zhorstkij Chislo ye skinchennim chislom dlya vsih skinchennih grafiv za vinyatkom povnih grafiv yaki za zgodoyu mayut neskinchennu zhorstkist U comu grafi vidalennya chotiroh chervonih vershin daye chotiri zv yazni komponenti zobrazheni chotirma riznimi kolorami Odnak nemaye mnozhini z k vershin vidalennya yakoyi zalishaye bilshe k komponent Takim chinom zhorstkist grafa dorivnyuye 1 Zhorstkist uviv Vaclav Hvatal 1973 roku zgodom ponyattyu bulo prisvyacheno bagato velikih doslidzhen inshih fahivciv z teoriyi grafiv tak oglyad 2006 roku cilkom prisvyachenij zhorstkosti nalichuye 99 teorem i 162 storinki PrikladiViluchennya k vershin iz grafa shlyahu mozhe rozbiti graf na k 1 zv yaznu komponentu Najbilshe vidnoshennya chisla komponent do chisla vidalenih vershin dosyagayetsya vidalennyam odniyeyi vershini vseredini shlyahu sho prizvodit do rozbittya shlyahu na dvi komponenti Takim chinom shlyahi ye 1 2 zhorstkimi Natomist vidalennya k vershin iz grafa ciklu zalishaye ne bilshe k zv yaznih komponent a inodi zalishaye rivno k zv yaznih komponent tak sho cikl ye 1 zhorstkim Zv yazok iz vershinnoyu zv yaznistyuYaksho graf t zhorstkij to otrimuyemo naslidok yaksho poklasti k 2 sho bud yaku mnozhinu z 2t 1 vershin mozhna viluchiti ale graf pri comu ne rozpadayetsya na dvi chastini Tobto bud yakij t zhorstkij graf ye vershinno 2t zv yaznim Zv yazok iz gamiltonovistyuHvatal pomitiv sho bud yakij cikl a tomu bud yakij gamiltoniv graf ye 1 zhorstkim Tobto 1 zhorstkist ye neobhidnoyu umovoyu shob vin buv gamiltonovim Hvatal visloviv pripushennya sho zv yazok mizh zhorstkistyu ta gamiltonovistyu diye v oboh napryamkah tobto isnuye porig t takij sho bud yakij t zhorstkij graf ye gamiltonovim Pochatkova gipoteza Hvatala sho t 2 dovodila b teoremu Flyajshnera ale gipotezu sprostuvali Bauer Brersma i Veldman Isnuvannya poroga dlya gamiltonovosti zalishayetsya vidkritoyu problemoyu Obchislyuvalna skladnistPerevirka chi ye graf 1 zhorstkim ye co NP povnoyu zadacheyu Tobto zadacha rozv yaznosti dlya yakoyi vidpovid tak oznachaye sho graf ne 1 zhorstkij a vidpovid ni oznachaye sho graf 1 zhorstkij ye NP povnoyu zadacheyu Te same vikonuyetsya dlya bud yakogo fiksovanogo dodatnogo racionalnogo chisla q perevirka chi ye graf q zhorstkim ye co NP povnoyu zadacheyu Div takozhFormula Tatta Berzha pov yazana harakteristika rozmiru najbilshogo paruvannya v grafi PrimitkiChvatal 1973 s 215 228 Bauer Broersma Schmeichel 2006 s 1 35 Bauer Broersma Veldman 2000 s 317 321 Bauer Hakimi Schmeichel 1990 s 191 195 LiteraturaDouglas Bauer Hajo Broersma Edward Schmeichel Toughness in graphs a survey 2006 Vol 22 iss 1 DOI 10 1007 s00373 006 0649 0 D Bauer H J Broersma H J Veldman Not every 2 tough graph is Hamiltonian 2000 Vol 99 iss 1 3 DOI 10 1016 S0166 218X 99 00141 9 D Bauer S L Hakimi E Schmeichel Recognizing tough graphs is NP hard 1990 Vol 28 iss 3 DOI 10 1016 0166 218X 90 90001 S Vaclav Chvatal Tough graphs and Hamiltonian circuits 1973 Vol 5 iss 3 DOI 10 1016 0012 365X 73 90138 6