В математической области теории графов бычий граф — это плоский неориентированный граф с 5 вершинами и 5 ребрами, в форме треугольника с двумя непересекающимися висячими ребрами. [1]
Он имеет хроматическое число 3, хроматический индекс 3, радиус 2, диаметр 3 и обхват 3. Он также является самодополнительным графом , блочным графом , разделенным графом , интервальным графом , графом без клешней , графом с 1 вершинной связностью и графом с 1 рёберной связностью .
Граф является свободным от быков, если он не имеет быка в качестве индуцированного подграфа . Графы без треугольников являются свободными от быков, поскольку каждый бык содержит треугольник. Сильная теорема о совершенном графе была доказана для графов без быков задолго до ее доказательства для общих графов, [2] и известен алгоритм распознавания за полиномиальное время для совершенных графов без быков. [3]
Мария Чудновски и Шмуэль Сафра изучили графы без быков в более общем плане, показав, что любой такой граф должен иметь либо большую клику , либо большое независимое множество (то есть гипотеза Эрдёша–Хайнала верна для графа с быками) [4] и разработав общую теорию структуры для этих графов. [5] [6] [7]
Хроматический многочлен бычьего графа равен . Два других графа хроматически эквивалентны бычьему графу.
Его характеристический многочлен равен .
Его полином Тутте равен .