Двочастковий граф

Матеріал з testwiki
Перейти до навігації Перейти до пошуку
Приклад двочасткового графа

У математиці двочастковий граф (також біграф, двочастинний або дводольний граф) — граф, множину вершин якого можна розбити на дві підмножини, що не перетинаються, так, що кожне ребро графа має одну вершину з першої підмножини і одну з другої.

Визначення

Повний двочастковий граф K3,2

Неорієнтовний граф G=(W,E) називається двочастковим, якщо множина його вершин розбита на дві непорожні підмножини UV=W,Шаблон:Джерело так, що

  • жодна вершина в U не з'єднана з вершинами в U і
  • жодна вершина в V не з'єднана з вершинами в V

Двочастковий граф називається повним, якщо для кожної пари вершин uU,vV існує ребро (u,v)E. Для

|U|=i,|V|=j

такий граф позначається Ki,j

Властивості

  • Неорієнтований граф є двочастковим тоді й лише тоді, коли він не містить циклів непарної довжини[1][2].
  • Граф є двочастковим тоді й лише тоді, коли його хроматичне число дорівнює 2[3].

Приклади

  • Усі дерева є двочастковими графами.
  • Цикли з парною кількістю вершин є двочастковими графами.
  • Планарний граф у якого всі грані мають парну кількість ребер.

Див. також

Примітки

Шаблон:Reflist

Джерела

  • Chartrand, G. Introductory Graph Theory. New York: Dover, 1985.
  • Read, R. C. and Wilson, R. J. An Atlas of Graphs. Oxford, England: Oxford University Press, 1998.
  • Шаблон:Citation

Шаблон:Бібліоінформація

  1. Шаблон:Harvtxt, теорема 2.1.3, с. 8. Асратян та ін. віднесли цю характеристику до статті 1916 року Денеша Кеніга. Для нескінченних графів цей результат вимагає аксіоми вибору.
  2. Шаблон:Citation
  3. Шаблон:Harvtxt