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

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

Неорієнтовний граф називається двочастковим, якщо множина його вершин розбита на дві непорожні підмножини Шаблон:Джерело так, що
- жодна вершина в не з'єднана з вершинами в і
- жодна вершина в не з'єднана з вершинами в
Двочастковий граф називається повним, якщо для кожної пари вершин існує ребро . Для
такий граф позначається
Властивості
- Неорієнтований граф є двочастковим тоді й лише тоді, коли він не містить циклів непарної довжини[1][2].
- Граф є двочастковим тоді й лише тоді, коли його хроматичне число дорівнює 2[3].
Приклади
- Усі дерева є двочастковими графами.
- Цикли з парною кількістю вершин є двочастковими графами.
- Планарний граф у якого всі грані мають парну кількість ребер.
Див. також
Примітки
Джерела
- 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
- ↑ Шаблон:Harvtxt, теорема 2.1.3, с. 8. Асратян та ін. віднесли цю характеристику до статті 1916 року Денеша Кеніга. Для нескінченних графів цей результат вимагає аксіоми вибору.
- ↑ Шаблон:Citation
- ↑ Шаблон:Harvtxt